The ZeroAccess Developer and His Windows Kernel-Mode Debugger
r136a1.dev·10h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Our newest model: Chandra (OCR)
datalab.to·17h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Vibecoding my way to a crit on GitHub
furbreeze.github.io·15h·
Discuss: Hacker News
🔧DevOps
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·10h·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·2d·
Discuss: Hacker News
💬Mach Messages
Flag this post
20 Years Building for the Web: From PHP's Simple Server Rendering to TypeScript
nikuscs.com·1d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·2d·
Discuss: Hacker News
📦OPAM
Flag this post
Bright Data vs Browse AI: Choosing the Right Web Scraping Stack Without Regret
dev.to·11h·
Discuss: DEV
🔧DevOps
Flag this post
Day 23 of Documenting my learning journey
dev.to·11h·
Discuss: DEV
📦Module Systems
Flag this post
A Senior Engineer's Guide to the Model Context Protocol
dev.to·1d·
Discuss: DEV
💬Mach Messages
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·3d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·1d·
Discuss: Lobsters, Hacker News
💻CLI Tools
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Show HN: Self-Hostable ZK Markdown Sharing Service
github.com·8h·
Discuss: Hacker News
❄️NixOS
Flag this post
ParallelMind Engine: First AI System with Parallel Logical Reasoning (202+ problems/sec)
github.com·17h·
Discuss: r/programming
🔀OCaml Multicore
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·3d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
How to Data Engineer the ETLFunnel Way
dev.to·1d·
Discuss: DEV
📊Runtime Verification
Flag this post
Building a Prompt Engineering Toolkit for Developers
dev.to·1d·
Discuss: DEV
💻CLI Tools
Flag this post
Pressure to change
maryrosecook.com·1d·
Discuss: Hacker News
🧪Concolic Testing
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
➡️Category Theory
Flag this post