We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com·18h·
Discuss: Hacker News
🦀Rust
Tailwind Is the Worst of All Worlds
colton.dev·12h·
Discuss: Lobsters, Hacker News
🍎Apple
Crafting a dependent typechecker, part 1
blueberrywren.dev·4d·
Discuss: Hacker News
🧠AI
Building a fuzzing testing framework with Locust and Docker
lucas-montes.com·8h·
Discuss: Hacker News
💧Elixir
Qwen3-Coder is here!
i.redd.it·7h·
Discuss: r/LocalLLaMA
🧠AI
Functional Documentation
dzombak.com·14h·
Discuss: Hacker News
⚡Fastify
Swift and C++ Interoperability in Practice
arturgruchala.com·1d·
Discuss: Hacker News
🍎Apple
Yeri: JavaScript library for graphing timeseries data into an SVG
code.lag.net·1d·
Discuss: Hacker News
💧Elixir
We Built An Entire Newsroom with LLMs – Then We Showed The Print To the Real One
medium.com·13h·
Discuss: Hacker News
🧠AI
Show HN: Port – an open source, identifier-less, E2EE messaging app
github.com·8h·
Discuss: Hacker News
🍎Apple
Raku: First Programming Language?
wayland.github.io·8h·
Discuss: Hacker News
🧠AI
P Verified
b-hilprecht.github.io·10h·
Discuss: Lobsters, Hacker News, r/programming
💧Elixir
How to Create and Combine SwiftUI Views Without Getting Lost in Deep Nesting and Complex Layouts
matteomanferdini.com·1d·
Discuss: Hacker News
🍎Apple
Issues you will face binding to C from Java.
mccue.dev·1d·
Discuss: Hacker News, r/programming
🤖Android
June 2025 Baseline monthly digest
web.dev·12h·
Discuss: Hacker News
⚡Fastify
Show HN: I'm a non-coder who turns 1-line intents into full-stack blueprints
news.ycombinator.com·17h·
Discuss: Hacker News
🧠AI
Python 3.14 release candidate 1 is go!
pythoninsider.blogspot.com·8h·
Discuss: Lobsters, Hacker News, r/programming
⚡Fastify
Launching OpenCommunity Software License (OCSL) Version 1.0
madalin.me·5h·
Discuss: Hacker News
⚡Fastify
A Full Code Agent in 200 Lines
cthiriet.com·1d·
Discuss: Hacker News
🧠AI
Anticipating Holes in ChatGPT's Knowledge
amahabal.substack.com·15h·
Discuss: Substack
🧠AI