lelf

Location: Samara, RU

Remote: ok

Willing to relocate: yes!!!

Technologies: C, POSIX, Haskell, client-side web, …

Résumé/CV: http://lelf.lu/resume, https://github.com/llelf

Email: me AT lelf.lu

Any mix of functional programming (Haskell, Scala, OCaml, F#), verification (junior-level Coq), modern client-side web (preferable PureScript/Elm/Haste), GNU/Linux / *BSD / C programming.

Location: Samara, RU

Remote: OK

Willing to relocate: yes!!!

Technologies: C, POSIX, Haskell, client-side web

Résumé/CV: http://lelf.lu/resume

Email: me AT lelf.lu

My dream job is software verification (Coq).

Location: Samara, RU

Remote: yes

Willing to relocate: yes!!!

Technologies: Haskell / FP / C / POSIX / some client-side web

Résumé/CV: http://lelf.lu/resume

Email: me@lelf.lu

My areas are: functional programming, applied math, C + POSIX, client-side web. Recently I started to be very interested in Coq & dependent types.

    Location: Samara, RU
    Remote: yes
    Willing to relocate: yes
    Technologies: Haskell / FP / C / POSIX / some client-side web
    Résumé/CV: http://lelf.lu/resume
    Email: me@lelf.lu

Looking for new opportunities. Ideally Haskell / functional programming / deptypes (big system in Coq would be my dream job).

> Deployment of patches or mitigations is NOT permitted (except on systems used and administered only by organisations which are members of the Xen Project Security Issues Predisclosure List). Specifically, deployment on public cloud systems is NOT permitted.

What is the rationale for this?

Because 1) those concepts are already have proper names;

2) there is a ton of (even predating our modern programming era) useful literature using proper names;

3) those proposed “non-confusing” names have zero meaning for a lot of monads/applicaties/… I feel like 99% who want whem have only seen containers.

> Try searching for technologies (Java, C,

Yeah, working search for C. Sure. I believe.

Believe it or not, there're far more advanced type systems than Java’s. And yes, they do help to catch logic bugs among other things too.

> word2vec is a Deep Learning technique first described by Tomas Mikolov only 2 years ago but due to its simplicity of algorithm and yet surprising robustness of the results, it has been widely implemented and adopted.

… And patented http://www.freepatentsonline.com/9037464.html

Atom changelog could be a good parody media (except that it’s not)

There was this little gem a while back:

“Fixed an issue where Atom would to fail to launch from directories that contained a file named undefined or null.”

sed -e "s,NLP,some hardcoded parsers for English-only dates/emails/links/…,"

"in" + word-starting-with-capital-letter.

http://adios-hola.org/advisory.txt oh dear.

Maybe it's just me, but I honestly don't know what this is doing near the HN top. It's more or less literal translation from C.

… but not on Voyage (they made sure in the new FW you won't do any of that).

The original “Erlang: The Movie” https://www.youtube.com/watch?v=xrIjfIjssLE (with a good demonstration of what a reliability means)

TeslaMotors: No more parking tickets for Model S owners. Today we’re introducing: ticket-avoidance-mode. Here’s how it works: https://amp.twimg.com/v/cdad704b-5167-42bd-9fd7-a5c39fabf1f9

(c) https://twitter.com/teslamotors/status/583339439759310848

Not necessary, see the original paper.

For example, SECDED (single error-correction, double error- detection) can correct only a single-bit error within a 64-bit word. If a word contains two victims, however, SECDED cannot correct the resulting double-bit error. And for three or more victims, SECDED cannot even detect the multi-bit er- ror, leading to silent data corruption.

Edit: link http://users.ece.cmu.edu/~yoonguk/papers/kim-isca14.pdf

And just about the first thing you see when trying to install it…

Vivaldi may collect visitor statistics. The visitor statistics may include information about the visitors IP-addresses, usage patterns, <…>

I guess I don't want your shiny new browser.

Yeah, I'd prefer all those comments to be about the bootstrapping and GC (they can even keep the same tone, it'd be funny at least).

> revoked LinkedIn's access to my gmail account

I honestly don't know what people are thinking while enabling that.

No, Seriously?

The paper http://arxiv.org/abs/1501.00490

> It turns out this limitation doesn’t matter in practice: 0x10FFFF (1,114,111 in decimal) is almost ten times as many representable codepoints as there are codepoints currently defined in the latest Unicode spec, so it’s not like we’re going to run out of bits any time soon.

Famous last words.

If more developers knew what backward compatibility is, I'd be happily using Snow Leopard right now. The most frustrating part is there's nothing fundamentally new worth all the bugs and a constant envy for new hardware.

I don't even know in which universe this can be called “UX improvement”.

Significantly. AFAIK there are still pathological cases where it'd take much time, but they are very rare.

[And to be fair: others don't have that problem only because their merging doesn't take into account the history.]

Darcs. Super easy and has a formal theory behind it.

Big discussion https://news.ycombinator.com/item?id=3871463