📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Show HN: Embeddable customer facing analytics – MIT licensed
try.drizzle-cube.dev·1d·
Discuss: Hacker News
🦀Rust
Remembering the work of Kevin S. Braunsdorf and the pundits tool-chain
leahneukirchen.org·1d·
Discuss: Hacker News
💾Retrocomputing
Less Coding, More Science: Simplify Ocean Modeling on GPUs With OpenACC and Unified Memory
developer.nvidia.com·1d
🧠Memory Management
Exceptional storytelling and the myth of superhuman AI
bigthink.com·21h
🤖Sci-Fi
Bookshelf: Summer 2025
placesjournal.org·2d
🧮Programming Language Theory
Embedding Wren in Hare
drewdevault.com·2d·
Discuss: Hacker News
🔧Compiler Design
Can AI generate truly novel algorithms?
research.ibm.com·4d
📈Complexity Theory
WRB—Aug. 20, 2025
washingreview.com·1d
🧮Programming Language Theory
Need this small function converted to Zig. AI models are not helping.
reddit.com·23h·
Discuss: r/Zig
🧭SMT Solvers
The 'Demo Spell' and 'Production Dilemma' of AI Agents: How I Built a Self-Learning Agent System
github.com·2d·
Discuss: DEV
🧩Theorem Proving
Super Practical Drag & Drop System for Inventory Items
reddit.com·1d·
Discuss: r/godot
🦀Rust
The Growing Need for Tools in 2025
dev.to·1d·
Discuss: DEV
🛡️IoT Security
Show HN: Imagenai – generate images directly from <img alt>
npmjs.com·19h·
Discuss: Hacker News
🧫Cellular Automata
Pair Programming: When Explanations Go Too Far
hackernoon.com·4d
⚖️Logic Programming
How We Reduced LLM Costs by 90% with 5 Lines of Code
towardsdatascience.com·15h
📦WebAssembly
Adaptive Differential Signal Calibration via Hyperdimensional Vector Projection for High-Speed Data Transmission
dev.to·1d·
Discuss: DEV
📊Information Theory
Unifying Multiple Data Pipelines with SeaTunnel: Practical Notes from Tongcheng Travel
dev.to·2d·
Discuss: DEV
👐Open Source Software
Show HN: Pluely v0.1.1 – OSS Cluely alternative with custom/local LLM support
github.com·1d·
Discuss: Hacker News
👐Open Source Software
Convergence analysis of Left-Right splitting surface scattering method
arxiv.org·3d
⚙Functional Programming
On the Interplay between Graph Structure and Learning Algorithms in Graph Neural Networks
arxiv.org·1d
🕸️Graph Theory