Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement
era.ed.ac.uk·12h·
Discuss: Hacker News
🤖AI
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com·1d·
Discuss: Hacker News
🤖AI
Monads as Graphs (2019)
neilmitchell.blogspot.com·15h·
Discuss: Lobsters, Hacker News
🤖AI
Generic Containers in C: Vec
uecker.codeberg.page·3h·
Discuss: Hacker News
🗄️Databases
Open-Source LLM Helps Safeguard Text Generation Prompts and Responses
corp.roblox.com·6h·
Discuss: Hacker News
🤖AI
Python 3.14.0rc1
python.org·11h·
Discuss: Hacker News
🤖AI
Crafting a dependent typechecker, part 1
blueberrywren.dev·4d·
Discuss: Hacker News
🤖AI
Designing for the different stages of a system's life
exploring-better-ways.bellroy.com·1d·
Discuss: Hacker News
🤖AI
Safe Cell field projection in Rust (2020)
abubalay.com·2d·
Discuss: Lobsters, Hacker News
🗄️Databases
Dear Null
home.expurple.me·21h·
Discuss: Hacker News
🤖AI
Choosing the rijght .NET container image for your workload
medium.com·31m·
Discuss: Hacker News
🗄️Databases
Raku: First Programming Language?
wayland.github.io·14h·
Discuss: Hacker News
🤖AI
Claude Code Is a Game Changer
probably.co.uk·18h·
Discuss: Hacker News
🤖AI
API tests as the single source of truth for docs, SDKs, and AI agents
scheduleddowntime.com·19h·
Discuss: Hacker News
🤖AI
ΜFork: A pure actor-based concurrent machine architecture with memory-safety an
ufork.org·13h·
Discuss: Hacker News
🗄️Databases
Scavenger Malware Distributed via ESLint-Config-Prettier NPM Package Hack
invokere.com·1d·
Discuss: Hacker News
🤖AI
Issues you will face binding to C from Java.
mccue.dev·1d·
Discuss: Hacker News, r/programming
🤖AI
How to Learn the Swift Source Code
blog.jacobstechtavern.com·19h·
Discuss: Hacker News
🤖AI
Fmtlib / fmt A modern formatting library
github.com·2d·
Discuss: Hacker News
🗄️Databases
TDD Guard: Enforcing Test-Driven Development with Claude Code Hooks
nizar.se·17h·
Discuss: Hacker News
🤖AI