This Week in Security: Vibecoding, Router Banning, and Remote Dynamic Dependencies
hackaday.com·9h
🛡️macOS Security
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·2d·
Discuss: Substack
λFunctional Programming
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·11h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·15h·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Reinventing Assertions
beust.com·18h·
Discuss: Hacker News
🎮Verification Games
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·1d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
How to design effective agent workflows?
boliv.substack.com·9h·
Discuss: Substack
🔧DevOps
Flag this post
What are you doing this weekend?
lobste.rs·11h·
Discuss: Lobsters
📝Nix Language
Flag this post
What's new in Swift: October 2025 Edition
swift.org·13h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·11h·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·3h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: 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
Text-Mode Games as First Haskell Projects
jackkelly.name·22h·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
➡️Category Theory
Flag this post
Oops, My UUIDs Collided
alexsci.com·10h·
Discuss: Hacker News
🎯GADT
Flag this post
My Wishlist for PHP in 2026
stitcher.io·1d·
Discuss: Hacker News
❓Existential Types
Flag this post
Designing Smarter Health Checks for Pomerium
pomerium.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Flag this post
Composer Patches 2.0.0
cweagans.net·13h·
Discuss: Hacker News
💾Cachix
Flag this post