Hacker News: emillon

Tomy Turnin' Turbo Dashboard Outrun Arcade (2017)

emillon — Wed, 30 Aug 2017 13:16:03 +0000

Article URL: https://circuitbeard.co.uk/2017/08/28/tomy-turnin-turbo-dashboard-outrun-arcade/

Comments URL: https://news.ycombinator.com/item?id=15131847

Points: 3

# Comments: 0

Curl 7.51.0 Released

emillon — Wed, 02 Nov 2016 09:01:10 +0000

Article URL: https://curl.haxx.se/changes.html#7_51_0

Comments URL: https://news.ycombinator.com/item?id=12853137

Points: 181

# Comments: 32

Remove ARM NOREAD Section Support from GAS

emillon — Tue, 13 Sep 2016 12:06:40 +0000

Article URL: https://sourceware.org/ml/binutils/2016-02/msg00068.html

Comments URL: https://news.ycombinator.com/item?id=12487344

Points: 6

# Comments: 0

New comment by emillon in "The Dropbox hack is real"

emillon — Fri, 09 Sep 2016 13:40:54 +0000

When I used pwsafe and keepassx they had this option.

New comment by emillon in "Turns websites into Markdown"

emillon — Fri, 09 Sep 2016 13:21:30 +0000

You might want to filter local and unroutable URLs, for example entering 127.0.0.1 renders a MAMP Pro page.

New comment by emillon in "The Dropbox hack is real"

emillon — Wed, 31 Aug 2016 07:19:30 +0000

It's a common feature of password managers.

How to deploy OCaml on Heroku

emillon — Tue, 30 Aug 2016 15:31:26 +0000

Article URL: https://medium.com/@emillon/how-to-deploy-ocaml-on-heroku-9903548aafa5

Comments URL: https://news.ycombinator.com/item?id=12391032

Points: 3

# Comments: 0

Cultivating a Code Review Culture

emillon — Fri, 19 Aug 2016 13:07:50 +0000

Article URL: https://blog.fogcreek.com/cultivating-a-code-review-culture-interview-with-derek-prior/

Comments URL: https://news.ycombinator.com/item?id=12319682

Points: 9

# Comments: 0

New comment by emillon in "Simple Ways of Reducing the Cognitive Load in Code"

emillon — Thu, 30 Jun 2016 07:38:49 +0000

There are no semantic problems with this, but typing will get in the way: you can express it fairly easily if all the functions have the same type (such as Int -> Int): actually it's just 'foldr ($)'. But it is difficult to type a list of functions such as each member's return value has the same type as the next one's parameter (symbolically, [an-1 -> an, ..., a1 -> a2, a0 -> a1]). It's easier to refer to the composition of such functions, which is why you would see it as 'h . g . f'.

New comment by emillon in "Simple Ways of Reducing the Cognitive Load in Code"

emillon — Tue, 28 Jun 2016 14:09:02 +0000

It's more like the pipe operator in ocaml (http://blog.shaynefletcher.org/2013/12/pipelining-with-opera...). The lisp version has the extra advantage that you don't have to repeat it between all the intermediate functions. ((->> 2 (* 100) str count) vs 2 |> (* 100) |> str |> count).

New comment by emillon in "1999.io: Blogging like it's 1999"

emillon — Thu, 09 Jun 2016 12:13:13 +0000

I'm hoping to make them fashionable again! http://webring.club/ :)

CVE-2016-2178: OpenSSL DSA follows a non-constant time codepath

emillon — Wed, 08 Jun 2016 15:05:31 +0000

Article URL: http://www.openwall.com/lists/oss-security/2016/06/08/2

Comments URL: https://news.ycombinator.com/item?id=11862697

Points: 5

# Comments: 0

New comment by emillon in "Loop Invariants"

emillon — Mon, 29 Feb 2016 15:21:18 +0000

This kind of proofs usually are separated in two steps:

- correction: define a loop invariant. Assuming the loop terminates, it will hold when the program exits the loop.

- termination: define a loop variant, something that changes at every iteration. If you can find a variant that is a strictly decreasing sequence of natural numbers (or an increasing, bounded sequence), you've established that the loop terminates.

Once you've done these two steps you know that the program terminates and the invariant holds at the end. (in your case, you won't be able to find a good variant - depending on the floating point semantics you use of course).

New comment by emillon in "Juniper screenOS authentication backdoor - master ssh password posted"

emillon — Mon, 21 Dec 2015 13:16:08 +0000

This is correct, I missed this!

New comment by emillon in "Juniper screenOS authentication backdoor - master ssh password posted"

emillon — Mon, 21 Dec 2015 13:06:39 +0000

That's assuming that this particular string was already present somewhere in the binary. Since it is only present as a reference, you would not see the string in a binary patch.

New comment by emillon in "Juniper screenOS authentication backdoor - master ssh password posted"

emillon — Mon, 21 Dec 2015 10:33:56 +0000

That is my opinion too, but I would go even further and say that this change could have been made on the compiled binary.

This kind of statement must take 10-15 bytes max to patch and the build boxes are typically less safe than source control systems.

New comment by emillon in "Juniper screenOS authentication backdoor - master ssh password posted"

emillon — Mon, 21 Dec 2015 10:28:58 +0000

The letters in this password spell "sun su".

New comment by emillon in "My Home-Built TTL Computer Processor"

emillon — Thu, 19 Nov 2015 12:36:39 +0000

Thanks for the heads-up!

For some reason mailchimp was returning 403s from heroku, this must be related to this morning's outage. This is fixed and I added the emails that failed.

New comment by emillon in "My Home-Built TTL Computer Processor"

emillon — Thu, 19 Nov 2015 09:39:51 +0000

(shameless plug)

I totally agree, that was awesome to discover random websites. I think that there's still a place for webrings these days, so I'm creating the webring club. Feel free to subscribe on http://webring.club/ or shoot me an email (address in profile) if you're interested in exchanging ideas!

Designing an Intel 80386SX development board

emillon — Mon, 16 Nov 2015 16:24:55 +0000

Article URL: http://blog.lse.epita.fr/articles/77-lsepc-intro.html

Comments URL: https://news.ycombinator.com/item?id=10575284

Points: 4

# Comments: 0