CodeWeavers Launches CrossOver Preview for Linux ARM64
codeweavers.com·12h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·4d·
Discuss: Hacker News
✅formal methods
Flag this post
TypeScript’s rise in the AI era: Insights from Lead Architect, Anders Hejlsberg
github.blog·11h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
inkeep.com·2d·
Discuss: Hacker News
⚙️systems programming
Flag this post
A Deep Dive into the Morris Worm
rapid7.com·22h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Storybook 10
storybook.js.org·15h·
Discuss: Hacker News
⚙️systems programming
Flag this post
When did people favor composition over inheritance?
sicpers.info·16h·
Discuss: Hacker News, r/programming
✅formal methods
Flag this post
Linkers: A 20 Part Series
airs.com·3d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Magika 1.0: now faster, smarter, and rebuilt in Rust
opensource.googleblog.com·6h·
Discuss: Hacker News
🐫ocaml
Flag this post
Show HN: AI Coding Agents: Intent-Driven Development Guidelines
github.com·16h·
Discuss: Hacker News
⚙️systems programming
Flag this post
The Write Last, Read First Rule
tigerbeetle.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·1d·
Discuss: Hacker News, r/programming
✅formal methods
Flag this post
Famed software engineer DJB tries Fil-C and likes what he sees
theregister.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post
A new paradigm for programming: graph oriented programming
kmx.io·4h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Which Chip Is Best?
blog.confident.security·9h·
Discuss: Hacker News
⚙️systems programming
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·11h·
Discuss: Hacker News
✅formal methods
Flag this post
Generation of antigen-specific paired-chain antibodies using LLMs
sciencedirect.com·11h·
Discuss: Hacker News
🐫ocaml
Flag this post
Async QUIC and HTTP/3 made easy: Tokio-quiche is now open-source
blog.cloudflare.com·10h·
Discuss: Hacker News
🌐network programming
Flag this post
Origin and Evolution of the Globstar
mergify.com·12h·
Discuss: Hacker News
🐫ocaml
Flag this post
React for Datasets
usetorque.dev·11h·
Discuss: Hacker News
✅formal methods
Flag this post