asplake

10 ms·

121.
Rare Earths Aren't Rare(marginalrevolution.com)
3 points by asplake 1y ago|0 comments
122.
by asplake 1y ago
It’s worth noting that even though the runtime allows nulls (i.e. None) anywhere, Python type checkers do distinguish between optional and mandatory types.
123.
The Total Impact Matrix – Beyond Blind Bets(itamargilad.com)
1 points by asplake 1y ago|0 comments
124.
by asplake 1y ago
That has long been an important setting for anyone who suffers from vertigo
125.
by asplake 1y ago
Anyone using a Intel iMac as a monitor for their much faster Apple CPU MacBook Pro? Wishing “target display mode” was still a thing…
126.
Technological Approach to Mind Everywhere: A Grounded Framework (pdf, 2022)(frontiersin.org)
1 points by asplake 1y ago|0 comments
127.
by asplake 1y ago
Or there was “git push heroku main” or whatever it was back in the day. Had quite a moment when I first did that from a train – we take such things for granted now of course...
128.
Let's Prove Leftpad(github.com)
2 points by asplake 1y ago|1 comments
129.
by asplake 1y ago
> The last time I used [a doubly linked list] was in the nineties. I know the Linux kernel uses them, but that design was also laid down in the nineties; if you were designing a kernel from scratch today, you would probably not do it tha
130.
by asplake 1y ago
> Fernflower is the first actually working analytical decompiler for Java and probably for a high-level programming language in general. That really deserves a link. What is an “analytical” decompiler?
131.
Semantics Follows Frequency: Language in the Spectral Domain(daedeluskite.com)
1 points by asplake 1y ago|0 comments
132.
by asplake 1y ago
Works for me (iPhone, UK)
133.
Nomic(en.wikipedia.org)
1 points by asplake 1y ago|0 comments
134.
by asplake 1y ago
I know of one investment bank (a former employer) that rewrote its mainframe-based settlement system in Java (on Linux). Front office systems were often Java (replacing Obj-C in some cases). That was two decades ago – almost a generation!
135.
by asplake 1y ago
Perhaps it’s cheating, but last I checked, Gleam has no “if”, only “match”. With that, and in languages with sum types, you can easily define your own boolean and boolean-adjacent types.
136.
by asplake 1y ago
I missed any link to the puzzle itself. Does anyone here know where you might get one from?
137.
by asplake 1y ago
That was great, thank you
138.
by asplake 1y ago
By the original definition, they can share bits that are set to zero and still be orthogonal. Think of the bits as basis vectors – if they have none in common, they are orthogonal.
139.
by asplake 1y ago
Or thanks to algebraic data types and pattern matching? Even in a modest recursive descent parser, these can be really nice to use.
140.
by asplake 1y ago
Better still, lots of mini-switchovers. I rolled out a bank’s p&l system for bonds that way. Trading book by trading book, those with simpler instruments first, more complex ones later. We finished ahead of schedule!
141.
by asplake 1y ago
I know from firsthand experience that there were investment banks doing this at least as early as the mid 1990s - on top of Sybase in the particular case I have in mind. Perhaps not the best performance, but it was trivially easy to inspect
142.
by asplake 1y ago
I’m writing one now as part of a hobby language project, about which I’ll do a Show HN once I have enough to share. I enjoyed Pierce but to your point I am going mostly down the functional route. Programming it in Python, with the book clos
143.
by asplake 1y ago
I switched to the epub at that point. Still, credit I think to github that the page renders as well as it does.
144.
by asplake 1y ago
Agreed. About the strongest we can hope for are causal mechanisms, and most of those will be at most hypotheses and/or partial explanations that only apply under certain conditions. Honestly, I don’t know understand how these so-ontolo
145.
by asplake 1y ago
> "Topics in Algebra" by Herstein. this is a lovely book and beautifully written but some of the notation is a bit dated Now you make me feel old! I had the second edition just as it came out in 1984. A long time ago but I reme
146.
by asplake 1y ago
About the domain name, I don’t thought that too. But its stated intention is “to accelerate the development of prospective mathematical scientists”, hence the lean to physics and to certain authors.
147.
Simpler Category Theory(ryanbrewer.dev)
3 points by asplake 1y ago|0 comments
148.
by asplake 1y ago
That’s kinda what brought unification to my attention. For my own education I’m writing a compiler for a simple ML-style language. Enjoying Pierce’s Types and Programming Languages meanwhile.
149.
Unification (2018)(eli.thegreenplace.net)
78 points by asplake 1y ago|17 comments
150.
by asplake 1y ago
I’ve looked at it rather than used it, but what it brings is ML-style polymorphism. Type safety is a given in that case, which may or may not be the case with CL (I’ll let others argue that one).

More ›