λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)

149 points by ux266478 8 months ago | 36 comments

Reverse Engineering the Microchip CLB(mcp-clb.markomo.me)

33 points by _Microft 1 year ago | 7 comments

I Reverse Engineered Vercel's v0.dev Prompt and Code Optimization Logic(step-saga-examples.pages.dev)

17 points by swyx 2 years ago | 4 comments

Zig's new bitCast semantics and LLVM back end improvements(ziglang.org)

266 points by kouosi 4 months ago | 135 comments

TLA+ in Isabelle/HOL(davecturner.github.io)

71 points by kalaracey 2 years ago | 2 comments

Show HN: Zyme – An Evolvable Programming Language(zyme.dev)

137 points by almusdives 1 year ago | 17 comments

Deep Learning Is Not So Mysterious or Different(arxiv.org)

445 points by wuubuu 1 year ago | 112 comments

arXiv paper by Andrew Gordon Wilson arguing deep learning generalization phenomena like benign overfitting and double descent are explainable by soft inductive biases.

Rule 30: one black cell(wolframcollatzmahler.com)

16 points by amichail 3 days ago | 5 comments

An interactive explainer of Wolfram's Rule 30 cellular automaton, its three open prize problems about the centre column, and observed order at the pattern's edges.

Responsible Release of AI-Generated Mathematics(agmai.org)

104 points by aureianimus 26 days ago | 150 comments

A statement with recommendations on responsibly releasing AI-generated mathematics, urging frontier AI labs to stop testing advanced math problems on proprietary models.

Google's First Tensor Processing Unit: Architecture(thechipletter.substack.com)

324 points by c_joly 2 years ago | 172 comments

A Chip Letter Substack post examining the architecture of Google's first Tensor Processing Unit (TPU v1), following an earlier post on its origins.

Google to invest up to $2B in Anthropic(reuters.com)

356 points by fofoz 3 years ago | 338 comments

Reuters news article reporting that Google agreed to invest up to $2 billion in OpenAI rival Anthropic, published October 27, 2023.

Pkl, a Programming Language for Configuration(pkl-lang.org)

856 points by bioballer 2 years ago | 530 comments

Blog post from the Pkl team announcing the first open source release of Pkl, a programming language for producing configuration.