🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚙️ PL Implementation

Compilers, Runtime Systems, JIT, Interpreter Design

Bundler: Bundler v2.7: last release before Bundler 4
bundler.io·11h·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Show HN: LinkMonster – Share multiple links easily
link-monster.com·19h·
Discuss: Hacker News
🔄Reproducible Builds
Doing time. The emergence of irreversibility – PubMed
pubmed.ncbi.nlm.nih.gov·3d·
Discuss: Hacker News
🏹Effect Systems
Training a Chunker with Burn
elijahpotter.dev·1d·
Discuss: Hacker News
🐫Embedded OCaml
When More Cores Means Less Speed: Debugging PyTorch with Valgrind on ARM
blog.cloudkernels.net·3d·
Discuss: Hacker News
👁️System Observability
Breaking Device and Network Barriers to Ensure Stable Cross-Border Teaching
news.ycombinator.com·10h·
Discuss: Hacker News
📡Network Protocol Design
The AI Application Land Grab
frontierai.substack.com·2h·
Discuss: Substack
✓Automated Theorem Proving
Giving AWS Q Developer CLI a second look
chrisebert.net·2d·
Discuss: Hacker News
🔄Reproducible Builds
Zig's new I/O: function coloring is inevitable?
blog.ivnj.org·4d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Circumventing Safety Alignment in Large Language Models Through Embedding Space Toxicity Attenuation
arxiv.org·3d
🔍Formal Verification
LLMs for coding (+ free workflow templates)
blog.n8n.io·5d·
Discuss: Hacker News
🤖Program Synthesis
Dearest C++, Let Me Count the Ways I Love/Hate Thee
hackaday.com·6d·
Discuss: Hacker News
🐫Embedded OCaml
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.org·16h
🐫OCaml
Web-Browsing LLMs Can Access Social Media Profiles and Infer User Demographics
arxiv.org·16h
✓Automated Theorem Proving
LittleHorse Kernel: A Platform for Distributed Event-Driven Applications
github.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Grammatical Structure and Grammatical Variations in Non-Metric Iranian Classical Music
arxiv.org·1d
➡️Category Theory
Supporting SEN\'{C}OTEN Language Documentation Efforts with Automatic Speech Recognition
arxiv.org·1d
🐫OCaml
Generative AI Creates APIs Faster Than Teams Can Secure Them
thenewstack.io·2d
👁️System Observability
Show HN: Open-Source Form Builder
github.com·1d·
Discuss: Hacker News
🐫OCaml
Show HN: Portia – A stateful Crew AI alternative, with auth and 1000 tools
github.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Loading...Loading more...
AboutBlogChangelogRoadmap