Type Theory, Lambda Calculus, Semantics, Compiler Design

Show HN: SlugMatch – Match Students to Residential Colleges
slugmatch.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
RUSTSEC-2025-0118: Vulnerability in wasmtime
rustsec.org·11h
🦀Rust
Flag this post
Smooth Page Transitions with Zero Libraries: The View Transitions API
codepen.io·2d·
Discuss: DEV
🪜Scala
Flag this post
Boost.Decimal Has Been Accepted
lists.boost.org·3d·
Discuss: Hacker News
🐫Ocaml
Flag this post
Image compression method combines classic techniques for greater efficiency and flexibility
techxplore.com·3h
🪜Scala
Flag this post
RDF Support Is Now Available in G.V()
gdotv.com·1d·
Discuss: Hacker News
🪜Scala
Flag this post
What AI I Use How and When (November 2025 Update)
everything.intellectronica.net·1d
🤖AI
Flag this post
What's up Python? You already know :)
bitecode.dev·4d
💻Claude
Flag this post
A Master Table of Truth: Lawyers Using AI
craigball.net·7h·
Discuss: Hacker News
🔍Static Analysis
Flag this post
It has been 2 weeks since Next.js 16 dropped, making caching explicit with "use cache" and deprecating middleware.ts.
reddit.com·13h·
Discuss: r/node
🪜Scala
Flag this post
I taught Claude my 15-year productivity framework and it got weirdly empathic [GitHub repo + mega prompt inside]
reddit.com·17h·
Discuss: r/ClaudeAI
🤖AI
Flag this post
How to Automate Your Knowledge Management with Python and AI APIs
dev.to·7h·
Discuss: DEV
🤖AI
Flag this post
More Agents Helps but Adversarial Robustness Gap Persists
arxiv.org·2d
🤖AI
Flag this post
Tech With Tim: 7 Python Anti Patterns to Avoid
dev.to·7h·
Discuss: DEV
🤖AI
Flag this post
Tech With Tim: Python for Machine Learning - Complete Roadmap!
dev.to·1d·
Discuss: DEV
🤖AI
Flag this post
Attention and Compression is all you need for Controllably Efficient Language Models
arxiv.org·3d
🪜Scala
Flag this post
Maestro: Learning to Collaborate via Conditional Listwise Policy Optimization for Multi-Agent LLMs
arxiv.org·2d
🔄Concurrency Models
Flag this post
High-dimensional Bayesian filtering through deep density approximation
arxiv.org·2d
🤖AI
Flag this post
LangChain Explained: A Beginner-Friendly Guide to Building LLM Applications
pub.towardsai.net·1d
🪜Scala
Flag this post