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

TLA+, Model Checking, Safety Properties, Specifications

Why you should choose HTMX for your next web-based side project (2024)
hamy.xyz·1d·
Discuss: Lobsters, Hacker News
🧱Immutable Infrastructure
Perennial Task Just Got More Flexible
arthurdick.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
What async communication patterns lead to better outcomes for engineers?
rdel.substack.com·1d·
Discuss: Substack
🔄Reproducible Builds
ByteDance AI Empire: Inside the $12B Race Beyond the "For You" Page
algogist.com·5h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Silence Is a Commons by Ivan Illich (1983)
davidtinapple.com·1d·
Discuss: Hacker News
🔬Unikernels
Terrashroom Last Company Update
terrashroom.io·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
MCP: Bringing mashups back!
blog.pamelafox.org·2d·
Discuss: www.blogger.com, Hacker News
🧱Immutable Infrastructure
Transitioning to Virtual Threads Using the Micronaut Loom Carrier
micronaut.io·4d·
Discuss: Hacker News
👁️System Observability
Graham's Number
en.wikipedia.org·1d·
Discuss: Hacker News
➡️Category Theory
Kiro Dev Tools – Download
kirodotdev.com·4h·
Discuss: Hacker News
🔄Reproducible Builds
Docker Desktop: The Easiest Way to Debug Docker Containers
thenewstack.io·1d
⎈Kubernetes
Dollars per token considered harmful
modal.com·4d·
Discuss: Hacker News
🐫OCaml
How and where will agents ship software?
instantdb.com·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
Among the A.I. Doomsayers
newyorker.com·2d·
Discuss: Hacker News
🔬Unikernels
A Spectrophotometer Jailbreak to Resolve Colorful Disputes
hackaday.com·13h
🍎Apple
What’s Happening With Entry-Level Development Jobs?
thenewstack.io·2d
💻CS
Build an AI Agent Web App with String and Lovable
pipedream.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
HKGAI-V1: Towards Regional Sovereign Large Language Model for Hong Kong
arxiv.org·4d
🐫OCaml
Exploiting Jailbreaking Vulnerabilities in Generative AI to Bypass Ethical Safeguards for Facilitating Phishing Attacks
arxiv.org·3d
🔬Unikernels
A Discrete Analog of Tutte's Barycentric Embeddings on Surfaces
arxiv.org·2d
➡️Category Theory
Loading...Loading more...
AboutBlogChangelogRoadmap