🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
💎 Refinement Types

Liquid Types, SMT Verification, Predicate Subtyping, Contract Programming

Power of CAD software in accelerating product development in chemical industries
chemistryworld.com·1d·
Discuss: Hacker News
🐳Containerization
Debian Trixie: the 2025 flavor release
collabora.com·1d·
Discuss: Hacker News
🔬Unikernels
Unicode 17.0 Release Announcement
blog.unicode.org·1d·
Discuss: Lobsters, Hacker News
🔤DSLs
A Novel Technique for SQL Injection in PDO's Prepared Statements
slcyber.io·2d·
Discuss: Lobsters, Hacker News, Hacker News
🔤DSLs
Six Labors License Enforcement Changes and a New Subscription Tier
sixlabors.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
All You Need Is SSH
wrongthink.link·1d·
Discuss: Lobsters, Hacker News
🖥Self-Hosting
The Center for Human-Compatible Artificial Intelligence Is Hiring
humancompatible.ai·2d·
Discuss: Hacker News
💻CS
Building a DOOM-like multiplayer shooter in pure SQL
cedardb.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🎮Verification Games
Building screenless digital jukebox for my daughter
rdeaton.space·21h·
Discuss: Hacker News
🍎Apple
Guide to building an application in 2025 – tech stack and tools
dotnetinterviews.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
65F02 is an FPGA 6502 with a Need For Speed
hackaday.com·8h
💾Retro Computing
I tried adding a 3D game inside my social media app (React + Three.js)
reddit.com·1d·
Discuss: r/programming
🎮Verification Games
Shamir's Secret Sharing
en.wikipedia.org·1d·
Discuss: Hacker News
🧩Separation Logic
Split Conformal Prediction in the Function Space with Neural Operators
arxiv.org·3d
🧩Parser Combinators
GitHub shouldn't allow AGPL project templates
github.com·3d·
Discuss: Hacker News
⚙️PL Implementation
AI Safety Law-a-thon: We need more technical AI Safety researchers to join!
lesswrong.com·1d
🎮Verification Games
Evaluating the Efficiency of Latent Spaces via the Coupling-Matrix
arxiv.org·2d
📚Automata Learning
Synthetic Data Toolkit Released on GitHub
github.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
AI Development Is Stuck in 1996. Here’s How to Get to the Future.
thenewstack.io·2d
🧩Parser Combinators
Show HN: @Agent for Gitlab
github.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Loading...Loading more...
AboutBlogChangelogRoadmap