v4: "The Big Bumbling Update" Changelog
lumenoth.itch.io·4h
💬Error Message Design
Flag this post
5 senseless PC habits we all pretend are normal
xda-developers.com·23h
🔮Speculative Execution
Flag this post
Up and Down the Ladder of Abstraction
⚡Control Synthesis
Flag this post
Question: Are SWE 1.5 and Composer trained from a Chinese open-source model?
🔮Metacircular Evaluators
Flag this post
Frozen in Place
🔄Subinterpreters
Flag this post
New comment by arymaheusky in "Ask HN: Who wants to be hired? (November 2025)"
🎮Language Ergonomics
Flag this post
OpenAI Releases Double-Checking Tool For AI Safeguards That Handily Allows Customizations
forbes.com·1d
✅Type Checking
Flag this post
One of the most devious malware strains might have been cracked - and it's all thanks to Gen AI
techradar.com·17h
🛡️Security Type Systems
Flag this post
NEWS ROUNDUP – 5th November 2025
digitalforensicsmagazine.com·46m
🔐Security Types
Flag this post
About writing control systems in C
🔀Control Structures
Flag this post
Building Scalable Online Gaming Platforms: A Developer’s Look into Turnkey Tech Stacks
✅Configuration Validation
Flag this post
About AI and context
🤖Abstract Machines
Flag this post
I Want to Break Free! Persuasion and Anti-Social Behavior of LLMs in Multi-Agent Settings with Social Hierarchy
arxiv.org·6h
🎯Finite Automata
Flag this post
AI and the Loss of the Flow
🎭Program Synthesis
Flag this post
AccessFix Update!
🎮Language Ergonomics
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·1d
🔮Type Inference Visualization
Flag this post
Neural Green's Functions
arxiv.org·6h
🪜Recursive Descent
Flag this post
Week 7: React hooks and more!
🌈Gradual Languages
Flag this post
Loading...Loading more...