đŸŋī¸ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
âš–ī¸ Hoare Logic

Program Correctness, Preconditions, Postconditions, Axiomatic Semantics

Commodore 64 on New FPGA
hackaday.com¡21h
đŸ•šī¸Hardware Emulation
Finding entities with given uuids in the current project
mbork.pl¡2d
đŸ—„ī¸Database Internals
Spider divination
aeon.co¡19h¡
Discuss: Hacker News
🌍Cultural Computing
Version 2 of Higgs Audio Generation
boson.ai¡1d¡
Discuss: Hacker News
🎧Learned Audio
Weizenbaum examines computers and society (1985)
web.archive.org¡1d¡
Discuss: Hacker News
âš–ī¸Lossy Compression Ethics
Reflections on SoCraTes 2025
disintegrated.parts¡13h¡
Discuss: Hacker News
🌍Cultural Algorithms
Show HN: My Open Source HTML Drafting Program
github.com¡5h¡
Discuss: Hacker News
🔓Open Source Software
Show HN: I made a full Ethereum account-proof circuit in Circom
github.com¡2d¡
Discuss: Hacker News
đŸŒŗArchive Merkle Trees
Synomaly Noise and Multi-Stage Diffusion: A Novel Approach for Unsupervised Anomaly Detection in Medical Images
arxiv.org¡1h
📐Information Geometry
Keeping on Track: Building a Smart Goal Planner with Bolt
dev.to¡1d¡
Discuss: DEV
🚀Indie Hacking
Wan2.2 Is Here: Open-Source AI Video Just Leveled Up
algogist.com¡14h¡
Discuss: Hacker News
đŸ—œī¸LZW Variants
Exploring molecular assembly as a biosignature using mass spectrometry and machine learning
arxiv.org¡1d
🧠Machine Learning
Building a User Authentication and File Management API with FastAPI
dev.to¡1d¡
Discuss: DEV
🔌Archive APIs
What is Simple Linear Regression?
dev.to¡1d¡
Discuss: DEV
đŸŽ¯Arithmetic Coding Theory
What Vibe Coding Actually Looks Like for a Senior Engineer
dev.to¡4d¡
Discuss: DEV
⚡Proof Automation
Achieving actually full disk encryption of UEFI ESP at rest with TCG OPAL, FIPS, LUKS
blog.surgut.co.uk¡18h¡
Discuss: blog.surgut.co.uk
🔒Secure Boot
Youtube Downloader - My first MCP Server
dev.to¡8h¡
Discuss: DEV
đŸ“ĻMKV Containers
Stop coding. Start architecting. Introducing Serverokey — a Node.js engine for the AI era.
dev.to¡3d¡
Discuss: DEV
🔌Interface Evolution
DynamiX: Large-Scale Dynamic Social Network Simulator
arxiv.org¡1h
🔲Cellular Automata
Diverse and Adaptive Behavior Curriculum for Autonomous Driving: A Student-Teacher Framework with Multi-Agent RL
arxiv.org¡1d
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap