Pain Points of OCaml
quamserena.com·2d·
Discuss: Lobsters, Hacker News
🔄compilers
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·12h·
Discuss: Hacker News
✅formal methods
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🔄compilers
Flag this post
Discrete Fourier Transform: Introduction (2020)
chciken.com·12h·
Discuss: Hacker News
✅formal methods
Flag this post
My tutorial and take on C++20 coroutines (2021)
scs.stanford.edu·2h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Satisfying Bazel'€™s relative paths requirement in C++ toolchains
pigweed.dev·8h·
Discuss: Hacker News, r/cpp
🔄compilers
Flag this post
Generation of antigen-specific paired-chain antibodies using LLMs
sciencedirect.com·11h·
Discuss: Hacker News
🗄️databases
Flag this post
Embedding TypeScript
andrews.substack.com·17h·
Discuss: Substack, r/programming
🔄compilers
Flag this post
Can LLMs subtract numbers?
arxiv.org·1d·
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
Parsing with zippers improves parsing with derivatives
dl.acm.org·4d·
Discuss: Hacker News
✅formal methods
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🔄compilers
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
🔄compilers
Flag this post
Show HN: TabPFN-2.5 – SOTA foundation model for tabular data
priorlabs.ai·9h·
Discuss: Hacker News
🗄️databases
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·4d·
Discuss: Hacker News
✅formal methods
Flag this post
Learning to Model the World with Language
dynalang.github.io·4h·
Discuss: Hacker News
✅formal methods
Flag this post
We Started with Jax but Moved to PyTorch
mlechner.substack.com·11h·
Discuss: Substack
⚙️systems programming
Flag this post
Stop vibe coding your unit tests
andy-gallagher.com·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·2d·
Discuss: Hacker News, Hacker News
🗄️databases
Flag this post