Roadmap for Improving the Type Checker
forums.swift.org·1d·
Discuss: Lobsters, Hacker News
🔍Type Inference
Flag this post
Reinventing Assertions
beust.com·18h·
Discuss: Hacker News
🎮Verification Games
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·2d·
Discuss: Hacker News, r/rust
🏗️Dune
Flag this post
A portable picokernel for async I/O
ryansepassi.com·2h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Flag this post
Notes by djb on using Fil-C with Debian multiarch
cr.yp.to·1d·
Discuss: Hacker News
❄️NixOS
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·7h
🧠Automated Reasoning
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·15h·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·3d·
Discuss: Hacker News
🔧ppx
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·11h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·21h·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·2d·
Discuss: Substack
⚙️Compiler Design
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·7h·
Discuss: r/golang
🎯GADT
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.to·10h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Oops, My UUIDs Collided
alexsci.com·11h·
Discuss: Hacker News
🎯GADT
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·10h·
Discuss: Hacker News
📚Automata Learning
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·1d
🔲Cellular Automata
Flag this post