Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
ljbx
on Oct 19, 2016
|
parent
|
context
|
favorite
| on:
Donald Knuth used an Erlang-like notation
omg, wrong way round. It's more math or logic notation.
old_sound
on Oct 19, 2016
[–]
More like satire logic notation, but who am I to tell at this point.
totallymike
on Oct 19, 2016
|
parent
|
next
[–]
Honestly I can't tell sometimes if HN is all just satirical internet comments. I read the article, chuckled at the exchange with Joe Armstrong, then opened the HN comments to look at all the grumbling.
Turns out there's plenty.
pwdisswordfish
on Oct 19, 2016
|
parent
|
prev
[–]
What is 'satire logic'? Has it got a different notation from the predicate calculus?
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
