🐿️ 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

NIST Revises Security & Privacy Control Catalog for Software Updates & Patches
nist.gov·1d·
Discuss: Hacker News
🔤DSLs
preparing for the worst
daniel.haxx.se·2d·
Discuss: Hacker News
🛡️seL4
Report on Burnout in Open Source Software
mirandaheath.website·56m·
Discuss: Hacker News
🩹Self-Healing Systems
How Do Devs Make Levels Without Game Engines?
jslegenddev.substack.com·3d·
Discuss: Substack
🧱Immutable Infrastructure
When Monitoring Breaks Your Front End Performance
differentshelf.com·2d·
Discuss: Hacker News
👁️System Observability
Dave Page: pgEdge goes Open Source
pgedge.com·2d·
Discuss: Lobsters, Hacker News, Hacker News
🧱Immutable Infrastructure
Why spreadsheets fail for AI-driven decision-making
whatifi.io·3d·
Discuss: Hacker News
🧠Automated Reasoning
Developing a Space Flight Simulator in Clojure
wedesoft.de·6d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
OSS Licensing Sucks
jackson.dev·4d·
Discuss: Hacker News
🖥Self-Hosting
Making AI Agents Feel Instant (Even When They're Not)
slavoglinsky.com·1d·
Discuss: Hacker News
👁️System Observability
vLLM with torch.compile: Efficient LLM inference on PyTorch
blog.vllm.ai·6d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Visualize Your Redis DB in Roblox
medium.com·1d·
Discuss: Hacker News
📊Runtime Verification
The Aider Local Model Experience
hexeditreality.com·6d·
Discuss: Hacker News
🛡️seL4
The LLM Has Left The Chat: Evidence of Bail Preferences in Large Language Models
arxiv.org·3d·
Discuss: Hacker News
📚Automata Learning
The Last Programmers
xipu.li·3d·
Discuss: Lobsters, Hacker News, Hacker News
🔄Reproducible Builds
MachineLearningLM: Continued Pretraining Language Models on Millions of Synthetic Tabular Prediction Tasks Scales In-Context ML
arxiv.org·2d
📚Automata Learning
Clockwork’s FleetIQ Aims To Fix AI’s Costly Network Bottleneck
thenewstack.io·1d
👁️System Observability
Another Giant Leap: The Rubin CPX Specialized Accelerator & Rack
semianalysis.com·21h·
Discuss: Hacker News
🔧Unikernel Development
STL-based Optimization of Biomolecular Neural Networks for Regression and Control
arxiv.org·2d
🔠Type-Level Programming
GitHub shouldn't allow AGPL project templates
github.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Loading...Loading more...
AboutBlogChangelogRoadmap