owi's Top FindsLoading...
OpenAI Model Spec
model-spec.openai.com·5h·
Discuss: Hacker News
Flag this post
Famed software engineer DJB tries Fil-C and likes what he sees
theregister.com·1d·
Discuss: Hacker News
📊Type systems
Flag this post
How a Nix flake made our polyglot stack (and new dev onboarding) fast and sane
fiveonefour.com·18h·
Discuss: Hacker News
🦀Programming languages
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.ai·1d·
Discuss: Hacker News
🌐Web
Flag this post
Scala vs. F#
alexn.org·3d·
Discuss: Hacker News
📊Type systems
Flag this post
Myers Diff for Tab Management: Part 2
deontevanterpool.com·13h·
Discuss: Hacker News
Flag this post
Field notes from making a living without writing a line of code
ag404labs.com·1d·
Discuss: Hacker News
🌐Web
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·2d·
Discuss: Hacker News
🧪Testing
Flag this post
I Built a Local Dev Tool for ChatGPT Apps SDK
itsnikhil.github.io·19h·
Discuss: Hacker News
🧪Testing
Flag this post
A Noob's Guide to Kubernetes Monitoring: SigNoz vs. Datadog vs. Grafana
simpletechguides.com·5h·
Discuss: Hacker News
Flag this post
Run LLMs Locally
ikangai.com·19h·
Discuss: Hacker News
🌐Web
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·3d·
Discuss: Lobsters, Hacker News
📊Type systems
Flag this post
Context Engineering: The New Skill for Working with AI Agents
benr.build·1d·
Discuss: Hacker News
🧪Testing
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
📊Type systems
Flag this post
Accumulating Context Changes the Beliefs of Language Models
lm-belief-change.github.io·6h·
Discuss: Hacker News
🧪Testing
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·2d·
Discuss: Hacker News
📊Type systems
Flag this post
Zensical – A modern static site generator built by the Material for MkDocs team
squidfunk.github.io·1d·
Discuss: Lobsters, Hacker News
Flag this post
Dive into Systems
diveintosystems.org·2d·
Discuss: Hacker News
📊Type systems
Flag this post
What data do coding agents send, and where to?
chasersystems.com·2d·
Discuss: Hacker News
🌐Web
Flag this post
Prog8
github.com·1d·
Discuss: Hacker News
📊Type systems
Flag this post