🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔗 Dependently Typed

Proof-Carrying Code, Correctness by Construction, Type-Level Programming

EPYTEST_PLUGINS and other goodies now in Gentoo
blogs.gentoo.org·1d
⚡Proof Automation
Eco-friendly 3D-printed house uses soil, not cement — building still scores top earthquake resistance rating
tomshardware.com·9h·
Discuss: Hacker News
📜Document Physics
Show HN: (Almost) instant NAICS, UNSPSC, HS code classification (free webapp)
classifast.com·15h·
Discuss: Hacker News
🔤Character Classification
Optimi-Zi(n)g Sudoku-Solving
log.pfad.fr·2d·
Discuss: Lobsters, Hacker News
🧮Z3 Solver
InstructVLA: Vision-Language-Action Instruction Tuning
yangs03.github.io·2d·
Discuss: Hacker News
✨Effect Handlers
How to Discover a CSS Trick
css-tricks.com·2d
📐Mathematical Art
ΜFork: A pure actor-based concurrent machine architecture with memory-safety an
ufork.org·5d·
Discuss: Hacker News
⚡Hardware Transactional Memory
How to use “Caido Workflows” to scan for anything
infosecwriteups.com·19h
🌐NetworkProtocols
LLMs remain vulnerable to "jailbreaking" through adversarial prompts
link.springer.com·3d·
Discuss: Hacker News
💻Local LLMs
Coverage 7.10.0: patch
nedbatchelder.com·2d
👁️System Observability
Patching A Homebrew Emacs
irreal.org·2d
💧Liquid Types
🧠 AsMind – The Empathetic Conversational Search Assistant (Neuro-Inclusive AI powered by Algolia + GPT)
dev.to·2h·
Discuss: DEV
🎛️Feed Filtering
Why Is My nil Error Not nil in Go? Unpacking Nil Interfaces
dev.to·3d·
Discuss: DEV
🔧Binary Parsing
Perfecting anti-aliasing on signed distance functions
blog.pkh.me·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🎨LUT Compression
AI-Powered Supply Chain Simulator (Open Source Tool)
dev.to·19h·
Discuss: DEV
🌊Streaming Systems
Go Concurrency in Microservices: A Practical Guide for Backend Devs
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
The Dangers of Vibe Coding Part 1: Premature Optimization
dev.to·4d·
Discuss: DEV
⚡Effectful Programming
How Rust-Based Zed Built World’s Fastest AI Code Editor
thenewstack.io·3d
🔓Open Source Software
Day 1 : Who needs rest? I built an AI Automation agent this weekend.
dev.to·4h·
Discuss: DEV
🏠Home Automation
I’m a .NET Developer, and I Want to Be Free from Frameworks.
dev.to·3d·
Discuss: DEV
🧱Immutable Infrastructure
Loading...Loading more...
AboutBlogChangelogRoadmap