Announcing coreboot 25.09 release
blogs.coreboot.org·1d
🔌Operating system internals
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·4d
🔓Decompilation
Simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
youtube.com·1d
⬜Minimalism
History rides again
robinsloan.com·21h
✨Effect Handlers
Toy Binary Decision Diagrams
philipzucker.com·6d
🧮Algebraic Datatypes
Discord hack shows risks of online age checks
news.sky.com·12h·
Discuss: Hacker News
🛡Cybersecurity
Intelligent Search in Rails with Typesense
avohq.io·3d·
Discuss: Hacker News
🎯Gradual Typing
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·3d·
Discuss: Hacker News
🧬Functional Programming
The plastic inside us: how microplastics may be reshaping our bodies and minds
theguardian.com·2h
🦴Database Paleontology
Replacing the Type Checker for the Swift Compiler
forums.swift.org·3d·
Discuss: Hacker News
💧Liquid Types
Just saw a new app that reverse engineers prompting...
reddit.com·14h·
Discuss: r/artificial
🔍BitFunnel
English - the hottest programming language of the future
dev.to·1d·
Discuss: DEV
🔄Language Evolution
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·2d
🌐WASI
The Library Method: Understanding @cache
dev.to·2d·
Discuss: DEV
⚡Cache Theory
Quantifying Narrative Coherence: A Hybrid Symbolic-Neural Approach for Automated Literary Evaluation
dev.to·3h·
Discuss: DEV
🔤Character Classification
The Automatic Door System: With Statements Explained
dev.to·3d·
Discuss: DEV
🧠Program Logic
From Defender to Devil? Unintended Risk Interactions Induced by LLM Defenses
arxiv.org·2d
✨Effect Handlers
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·2d
📼Cassette Combinators
Three Solutions to Nondeterminism in AI
blog.hellas.ai·3d·
Discuss: Hacker News
🎯Performance Proofs
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·2d·
Discuss: r/golang
🦀Rust Borrowing