🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚖️ Verification Calculi

Refinement Types, SMT Integration, Program Logic, Type Safety

Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·2d
🎯Gradual Typing
How To Build an AI Health Care Agent on Amazon Bedrock
thenewstack.io·15h
🔌Archive APIs
GoFiber v3 + Testcontainers: Production-like Local Dev with Air
docker.com·16h
⚡gRPC
We migrated our site to Eleventy and increased performance by 24%
etch.co·1h·
Discuss: Hacker News
🎬WebCodecs
Does AWS Lambda have a silent crash in the runtime?
aaronstuyvenberg.com·2d·
Discuss: Hacker News
🌊Stream Processing
Row Polymorphic Programming
stranger.systems·3d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra
lightcapai.medium.com·15h·
Discuss: Hacker News
🔲Cellular Automata
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·16h·
Discuss: Hacker News
🧬PostgreSQL Forensics
AtCoder Finals Problem Statement
atcoder.jp·1d·
Discuss: Hacker News
🇯🇵Japanese Computing
Unpacking Go Slices: 3 Common Gotchas You Need to Know
dev.to·12h·
Discuss: DEV
⬆️Lambda Lifting
💂Beginner's Guide to "Meeting Rooms III" - LeetCode 2163 (C++ | Python | JavaScript)
dev.to·4h·
Discuss: DEV
⚡SIMD Optimization
Secure Pinching Antenna-aided ISAC
arxiv.org·2h
📐Compression Mathematics
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·1d·
Discuss: Hacker News
🌀Brotli Internals
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
arxiv.org·2h
✓Automated Theorem Proving
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·2d·
Discuss: Hacker News, r/programming
🔒Type Safety
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·2d
🧮Z3 Solver
Sandboxing AI - Extending AI Responsibly
dev.to·2d·
Discuss: DEV
🔒WASM Capabilities
The Problem of Hidden Dependencies
marcelsud.me·3d·
Discuss: Hacker News
🔗Dependency Resolution
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·1d
⚡Proof Automation
VITA: Vision-to-Action Flow Matching Policy
arxiv.org·2h
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap