TypeScript’s rise in the AI era: Insights from Lead Architect, Anders Hejlsberg
github.blog·3h·
Discuss: Hacker News
✅Formal Methods
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.com·1d·
Discuss: Lobsters, Hacker News, r/rust
📡Side-Channel Attacks
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·4h·
Discuss: Hacker News
✅Formal Methods
Flag this post
We Started with Jax but Moved to PyTorch
mlechner.substack.com·3h·
Discuss: Substack
✅Formal Methods
Flag this post
Fil-C
graydon2.dreamwidth.org·21h·
Discuss: Lobsters, Hacker News
🐛Vulnerability Research
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·2d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Pain Points of OCaml
quamserena.com·2d·
Discuss: Lobsters, Hacker News
✅Formal Methods
Flag this post
Rust Foundation tries to stop maintainers corroding
theregister.com·1d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Code research projects with async coding agents like Claude Code and Codex
simonwillison.net·4h·
Discuss: Lobsters, Hacker News
🐛Vulnerability Research
Flag this post
React for Datasets
usetorque.dev·2h·
Discuss: Hacker News
✅Formal Methods
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Bikeshedding `Handle` and other follow-up thoughts
smallcultfollowing.com·1d·
Discuss: Lobsters, Hacker News
✅Formal Methods
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·19h·
Discuss: Hacker News
✅Formal Methods
Flag this post
Stop vibe coding your unit tests
andy-gallagher.com·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
A PoC to make a backdoored PyTorch neural network
hacktelligence.org·21h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·3h·
Discuss: Lobsters, Hacker News
📡Side-Channel Attacks
Flag this post
Embedding TypeScript
andrews.substack.com·9h·
Discuss: Substack, r/programming
✅Formal Methods
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·4d·
Discuss: Hacker News
✅Formal Methods
Flag this post