marko's Top FindsLoading...
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·6h·
Discuss: Hacker News
🌳Data Structures
Flag this post
Moves Are Broken
youtube.com·3h
💻Programming
Flag this post
Stainless Docs Platform — Early Access
stainless.com·3h·
Discuss: Hacker News
☁AWS
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
🌳Data Structures
Flag this post
Combine Java and Rust Code Coverage in a Polyglot Project
questdb.com·13h·
Discuss: r/programming
🦀Rust
Flag this post
Modular: PyTorch and LLVM in 2025 — Keeping up With AI Innovation
modular.com·22h
⚙️Compilers
Flag this post
The InsightOS architecture
feedly.com·1d
🏗️Systems Design
Flag this post
Comparison and Benchmarking of Go RPC Systems
matheusd.com·12h·
Discuss: r/golang
🔌APIs
Flag this post
Testing Cursor's New Model: Composer
shuttle.dev·1d
🚀Performance
Flag this post
Developers don’t care about Kubernetes clusters
infoworld.com·13h
🐳Docker
Flag this post
Embedding TypeScript
andrews.substack.com·12h·
Discuss: Substack, r/programming
💻Programming
Flag this post
The Swift AWS Lambda Runtime moves to AWSLabs
aws.amazon.com·5h
☁AWS
Flag this post
I built 10k robots simulation with collision avoidance in WebGPU (HTML)
physical-ai.ghost.io·59m·
Discuss: Hacker News
🚀Performance
Flag this post
Kubernetes Overkill: When Your Architecture Is More Complex Than Your Business
dev.to·4h·
Discuss: DEV
🐳Docker
Flag this post
Beyond the Medallion: Rethinking Data Architecture
blog.matterbeam.com·3h·
Discuss: Hacker News
🏗️Systems Design
Flag this post
Code That Writes Itself: The Era of Example-Driven Programming by Arvind Sundararajan
dev.to·17h·
Discuss: DEV
⚙️Compilers
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·7h·
Discuss: Hacker News
💻Programming
Flag this post
Run LLMs Locally
ikangai.com·1d·
Discuss: Hacker News
🚀Performance
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·1d·
Discuss: Hacker News
⚙️Compilers
Flag this post
Presentation: Scaling API Independence: Mocking, Contract Testing & Observability in Large Microservices Environments
infoq.com·1d
🔌APIs
Flag this post