Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
🧩Kotlin Multiplatform
An easy-to-implement, arena-friendly hash map
nullprogram.com·11h·
Discuss: Lobsters
🧩Kotlin Multiplatform
Vibe Coding the MIT Course Catalog
stackdiver.com·14h·
Discuss: Hacker News
🧩Kotlin Multiplatform
TC39 Advances 11 Proposals for Math Precision, Binary APIs, and More
socket.dev·1d·
Discuss: Hacker News
🧩Kotlin Multiplatform
The joy of building a bytecode VM from scratch
vivekn.dev·2h·
Discuss: Hacker News
🧩Kotlin Multiplatform
Software books I wish I could read
buttondown.com·19h·
Discuss: Hacker News
🧩Kotlin Multiplatform
Tom MacWright: Observable Notebooks 2.0
simonwillison.net·16h
🧩Kotlin Multiplatform
Running GPT-OSS-120B at 500 tokens per second on Nvidia GPUs
baseten.co·6h·
Discuss: Hacker News
🧩Kotlin Multiplatform
Testing PowerSync with Jepsen for Causal Consistency and More
github.com·13h·
Discuss: Hacker News
🧩Kotlin Multiplatform
How we made JSON.stringify more than twice as fast
v8.dev·3d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🧩Kotlin Multiplatform
We Built Real-Time Chart Visualization in Our Chat SDK
withcoherence.com·11h·
Discuss: Hacker News
🧩Kotlin Multiplatform
Gradle 9.0.0
docs.gradle.org·6d·
Discuss: Hacker News
🧩Kotlin Multiplatform
A Library Approach to Constant Template Parameters
brevzin.github.io·4d·
Discuss: Hacker News, r/cpp
🧩Kotlin Multiplatform
Godot Foundation Welcomes JetBrains as Platinum Sponsor
godotengine.org·1d·
Discuss: Hacker News, Hacker News, r/godot
🧩Kotlin Multiplatform
Redprints CFP: an open source CFP management app built with Rails + Inertia.js
evilmartians.com·1d·
Discuss: Hacker News
🧩Kotlin Multiplatform
Building My Own Astrodynamics Library in Zig
atempleton.dev·7h·
Discuss: Hacker News
🧩Kotlin Multiplatform
Eval-maxing an AI FFmpeg command generator
getkiln.ai·12h·
Discuss: Hacker News
🧩Kotlin Multiplatform
GNOME's new AI assistant can even run Linux commands for you
zdnet.com·10h·
Discuss: Hacker News
🧩Kotlin Multiplatform
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🧩Kotlin Multiplatform
Show HN: I built a FlutterFlow app to track what I own and how often I use it
letsfancy.com·1d·
Discuss: Hacker News
🧩Kotlin Multiplatform