Cycle-accurate 6502 emulator as coroutine in Rust
github.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
💻Programming
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·11h·
Discuss: Hacker News
🔗Functional Programming
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·11h·
Discuss: Hacker News
💻Programming
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·2h·
Discuss: Hacker News
🏗️Language Design
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·1d·
Discuss: Hacker News
🔗Functional Programming
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·12h·
Discuss: Hacker News
🔗Functional Programming
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·3d·
Discuss: Lobsters, Hacker News
🔗Functional Programming
Flag this post
Asciidoc: When Markdown Just Isn't Cutting It
hackernoon.com·9h
🏗️Language Design
Flag this post
build system tradeoffs
jyn.dev·1d·
Discuss: Lobsters, Hacker News
💻Programming
Flag this post
The Development of Pie
terathon.com·1d·
Discuss: Hacker News
💻Programming
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·9h·
Discuss: Hacker News
🏗️Language Design
Flag this post
Building Yantra: A Visual Workflow Automation Engine
patali.dev·27m·
Discuss: Hacker News
⚡Developer Productivity
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·9h·
Discuss: Hacker News
🔧Parser Combinators
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·11h·
Discuss: Hacker News
🧠Digital Mnemonics
Flag this post
The Evolution of GPUs: How Floating-Point Changed Computing
dell.com·13h·
Discuss: Hacker News
🏗️Language Design
Flag this post
De Bruijn Numerals
text.marvinborner.de·3d·
Discuss: Hacker News
🔗Functional Programming
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·2d·
Discuss: Lobsters, Hacker News
🏗️Language Design
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·4d·
Discuss: Hacker News
🏗️Language Design
Flag this post
Challenge: Improve Multilingual ASR Performance for Mozilla
community.mozilladatacollective.com·9h·
Discuss: Hacker News
🏗️Language Design
Flag this post
Linux/WASM
joelseverin.github.io·1d·
Discuss: Hacker News
💻Programming
Flag this post