lelf's comments

On: Arthur Whitney releases an open-source subset of K...

[lelf]

it's work-in-progress for fun/educational purposes (i.e. read and learn something)

On: 0.1 and 0.2 Returns 0.30000000000000004 (2018)

[lelf]

  Coq < Compute 0.1.
  Toplevel input, characters 8-11:
  > Compute 0.1.
  >         ^^^
  Warning: The constant 0.1 is not a binary64 floating-point value. A closest
  value 0x1.999999999999ap-4 will be used and unambiguously printed
  0.10000000000000001. [inexact-float,parsing]
       = 0.10000000000000001
       : float

On: HN Replies – Get notified when someone replies to ...

[lelf]

Cool! There was http://www.hnnotify.com for this, same idea (but no longer works)

On: Fossil

[lelf]

Yes. It's pretty good actually. It got a reputation for being painfully slow. No longer the case, yet… reputation is reputation.

There's a more modern reincarnation of the similar ideas — https://pijul.org. Ready for playing with, not much else.

On: C implementation of Tic-Tac-Toe in a single call t...

[lelf]

printf once in a while

On: “Maxwell's equations of software” examined (2008)

[lelf]

https://en.wikipedia.org/wiki/SK_combinator_calculus ?

On: OTP 23

[lelf]

See also: http://blog.erlang.org/OTP-23-Highlights/

On: Enigma: Erlang VM Implementation in Rust

[lelf]

Another one from a different author (with slightly different goals): https://github.com/kvakvs/ErlangRT

[archseer → lelf]

Also check out kvakvs' BEAM Wisdoms site: http://beam-wisdoms.clau.se/en/latest/

It was a big help initially to grok the bytecode format.

On: GitHub is degraded/down

[lelf]

Not just you.

This page https://web.archive.org/web/20190801000000*/https://github.c... has been[1] “500 internal server error” since late-December (globally it seems). Nobody cares (“not a priority” (c) support), nothing on githubstatus.

[1] blue circles on web.archive are errors too

On: Gleam: A statically typed language for the Erlang ...

[lelf]

See also: https://github.com/purerl/purerl, an Erlang backend for PureScript, which is a lot more mature but unfortunately doesn't get the attention it deserves.

[sharno → lelf]

Have seen that Purerl is actually used in production in some companies. It's amazing to see how Purescript being used more

[lpil → lelf]

A really cool project, and the people involved are really cool too!

[adelarsq → lelf]

Nice. Didn't know. Which tools are better to work with this?

[lpil → adelarsq]

What do you mean by tools? :)