Three axes of time: A new theory reshapes the geometry of the Universe
universemagazine.com·4h·
Discuss: Hacker News
🧮Programming Language Theory
Kimi K2 vs Grok 4: Who’s Better at Real-World Coding Tasks with Tools?
forgecode.dev·17h·
Discuss: r/LocalLLaMA
🧮Programming Language Theory
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
⚙Functional Programming
One Weird Trick to Untie Landin's Knot
arxiv.org·2d
⚙Functional Programming
Agrell, Per - Discovering local logics / Per Agrell and Jean-Claude Moisdon.
libris.kb.se·3d
🔢Mathematical Logic
The Schwartzian Transform (2016)
perl.com·9h·
Discuss: Hacker News
📝Lisp
The Comprehensive Guide to Knowledge Graphs
agilelab.it·17h·
Discuss: Hacker News
🕸️Graph Theory
A (High-Dimensional) Geometry of Concepts
metafilter.com·4d
🔗Parser Combinators
Chromahack, a programming language
blog.libove.org·3h
🔧Compiler Design
I can write nested loops and they work, but I feel like I'm missing the deeper intuition. I’m hoping to hear from others who’ve had that “aha!” moment with nest...
reddit.com·3h·
Discuss: r/C_Programming
🔍Static Analysis
Vibe coding complex changes in Rust
youtube.com·3h
🦀Rust
GITEX GLOBAL 2025
darkreading.com·11h
🛡️IoT Security
Why men are different from women
unherd.com·1h·
Discuss: unherd.com
🧮Programming Language Theory
Linkage from Montreal
11011110.github.io·1d
📈Complexity Theory
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·1d·
Discuss: Hacker News
⚙Functional Programming
👨‍💻 Teach Yourself CS — A Self-Taught Developer’s Roadmap to Computer Science
teachyourselfcs.com·1d·
Discuss: DEV
🧮Programming Language Theory
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
Holy sh*t.. how is this even possible.
threadreaderapp.com·6h
🔢Mathematical Logic
Formal Inertia
daedeluskite.com·1d·
Discuss: Hacker News
🔢Mathematical Logic
Crackpot index (1998)
math.ucr.edu·1d
🔢Mathematical Logic