Modular Ktor: Building Backends for Scale
blog.jetbrains.com·1d
🔧MLIR
JWT based Authentication from scratch
i.redd.it·22h·
Discuss: r/node
📜Smart Contracts
Granite-speech-3.3-8b
huggingface.co·1d·
Discuss: r/LocalLLaMA
🔗Crypto
Run Your Python Code up to 80x Faster Using the Cython Library
towardsdatascience.com·4d
🔧MLIR
Building Real-Time AI Streaming Services with AWS Lambda and Architect
metaduck.com·23h·
Discuss: Hacker News
🤖AI
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·1d
✅Formal Verification
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·1d·
Discuss: r/opensource
🔧MLIR
Most Common TypeScript Interview Questions for Frontend Developers
dev.to·1d·
Discuss: DEV
🔗Crypto
The JavaScript Library for the DOM You Don't Control
github.com·20h·
Discuss: DEV
🔧MLIR
kvStruct: Turn Key/Value DB into Key/Struct stores with compression.
reddit.com·17h·
Discuss: r/golang
🔗Crypto
(Quite) a few words about async
yoric.github.io·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
✅Formal Verification
This Month in Rust OSDev: June 2025
rust-osdev.com·3d
🔧MLIR
Getting Started with ClickHouse in TypeScript using hypequery.
dev.to·20h·
Discuss: DEV
🤖AI
⚔️ Kotlin vs Java: Is Kotlin *Really* Better?
dev.to·1d·
Discuss: DEV
🔧MLIR
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·1d·
Discuss: r/golang
🔧MLIR
It's Pointers All The Way Down
dev.to·3d·
Discuss: DEV
🔧MLIR
Learning How Code Talks to Computers: My First Step Toward Real-World Of Tech
dev.to·2d·
Discuss: DEV
✅Formal Verification
🧠 Dipping into TypeScript (Need Tips!) #04
dev.to·1d·
Discuss: DEV
🔧MLIR
7GUIs in Mint
dev.to·1d·
Discuss: DEV
✅Formal Verification
Insanely productive in Go... rethinking everything
reddit.com·1d·
Discuss: r/golang
🔗Crypto