Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

Kubernetes and Etcd Are Not Secure, Until Now
personal-website-3bm.pages.dev·3d·
Discuss: Hacker News
🔐Homomorphic Encryption
Flag this post
[R] Verbalized Sampling: How to Mitigate Mode Collapse and Unlock LLM Diversity
reddit.com·3d·
🧠Intelligence Compression
Flag this post
OpenGL Geometry
4rknova.com·3d·
Discuss: Hacker News
Bidirectional Programming
Flag this post
Iterative LLM-Based Generation and Refinement of Distracting Conditions in Math Word Problems
arxiv.org·5d
🧮SMT Solvers
Flag this post
Neural Networks for Bayesian Inverse Problems Governed by a Nonlinear ODE
arxiv.org·1d
📊Quantization
Flag this post
LLMs as Strategic Agents: Beliefs, Best Response Behavior, and Emergent Heuristics
arxiv.org·4d
🔲Cellular Automata
Flag this post
Does LLM Focus on the Right Words? Diagnosing Language Bias in LLM-based Recommenders
arxiv.org·4d
🎯Content Recommendation
Flag this post
Multi-Agent Debate for LLM Judges with Adaptive Stability Detection
arxiv.org·3d
🧮Kolmogorov Complexity
Flag this post
Beating Harmful Stereotypes Through Facts: RAG-based Counter-speech Generation
arxiv.org·3d
📝ABNF Extensions
Flag this post
On the Design and Evaluation of Human-centered Explainable AI Systems: A Systematic Review and Taxonomy
arxiv.org·3d
🤖AI Curation
Flag this post
Tech With Tim: My top 5 python programming course recommendations
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
Flag this post
Tech With Tim: How to Write Production Python Code
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Tech With Tim: How to Write Production Python Code
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Tech With Tim: My top 5 python programming course recommendations
dev.to·1d·
Discuss: DEV
🪟Awesome windows command-line
Flag this post
Tech With Tim: My top 5 python programming course recommendations
dev.to·1d·
Discuss: DEV
🪟Awesome windows command-line
Flag this post
Python for Everyone: Learn, Code, and Create
dev.to·1d·
Discuss: DEV
🔗Lisp
Flag this post
Hello World Has Entered the Chat: Engineering a Scalable Chatroom with gRPC (Part 1 - Foundations)
dev.to·4d·
Discuss: DEV
gRPC
Flag this post
Jay, V, and the Curse of the PyCache: A Devlog of Madness and Machine Voices
dev.to·10h·
Discuss: DEV
🔩Systems Programming
Flag this post