Type Theory, Lambda Calculus, Semantics, Compiler Design

GCC Compiler Developers Begin Considering C++20 Default
phoronix.com·1h
💻Claude
Flag this post
Surely You're Joking, Mr. Feynman by Richard Feynman
tacitexposure.bearblog.dev·11h
🪜Scala
Flag this post
Sorry, AI code still sucks
quamserena.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Boost Your Developer Workflow with GPT-5 Automations
dev.to·9h·
Discuss: DEV
📐formal specification
Flag this post
Automated Invoice Data Extraction: Using LLM and OCR
arxiv.org·3d
🔍Static Analysis
Flag this post
Symbol Detection in Multi-channel Multi-tag Ambient Backscatter Communication Under IQ Imbalance
arxiv.org·2d
🔍Static Analysis
Flag this post
Critical Confabulation: Can LLMs Hallucinate for Social Good?
arxiv.org·2d
🔄Concurrency Models
Flag this post
Tech With Tim: 7 Python Anti Patterns to Avoid
dev.to·15h·
Discuss: DEV
🔍Static Analysis
Flag this post
A multimodal multiplex of the mental lexicon for multilingual individuals
arxiv.org·4d
🐫Ocaml
Flag this post
Tech With Tim: 7 Python Anti Patterns to Avoid
dev.to·7h·
Discuss: DEV
🤖AI
Flag this post
Tech With Tim: 7 Python Anti Patterns to Avoid
dev.to·5h·
Discuss: DEV
🤖AI
Flag this post
From Experience to Strategy: Empowering LLM Agents with Trainable Graph Memory
arxiv.org·2d
🔄Concurrency Models
Flag this post
Tigers' Tarik Skubal becomes first back-to-back AL Cy Young winner since Pedro Martínez
nytimes.com·1d
🤖AI
Flag this post
From 'Why the F@&k Do I Need This?' to 'Oh, That's Why' - My GAT Journey
dev.to·6d·
Discuss: DEV
🔍Static Analysis
Flag this post
This Week in Sports Trivia: November 13, 2025
nytimes.com·23h
🦀Rust
Flag this post
Provable Benefit of Curriculum in Transformer Tree-Reasoning Post-Training
arxiv.org·3d
🔄Concurrency Models
Flag this post
Walsh-Hadamard Neural Operators for Solving PDEs with Discontinuous Coefficients
arxiv.org·3d
🐫Ocaml
Flag this post