Online activities 6 – 12 October
ests.wordpress.com·4d
🏗️Constructive Mathematics
A disenshittification moment from the land of mass storage
doctorow.medium.com·1d
🧲Magnetic Philosophy
Your LLM Won’t Stop Lying Any Time Soon
hackaday.com·12h
💻Local LLMs
Umwelt
en.wikipedia.org·1d
⚙️systems theory
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·2d·
Discuss: Hacker News
🔐Hash Functions
The book that could shake the Pope’s faith
unherd.com·1d·
🏛️Philosophy
C++26: range support for std:optional
sandordargo.com·2d·
💧Liquid Types
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·2d·
🌳Incremental Parsing
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
Active Confusion Expression in Large Language Models: Leveraging World Models toward Better Social Reasoning
arxiv.org·1d
🧮Prolog Parsing
Replacing the Type Checker for the Swift Compiler
forums.swift.org·2d·
Discuss: Hacker News
💧Liquid Types
Contrastive Weak-to-strong Generalization
arxiv.org·1d
Information Bottleneck
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·1d
🧮Kolmogorov Complexity
End-to-end testing of Gen AI Apps
dev.to·1h·
Discuss: DEV
🔍Concolic Testing
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators
Writing an LLM from scratch, part 21 – perplexed by perplexity
gilesthomas.com·3d·
Discuss: Hacker News
🧠Intelligence Compression