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

Mandel, Robert, - AI and early warning systems : technology innovation for national security / Robert Mandel.
libris.kb.se·1d
🧠Machine Learning
LFCS Seminar: Tuesday, 5 August: Michael Sperber
informatics.ed.ac.uk·5d
🧬Functional Programming
Rtpengine: RTP Inject and RTP Bleed vulnerabilities despite proper configuration (CVSS v4.0 Score: 9.3 / Critical)
seclists.org·2d
💣ZIP Vulnerabilities
Show HN: I made a Disney/Pixar style movie poster generator
aidisneyposters.net·4h·
Discuss: Hacker News
⟷Bidirectional Programming
Intel Updates Legacy Compute Driver To Benefit Broadwell Through Ice Lake iGPUs
phoronix.com·8h
🖥️Terminal Renaissance
Feedback on the Online Safety Act (An Email to My MP)
bentasker.co.uk·2h·
Discuss: Hacker News
🏠Personal Archives
Try Qwen Image Online
qwen-image.ai·14h·
Discuss: Hacker News
🗜️LZW Variants
Compostable Reusable Applications Platform (Crap)
maccriosta.ie·2d·
Discuss: Hacker News
🦋Format Metamorphosis
Task-based returns to generative AI: Evidence from a central bank
cepr.org·2d·
Discuss: Hacker News
✨Effect Handlers
My current guess at AI automation effect on jobs
sortega.substack.com·20h·
Discuss: Substack
⚡Proof Automation
Detailing the Changes to 'impl Trait' in Rust
hackernoon.com·4d
🔒Type Safety
Show HN: Bookava – Your personal audiobook player (auto-speed 0.1x / 10min)
github.com·22h·
Discuss: Hacker News
🎵FLAC Internals
Topological AI enables interpretable inverse design of catalytic active sites
phys.org·1d
🕸️Algebraic Topology
Some people are defending Perplexity after Cloudflare ‘named and shamed’ it
techcrunch.com·2h
🚀Indie Hacking
AI for President? Here's why, as an AI expert, I think it could happen by 2032
techradar.com·1d
🔲Cellular Automata
Show HN: Open-source macOS dictation replacement, 5Mb
github.com·1d·
Discuss: Hacker News
🔌Operating system internals
Conditional Diffusion Model with Anatomical-Dose Dual Constraints for End-to-End Multi-Tumor Dose Prediction
arxiv.org·15h
🧠Machine Learning
Show HN: I stopped wasting 5 hours/week replying to emails
news.ycombinator.com·7h·
Discuss: Hacker News
📰RSS Reading Practices
I’m thinking of building a comparison tool based on AI... you find this useful?
dev.to·23h·
Discuss: DEV
🌀Brotli Internals
Phase-fraction guided denoising diffusion model for augmenting multiphase steel microstructure segmentation via micrograph image-mask pair synthesis
arxiv.org·15h
🌈Color Science
Loading...Loading more...
AboutBlogChangelogRoadmap