Type Theory, Lambda Calculus, Semantics, Compiler Design

Where the evolution of the Internet may be heading
blog.apnic.netΒ·6h
πŸ”„Concurrency Models
Flag this post
Week 6 Recap: Integrating Firebase with React πŸš€
listo-b97ed.firebaseapp.comΒ·1dΒ·
Discuss: DEV
πŸͺœScala
Flag this post
What’s New for C++ Developers in Visual Studio 2026 version 18.0
devblogs.microsoft.comΒ·8hΒ·
Discuss: Hacker News
πŸ”Static Analysis
Flag this post
I Am Calling It: Palantir, Not OpenAI, Is Winning The AI Race
seekingalpha.comΒ·12h
πŸ€–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Β·8h
πŸ”Static Analysis
Flag this post
Mastering Generalized Linear Models GLM in R: Origins, Real-Life Applications, and Case Studies
dev.toΒ·20hΒ·
Discuss: DEV
πŸ”Static Analysis
Flag this post
Lesson 11 - Test and server-side rendering
infinitecanvas.ccΒ·1d
πŸ“formal specification
Flag this post
Search on steroids: Using regex in VS Code
dev.toΒ·10hΒ·
Discuss: DEV
πŸ”Static Analysis
Flag this post
Motivated versus Value reasoning in LLMs
reddit.comΒ·2dΒ·
Discuss: r/LocalLLaMA
πŸͺœScala
Flag this post
A Learning-Based Control Barrier Function for Car-Like Robots: Toward Less Conservative Collision Avoidance
arxiv.orgΒ·1d
πŸ€–AI
Flag this post
Automated Multi-Omics Integration for Precise Senescence Biomarker Detection Kit Production
dev.toΒ·10hΒ·
Discuss: DEV
πŸ”Static Analysis
Flag this post
Robust Causal Discovery under Imperfect Structural Constraints
arxiv.orgΒ·1d
πŸ”Static Analysis
Flag this post
Episode 1: Arrays β€” The Hidden Logic Behind How Your Code Remembers
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”Static Analysis
Flag this post
Understanding AI: From LLMs to MCP
dev.toΒ·2dΒ·
Discuss: DEV
πŸ“formal specification
Flag this post
Hierarchical Spatial-Frequency Aggregation for Spectral Deconvolution Imaging
arxiv.orgΒ·1d
🐫Ocaml
Flag this post
Texans' last-second touchdown leads to crushing bad beat for Jaguars bettors
nytimes.comΒ·1d
🐫Ocaml
Flag this post
REACT-LLM: A Benchmark for Evaluating LLM Integration with Causal Features in Clinical Prognostic Tasks
arxiv.orgΒ·1d
πŸ”Static Analysis
Flag this post