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

Episciences links article code through Software Heritage
softwareheritage.org·1h
🏛️OAIS Implementation
Start hacking Bluetooth Low Energy today! (part 1)
pentestpartners.com·7h
📡Bluetooth Archaeology
Unlocking high software engineering pace: Partner with Product to pay down technical debt
dev.jimgrey.net·2d
📏Code Metrics
Syslog Without Server Headaches
proxylity.com·1d·
Discuss: Hacker News
🕸️Mesh Archiving
AI copilots reshape game development
developer-tech.com·2d·
Discuss: Hacker News
🔓Open Source Software
RADV Vulkan Video Lands Intra-Refresh Encode
phoronix.com·5h
🎥Streaming Codecs
The chatbot's mental health break
newslttrs.com·2d·
Discuss: Hacker News
🎙️Whisper
Cities obey the same laws of living systems, researchers claim
phys.org·1h
🔲Cellular Automata
Ukraine-Russia war latest: Moscow casts doubt over peace talks after bombing US factory in new wave of strikes
the-independent.com·3h
🔍Polish Cryptanalysis
Empowering Businesses with Bondhu Systems
dev.to·1d·
Discuss: DEV
🇯🇵Japanese Computing
AI crawlers and fetchers are blowing up websites, with Meta and OpenAI the worst offenders
theregister.com·5h·
Discuss: Hacker News
🚀Indie Hacking
LLMs + Coding Agents = Security Nightmare
garymarcus.substack.com·4d·
Discuss: Substack
🔓Hacking
Air gap security: why disconnected doesn't mean defenseless
runzero.com·2d
🏠Homelab Security
Automated Knowledge Graph Augmentation via Semantic Drift Compensation
dev.to·4d·
Discuss: DEV
🔍Information Retrieval
Artificial intelligence (AI) techniques: a game-changer in Digital marketing for shop
arxiv.org·2d
🌍Cultural Algorithms
GenFlowRL: Shaping Rewards with Generative Object-Centric Flow in Visual Reinforcement Learning
arxiv.org·3d
🔲Cellular Automata
The Role of AI in Facilitating Interdisciplinary Collaboration: Evidence from AlphaFold
arxiv.org·1d
🕸️Algebraic Topology
7 Open-Source Productivity Tools I Can’t Live Without
dev.to·1d·
Discuss: DEV
🔓Open Source Software
[R] How to prime oneself for ML research coming from industry
reddit.com·7h·
Discuss: r/MachineLearning
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
6 ChatGPT Prompts Every Vibe Coder Must Know
vibe.forem.com·2d·
Discuss: DEV
🎙️Whisper
Loading...Loading more...
AboutBlogChangelogRoadmap