lelf

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

  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

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

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.

printf once in a while

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

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

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

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

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.

Ctrl + [

C11 (C—E—G—Bb—D—F) is a superset of C major (C—E—G), so just use it.

Where are the comments?

While I can understand how that code can be intimidating to a programmer with a more “traditional” background… there are 26 (non-empty) lines of comments, and only 15 lines of code.

Stable software! Rare these days.

  10 LIST

Agree about ligatures too. Many of those are pretty unpleasing to read (AKA typographically wrong), e. g. /=.

Quite surprising for me too. Or rather, I don't understand the unit they mention. From the article linked:

also collected alcoholic beverage consumption, including red and white wine separately (4 ounces, increasing to 5 ounces in 2006), beer (one glass, can, or bottle), and liquor (one drink or shot). We multiplied the amount of alcohol in grams per specified portion size by servings per day, determined the midpoint of the frequency category, and summed across all beverages to estimate the average alcohol consumption (g/day). We defined moderate alcohol consumption as 5-15 g/day for women and 5-30 g/day for men

Surely it cannot be 4 bottles of beer daily (or 4*7 bottles on weekend).

And related HN discussion: https://news.ycombinator.com/item?id=13132688

  -o >(grep O_DIRECT)

If exiting vim is too easy, try the advanced level: exiting "vim -y".

The language is quite interesting https://github.com/Morgan-Stanley/hobbes#evaluation: e. g. anonymous variants, isorecursive types.

It likely has. GPU.

k doesn't have

Yes it has.

https://github.com/JohnEarnest/ok/blob/gh-pages/docs/Manual.... for OK (the K interpreter in iKe)

Perhaps this is link is better than a blurry screenshot (of HN): https://news.ycombinator.com/item?id=11083296

you can include /dev/stdin in C code compiled with gcc. This is, to say the very least, surprising.

Why?

https://www.youtube.com/watch?v=BXmOlCy0oBM the first seconds

Assume the values could be equal if the relative error of the operation is greater than a small predefined value (called “⎕ct”, comparison tolerance, and you can change it).

That’s only formatting.

The other (and more important) matter, — that is not even mentioned, — is comparison. E. g. in “rational by default in this specific case” languages (Perl 6),

  > 0.1+0.2==0.3
  True

      0.1+0.2
  0.3
      ⎕PP←20 ⋄ 0.1+0.2
  0.30000000000000004
      (0.1+0.2) ≡ 0.3
  1

The pdf is easier to read and contains photos: https://dl.acm.org/ft_gateway.cfm?id=1531242&ftid=316753&dwn...

No need to resist

  (⊃,(⍕2-⍨≢),⊃∘⌽)'accessibility'