Embedding TypeScript
andrews.substack.com·16h·
Discuss: Substack, r/programming
🤖AI
Flag this post
Pain Points of OCaml
quamserena.com·2d·
Discuss: Lobsters, Hacker News
🤖AI
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·10h·
Discuss: Hacker News
🤖AI
Flag this post
TypeScript’s rise in the AI era: Insights from Lead Architect, Anders Hejlsberg
github.blog·10h·
Discuss: Hacker News
🤖AI
Flag this post
Magika 1.0: now faster, smarter, and rebuilt in Rust
opensource.googleblog.com·5h·
Discuss: Hacker News
🤖AI
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🤖AI
Flag this post
Fil-C
graydon2.dreamwidth.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/rust
🗄️Databases
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·3d·
Discuss: Hacker News
🤖AI
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·11h·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·1d·
Discuss: Hacker News
🤖AI
Flag this post
Code research projects with async coding agents like Claude Code and Codex
simonwillison.net·11h·
Discuss: Lobsters, Hacker News
🤖AI
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·2d·
Discuss: Hacker News, Hacker News
🤖AI
Flag this post
Stainless Docs Platform — Early Access
stainless.com·8h·
Discuss: Hacker News
🤖AI
Flag this post
Zig Looked Like the Future – Until We Tried Multithreading
freedium-mirror.cfd·3h·
Discuss: Hacker News
🤖AI
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·2d·
Discuss: Hacker News
🤖AI
Flag this post
Autark: Rethinking build systems – Integrate, Don't Outsource
blog.annapurna.cc·2d·
Discuss: Hacker News, r/programming
🗄️Databases
Flag this post
My tutorial and take on C++20 coroutines (2021)
scs.stanford.edu·1h·
Discuss: Hacker News
🤖AI
Flag this post
A new paradigm for programming: graph oriented programming
kmx.io·3h·
Discuss: Hacker News
🗄️Databases
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·1d·
Discuss: Hacker News, r/programming
🤖AI
Flag this post