Unbounded Recursion(wiki.secretgeek.net)

56 points by 082349872349872 2 years ago | 22 comments

Thousands of octopuses gather off California to brood eggs at a warm spot(npr.org)

152 points by gmays 3 years ago | 78 comments

James Cameron slams OceanGate safety, regrets not speaking up more(npr.org)

28 points by evo_9 3 years ago | 13 comments

12-year-olds can't buy cigarettes – but they can work in tobacco fields(npr.org)

72 points by petee 3 years ago | 78 comments

Startup aims to make lab-grown human eggs from anyone's cells(npr.org)

60 points by lxm 3 years ago | 44 comments

Googling 'abortion clinic near me'? The top result often an anti-abortion clinic(npr.org)

62 points by activiation 3 years ago | 35 comments

The Linux Kernel Module Programming Guide(sysprog21.github.io)

340 points by asicsp 3 years ago | 26 comments

Online edition of The Linux Kernel Module Programming Guide by Salzman, Burian, Pomerantz, Mottram and Huang, with GitHub source and PDF download.

Lua: The Little Language That Could(matt.blwt.io)

327 points by mooreds 3 years ago | 183 comments

A blog post by Matt Blewitt praising Lua as a simple, embeddable little language, with examples of why the author likes it.

CatalaLang/catala: Programming language for law specification(github.com)

420 points by gorenb 3 years ago | 251 comments

GitHub repository for Catala, a programming language for literate programming of law specifications, such as tax and benefits legislation.

LÖVE: 2D Game Framework for Lua(github.com)

402 points by cl3misch 6 months ago | 202 comments

GitHub repository for LÖVE, an open-source framework for making 2D games in Lua.

The Linux Kernel Module Programming Guide(sysprog21.github.io)

350 points by wrycoder 2 years ago | 35 comments

Online edition of The Linux Kernel Module Programming Guide, a free book on writing Linux kernel modules, with GitHub and PDF links.

Use Prolog to improve LLM's reasoning(shchegrikovich.substack.com)

343 points by shchegrikovich 2 years ago | 122 comments

Substack post arguing that having LLMs generate Prolog code can improve their reasoning, given the limits of autoregressive transformer generation.