tardygrade
Re:AI solves IMO problems at silver medal level
on Thursday July 25, 2024 @06:39PM (#41074195)
One key difference between giving humans more time and giving computer programs more time is that historically we have had more success making the latter run faster than the former.
Social Science Prediction Platform
Ask HN: Fun Language for Small Webserver?
I'm thinking of starting a small web-based project. What are fun languages to do it in? I'm looking for something instructive, but preferably with sufficient library support so that I don't have to write networking libraries or database clients from scratch.
Banach Tarski Paradox from Free Groups (2014)
Cache Oblivious Algorithms
Irreversibility and Heat Generation in the Computing Process (1961) [pdf]
Cache Oblivious Algorithms
Stein's Example
Cache Oblivious Algorithms
Re:How Lisp Became God's Own Programming Language (2018)
on Wednesday May 13, 2020 @01:36PM (#23169393)
The responses I see to lisp seem to vary on a huge range from idolatry to dismissiveness. It's interesting that Gerald Sussman's own point of view on lisp seems to be very much more moderate - that different programming styles and philosophies suit different domains, and ultimately, you should choose the right tool for the right job. Lisp is flexible in that it does not bind you to any philosophy, and is good as a general tool insofar there isn't a specialized tool that would fit the problem better.