16cards's Top FindsLoading...
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
🟣Kotlin
An easy-to-implement, arena-friendly hash map
nullprogram.com·11h·
Discuss: Lobsters
🟣Kotlin
We're building a new global entertainment company (2024)
volleygames.com·9h·
Discuss: Hacker News
Most MCP servers won't last and that's okay
00f.net·1h·
Discuss: Hacker News
Towards a Modern Web Stack
docs.google.com·16h·
Discuss: Hacker News
🧩Kotlin Multiplatform
Running GPT-OSS-120B at 500 tokens per second on Nvidia GPUs
baseten.co·6h·
Discuss: Hacker News
Vibe Coding the MIT Course Catalog
stackdiver.com·14h·
Discuss: Hacker News
🟣Kotlin
The joy of building a bytecode VM from scratch
vivekn.dev·2h·
Discuss: Hacker News
🟣Kotlin
TC39 Advances 11 Proposals for Math Precision, Binary APIs, and More
socket.dev·1d·
Discuss: Hacker News
🟣Kotlin
Testing PowerSync with Jepsen for Causal Consistency and More
github.com·13h·
Discuss: Hacker News
Tom MacWright: Observable Notebooks 2.0
simonwillison.net·16h
Software books I wish I could read
buttondown.com·19h·
Discuss: Hacker News
🟣Kotlin
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Building My Own Astrodynamics Library in Zig
atempleton.dev·7h·
Discuss: Hacker News
We Built Real-Time Chart Visualization in Our Chat SDK
withcoherence.com·11h·
Discuss: Hacker News
Eval-maxing an AI FFmpeg command generator
getkiln.ai·12h·
Discuss: Hacker News
GNOME's new AI assistant can even run Linux commands for you
zdnet.com·10h·
Discuss: Hacker News
Redprints CFP: an open source CFP management app built with Rails + Inertia.js
evilmartians.com·1d·
Discuss: Hacker News
🟣Kotlin
The Kivaloo Data Store
tarsnap.com·1d·
Discuss: Hacker News
VPS Evangelism and Building LLM-over-DNS
skeptrune.com·15h·
Discuss: Hacker News
Dynamically Update C++ syntax using Next Edit Suggestions
devblogs.microsoft.com·2d·
Discuss: Hacker News
🟣Kotlin