Opportunistically Parallel Lambda Calculus
dl.acm.org·4d·
Discuss: Hacker News
💻programming
Flag this post
My Experience as a SDE Intern at AWS
simho.xyz·13h·
Discuss: Hacker News
🏗️software engineering
Flag this post
Brooks's Law
en.wikipedia.org·23h·
Discuss: Hacker News
🏗️software engineering
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·4h·
Discuss: Hacker News
💻programming
Flag this post
NASA releases robotic / flight app generation tool Ogma under Apache license
github.com·49m·
Discuss: Hacker News
💻programming
Flag this post
Open Source Context-Aware PII Classifier
corp.roblox.com·39m·
Discuss: Hacker News
🏗️software engineering
Flag this post
I Processed the Internet on a Single Machine to Find Valuable Expired Domains
blog.mbrt.dev·7h·
Discuss: Hacker News
📊data engineering
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·2d·
Discuss: Hacker News
💻programming
Flag this post
CHERIoT 1.0 Released
cheriot.org·1d·
Discuss: Lobsters, Hacker News
🖥️operating systems
Flag this post
Software Development in the Time of New Angels
davegriffith.substack.com·1d·
Discuss: Substack
🏗️software engineering
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·1d·
Discuss: Hacker News
💻programming
Flag this post
The Evolution of GPUs: How Floating-Point Changed Computing
dell.com·2d·
Discuss: Hacker News
💻programming
Flag this post
Show HN: A simple programming centric WordPress: TopCoders.Cloud
topcoders.cloud·14m·
Discuss: Hacker News
💻programming
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1d·
Discuss: Hacker News
💻programming
Flag this post
Global weather data from flying airplanes
clickhouse.com·1d·
Discuss: Hacker News
💻programming
Flag this post
Strong Authentication in a Post-Quantum World
kuppingercole.com·8h·
Discuss: Hacker News
🖥️operating systems
Flag this post
Microservices? No, modularity is what matters
binaryigor.com·7h·
Discuss: Hacker News
🏗️software engineering
Flag this post
This Month in Ladybird – October 2025
ladybird.org·8h·
Discuss: Hacker News
🧰developer tools
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·2d·
Discuss: Hacker News
📡distributed systems
Flag this post
FreeBSD Officially Supported in OCI Runtime Specification v1.3
freebsdfoundation.org·5h·
Discuss: Lobsters, Hacker News
🖥️operating systems
Flag this post