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

Building My Own Watch: Threading
brooker.co.za·3d
⚙️DIY Electronics
Certificate Transparency - Part 3 - Operations
ipng.ch·3d
🔒Hardware Attestation
You could have invented CuTe hierarchical layout (but maybe not the rest of it?)
blog.ezyang.com·6d·
Discuss: blog.ezyang.com
⟷Bidirectional Programming
Conversations with Christ: Religion and spirituality according to an AI
english.elpais.com·2d
🌍Cultural Algorithms
An amusing blind spot in Go's static analysis
gaultier.github.io·6d·
Discuss: Hacker News, r/golang
🧪Binary Fuzzing
New AI attack hides data-theft prompts in downscaled images
bleepingcomputer.com·2d·
Discuss: Hacker News
🕵️Vector Smuggling
The godfather of AI says the tech is making war easier: Autonomous weapons mean 'dead robots' instead of 'body bags'
businessinsider.com·4h
🇷🇺Russian Computing
Debugging the Human Layer
blog.joac.com.ar·5d·
Discuss: Hacker News
⚙️Proof Engineering
Isn't It Semantic? – BCS
bcs.org·2d·
Discuss: Hacker News
🌱Personal Wikis
What it took to make a multi-agent trading simulation durable and observable
union.ai·6d·
Discuss: Hacker News
⚡Proof Automation
This 24-inch reflective LCD screen is an interesting alternative to expensive e-ink monitors, but I struggle to see who will use it
techradar.com·12h
🖥️Modern Terminals
Ditch the chatbots and take your AI nature apps on a birdwatching hike
phys.org·47m
🤖AI Curation
Can AIs suffer? Big tech and users grapple with one of most unsettling questions of our times
theguardian.com·2d·
Discuss: Hacker News, r/technews
⚖️Emulation Ethics
I am currently trying to get into Docker and Kubernetes - where do I start?
reddit.com·3d·
Discuss: r/kubernetes
📦Container Security
Show HN: Get insights from Hacker News on X
github.com·2d·
Discuss: Hacker News
🔄Sync Engine
Hybrid Intelligence Systems and Cognitive Biases in AI: Integrating Large Language Models with Classical Reasoning for E
dev.to·6d·
Discuss: DEV
🔲Cellular Automata
Show HN: I built Mix – an opensource, local agent for multimodal tasks
github.com·3d·
Discuss: Hacker News, r/golang
🎬WebCodecs API
Citrix Under Active Attack Again With Another Zero-Day
darkreading.com·1d
🔓Hacking
Project Lightning Talks: Opening - Jeffrey Sica, CNCF
youtube.com·1d
🌊Apache Kafka
Show HN: Making hardware-integarted app development easier (open source)
github.com·3d·
Discuss: Hacker News
🔓Open Source Software
Loading...Loading more...
AboutBlogChangelogRoadmap