Perl 5.42 Released - Still Going Strong
i-programmer.info·4d·
Discuss: r/programming
⚙️PL Implementation
How do I get better at programming
google.com·41m·
Discuss: r/programming
💻CS
Build your own Anycast Network in Nine Steps (2016)
labs.ripe.net·9h·
Discuss: Hacker News
📡Network Protocol Design
Copyleft-Next Building the NextGen Copyleft License
fossforce.com·1d·
Discuss: Hacker News
🔬Unikernels
Large Hadron Collider: When Quantum and AI Collide
perimeterinstitute.ca·15h·
Discuss: Hacker News
📦Unikernel Systems
The Blitzhire Acquisition
medium.com·31m·
Discuss: Hacker News
🛡️seL4
Don’t compare programming to the real world
expressionstatement.com·3d·
Discuss: r/programming
👁️System Observability
Really interesting and pragmatic approach to main and branches - are people using it?
martinfowler.com·14h·
Discuss: r/programming
👁️System Observability
On Trustworthy Rule-Based Models and Explanations
arxiv.org·2d
✓Automated Theorem Proving
Identifiability in Causal Abstractions: A Hierarchy of Criteria
arxiv.org·4d
🏹Effect Systems
Ground Truth Ambient Occlusion
github.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
A Mental Model for C++ Coroutine
uvdn7.github.io·2d·
Discuss: Hacker News
🏹Effect Systems
Basic Computations in Fault Tree Analysis
arxiv.org·4d
🔬Static Analysis
So You Think You've Awoken ChatGPT
justismills.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
arxiv.org·4d
🎮Verification Games
I created a new training dataset for stale SOTA LLMs
news.ycombinator.com·1d·
Discuss: Hacker News
❄️Nixified Development
AI Agent Smart Contract Exploit Generation
arxiv.org·4d
✓Automated Theorem Proving
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·5d
🛡️seL4
Types are Transforming Python
spin.atomicobject.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Dyan – A Self-Hosted Visual REST API Builder (React and NestJS)
github.com·14h·
Discuss: Hacker News
🔤DSLs