Should you opt-in to Swift 6.2's Main Actor isolation?
donnywals.com·2h·
Discuss: Hacker News
🧩Separation Logic
Nanonext: breaking down language barriers in data science
tidyverse.org·2h·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: ArtifyAi – AI Text-to-Image Tool by 30 image models models
artifyai.app·12h·
Discuss: Hacker News
📺Vintage Apple
Clojure's Solutions to the Expression Problem
infoq.com·3d·
Discuss: Hacker News
🐫OCaml
Write Better with Vale
pragprog.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Most Rust GUI frameworks suck
reddit.com·1d·
Discuss: r/rust
❄️Nixified Development
Massively Parallel Agentic Simulations with Ray
anyscale.com·14h·
Discuss: Hacker News
⚙️Operating System Design
IO is special
blog.ploeh.dk·3d·
Discuss: Lobsters
💎Refinement Types
Quantum Algorithm Zoo
quantumalgorithmzoo.org·17h·
Discuss: Hacker News
🧠Automated Reasoning
High Dimensional Optimization Remains Hard
win-vector.com·2d·
Discuss: Hacker News
🏹Effect Systems
Orc Protocol: Heavier than IRC, lighter than XMPP
github.com·3h·
Discuss: Hacker News
🌐NetworkProtocols
HN: Arambh Labs: agentic platform for cyber defense
arambhlabs.com·20h·
Discuss: Hacker News
🩹Self-Healing Systems
The Future of Agentic Coding Is Multiplayer
thenewstack.io·1d
🔄Reproducible Builds
Rust's Enterprise Breakthrough Year
rust-trends.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Vibe Coding vs. Spec-Driven Development
redmonk.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
Lexy: A parser combinator library for C++17
github.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Beyond Vibe Coded AI Slop: Agentic Workflows For Professionals
medium.com·1d·
Discuss: r/programming
⚙️PL Implementation
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·2d·
Discuss: Hacker News
🧮Lambda Calculus
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·1d·
Discuss: Hacker News
🔤DSLs