mafm

9 ms·

31.
by mafm 7y ago
Brendan Eich was also the guy who created javascript. (In 10 days, which probably explains a lot of the warts.)
32.
by mafm 7y ago
Peter Shirely's Ray Tracing in One Weekend series ( https://raytracing.github.io/ ) is a great way to learn enough about ray tracing to implement it yourself.
33.
by mafm 7y ago
The "first nations" phrase is used frequently on aboriginal radio in perth (Noongar fm 100.9) At least half the people they talk to are from the eastern states, so I don't think that the phrase is unusual (at least among the
34.
by mafm 7y ago
Don't have sources at hand, but my impression from news articles over the last decade has been that recent archeological evidence has tended to indicate that aboriginal populations have been in australia for for quite a bit longer than
35.
by mafm 7y ago
Yes, the batteries are rechargeable. Apparently good for at least 2,000 or 5,000 cycles.
36.
by mafm 7y ago
It seems like there's some competition in this space after an initial breakthrough in 2016. https://newatlas.com/rechargeable-zinc-manganese-battery-pnn... http://enerpoly.com/technology/
37.
by mafm 7y ago
Unless I've missed something, it would only require 1 customer with a serious risk appetite.
38.
by mafm 7y ago
Great article. The package that ties notebooks to git-friendly markdown equivalents sounds it solves one of the main problems with using jupyter.
39.
by mafm 7y ago
For Chinese, "Ni Hao" literally means "you good", equivalent to "hello". If you actually want to ask someone how they're going, the phrase is "Ni Hao Ma", which is literally the question: &quot
40.
by mafm 7y ago
Yeah, but that happened in places like the USSR, not in the free world.
41.
by mafm 8y ago
Nice! Lots of really practical advice. I wish I'd been given that advice before I wrote a compiler. Back then, the best advice was in Richard Bornat's Understanding and Writing Compilers and the dragon book - useful, but not a w
42.
by mafm 8y ago
The documentation seems to have a lot of off-putting mathy category theory stuff, and it didn't look like there are a lot of practical examples, but it would be cool to have an alternative to protobufs/thrift that can represent AD
43.
A programming language agnostic type construction and interchange language(typedefs.com)
34 points by mafm 8y ago|4 comments
44.
by mafm 8y ago
This link works for me: https://web.archive.org/web/20170811235424/http://home.pipel... That site was one of the better collections of lisp technical papers. I hope it's not gone for good, it was th
45.
by mafm 8y ago
Thanks. (I have now looked up the correct way to quote).
46.
by mafm 8y ago
> [...] I don't know why it is called Dynamic programming. According to Richard Bellman, who came up with the name: An interesting question is, Where did the name, dynamic programming, come from? The 1950s were not good years
47.
by mafm 8y ago
Australia also grounded those aircraft today: https://www.smh.com.au/business/companies/australia-grounds-...
48.
by mafm 8y ago
The main reason markets existed historically was to ensure transactions were done in public. Prices were publicly observable, stolen goods were difficult so sell, etc. Having a single market everyone trades in does have efficiency advanta
49.
by mafm 8y ago
I think this trick comes from Ben Klemens' "21st Century C". If you like this, the book has some other tricks in it you might also like. (One example: you can define generic functions in C11).
50.
by mafm 8y ago
Site is down for me. Here's a link to what seems to be the same paper on arxiv: https://arxiv.org/abs/1801.08603
51.
by mafm 8y ago
Late reply, but telescopes seem to be based on a similar thought: ( http://www.nuprl.org/documents/Constable/Automath-35years.pd... ) RECENT RESULTS IN TYPE THEORY AND THEIR RELATIONSHIP TO AUTOMATH, ROBERT L. CONST
52.
by mafm 8y ago
What are those recent apps?
53.
by mafm 8y ago
Animals like rats and pigeons actually do develop superstitious rituals. Skinner documented it in 1948, and there's a fair bit of literature on it. https://psychclassics.yorku.ca/Skinner/Pigeon/
54.
by mafm 8y ago
As somebody who uses org-mode a lot, this looks pretty cool at first glance. Slightly surprised this isn't attracting more comments. It may be addressed somewhere on the web site, but I'm curious about how well this integrates wit
55.
by mafm 8y ago
Your crucial advance began with the Magna Carta. The history of England is basically the story of how the Government of England became increasingly limited by the laws of England. (At least that was a central theme of David Hume's wild
56.
by mafm 8y ago
"I am a cat" by Natsume Sōseki 1905. like Murakami, but the first Japanese author to write like that (?) All the other novels he wrote are great too.
57.
by mafm 8y ago
Awesome link. Thanks.
58.
by mafm 8y ago
Upvote because I think this is the 1st time a posting from the ucc website has made the HN front page.
59.
by mafm 8y ago
Beautiful example of hash consing / immutable data structures.
60.
by mafm 8y ago
Binoculars

More ›