Type Theory, Lambda Calculus, Semantics, Compiler Design

Where the evolution of the Internet may be heading
blog.apnic.netΒ·3h
πŸ”„Concurrency Models
Flag this post
What’s New for C++ Developers in Visual Studio 2026 version 18.0
devblogs.microsoft.comΒ·6hΒ·
Discuss: Hacker News
πŸ”Static Analysis
Flag this post
I Am Calling It: Palantir, Not OpenAI, Is Winning The AI Race
seekingalpha.comΒ·9h
πŸ€–AI
Flag this post
Evolving Inter.link's Software Delivery: Lessons in Fast, Consistent, and Safe Deployments (denog17)
cdn.media.ccc.deΒ·1d
πŸ“formal specification
Flag this post
How Single Responsibility proves that OOP is madness
youtube.comΒ·3dΒ·
Discuss: r/programming
πŸͺœScala
Flag this post
Toward AI-Powered Source Audits
cjr.orgΒ·5h
πŸ”Static Analysis
Flag this post
I replaced my productivity apps with Claude Code + text files
dtlarson.comΒ·9hΒ·
Discuss: r/ClaudeAI
πŸ’»Claude
Flag this post
Mastering Generalized Linear Models GLM in R: Origins, Real-Life Applications, and Case Studies
dev.toΒ·17hΒ·
Discuss: DEV
πŸ”Static Analysis
Flag this post
The Open Strategy Dictator Game: An Experiment in Transparent Cooperation
lesswrong.comΒ·1d
πŸ”„Concurrency Models
Flag this post
I built a CLI tool to stop copy-pasting the same prompts to LLMs
reddit.comΒ·18hΒ·
Discuss: r/commandline
πŸ€–AI
Flag this post
Search on steroids: Using regex in VS Code
dev.toΒ·8hΒ·
Discuss: DEV
πŸ”Static Analysis
Flag this post
Motivated versus Value reasoning in LLMs
reddit.comΒ·2dΒ·
Discuss: r/LocalLLaMA
πŸͺœScala
Flag this post
Automated Multi-Omics Integration for Precise Senescence Biomarker Detection Kit Production
dev.toΒ·8hΒ·
Discuss: DEV
πŸ”Static Analysis
Flag this post
Do LLMs Feel? Teaching Emotion Recognition with Prompts, Retrieval, and Curriculum Learning
arxiv.orgΒ·21h
🐫Ocaml
Flag this post
Gravity-Awareness: Deep Learning Models and LLM Simulation of Human Awareness in Altered Gravity
arxiv.orgΒ·21h
πŸ”„Concurrency Models
Flag this post
How AI and ML Are Being Integrated Into Modern App Frameworks
pub.towardsai.netΒ·8h
πŸ€–AI
Flag this post
Tech With Tim: Python for Machine Learning - Complete Roadmap!
dev.toΒ·8hΒ·
Discuss: DEV
πŸ€–AI
Flag this post
Hierarchical Spatial-Frequency Aggregation for Spectral Deconvolution Imaging
arxiv.orgΒ·21h
🐫Ocaml
Flag this post
Texans' last-second touchdown leads to crushing bad beat for Jaguars bettors
nytimes.comΒ·1d
🐫Ocaml
Flag this post
The Next Frontier in NLP: Smarter Agents, Not Just Bigger Models
dev.toΒ·1dΒ·
Discuss: DEV
πŸͺœScala
Flag this post