VLISP: A Verified Implementation of Scheme (1993) [pdf]
30 by servytor | 2 comments on Hacker News.
Popular Posts
-
The U.S. Justice Department is launching an effort to combat a spike in harassment and violent threats against school board membe...
-
July marks the high point of the summer season, and television has noticed. Along with the sparse, anticlimactic but occasionally t...
-
Tech CEO Says Workers Get Too Much Pay and Benefits 53 by pinewurst | 30 comments on Hacker News.
-
This is not how Joe Biden wanted September to go. He expected to be barnstorming the country in the closing weeks of negotiations o...
-
By Anton Troianovski, Aric Toler, Julian E. Barnes, Christiaan Triebert and Malachy Browne from NYT World https://ift.tt/53aIjCV via IFTTT...
-
By Michael C. Bender, Eric Lipton, Matthew Goldstein and Ken Bensinger from NYT U.S. https://ift.tt/43L7ZYo via IFTTT
-
Peeking into a chrysalis, videos reveal growth of butterfly wing scales 32 by aw1621107 | 1 comments on Hacker News.
-
Show HN: I learnt how to use WebSockets, made something beautiful/terrible 35 by g105b | 10 comments on Hacker News.
-
Ireland is ready to sign up to a proposed global agreement for a minimum tax on companies, a climbdown that removes one hurdle to a...
No comments:
Post a Comment