๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โœ… Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

In the beginning was CAOS (1988)
web.archive.orgยท5hยท
Discuss: Hacker News
๐ŸšShell Calculus
Terence Tao: Hardest Problems in Mathematics, Physics and the Future of AI
lexfridman.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
BusyBeaver(6) is really quite large
scottaaronson.blogยท1dยท
Discuss: Hacker News, r/compsci
๐ŸŽž๏ธTape Combinatorics
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.comยท4dยท
Discuss: Hacker News, r/programming
๐Ÿ”—Lisp
SBOMs for Medical Devices (2023)
danacrane.medium.comยท1dยท
Discuss: Hacker News
๐Ÿ”HSM Integration
How Questions Build Software
akdev.blogยท2dยท
Discuss: Hacker News
๐Ÿ”Concolic Testing
Slouching Towards Sensemaking
karanchawla.ioยท1dยท
Discuss: Hacker News
๐ŸงฒMagnetic Philosophy
Validation of the MySurgeryRisk Algorithm for Predicting Complications and Death after Major Surgery: A Retrospective Multicenter Study Using OneFlorida Data Tr...
arxiv.orgยท1h
๐Ÿ“ˆMutual Information
Coccinelle for Rust progress report (Collabora blog)
lwn.netยท3d
๐Ÿฆ€Rust Borrowing
Model Context Protocol (MCP) Servers For The Absolute Beginner
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Structured Logging in NextJS with OpenTelemetry
dev.toยท3dยท
Discuss: DEV
๐Ÿ“Log Parsing
Use Your ADK AI Agent in a UI
dev.toยท3hยท
Discuss: DEV
๐ŸŒWASI
SPAZER: Spatial-Semantic Progressive Reasoning Agent for Zero-shot 3D Visual Grounding
arxiv.orgยท1h
๐ŸบComputational Archaeology
Can Video Large Multimodal Models Think Like Doubters-or Double-Down: A Study on Defeasible Video Entailment
arxiv.orgยท1h
๐Ÿง Machine Learning
Cactus Language โ€ข Syntax 11
inquiryintoinquiry.comยท6d
๐Ÿ“Concrete Syntax
From Beginner to Clean Coder: A Junior Developer's Journey
dev.toยท2dยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Vibe Coding Pipelines: How I Let AI Build My .NET CI/CD Workflow
dev.toยท9hยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
๐Ÿš€ Meet Nexent: The Open-Source Agent Platform for Multimodal AI with Zero Code
dev.toยท20hยท
Discuss: DEV
๐Ÿ”“Open Source Software
NodeJS Fundamentals: export
dev.toยท2dยท
Discuss: DEV
๐Ÿ›ก๏ธWebAssembly Security
Design Systems: The Secret Weapon of Scalable Frontend Development
dev.toยท15hยท
Discuss: DEV
๐ŸŽจNordic Design
Loading...Loading more...
AboutBlogChangelogRoadmap