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

Mobile security and DSPT: a guide for NHS Trusts
jamf.com·2d
🔤EBCDIC Privacy
Lyle Menendez denied parole a day after brother Erik
dw.com·1d
🏴‍☠️Piracy
Physics+ Brachistochrone: UNIZOR.COM - Physics+ 4 All - Variations
unizor.blogspot.com·5d·
Discuss: www.blogger.com
⚙Backus-Naur Form
Issue 723
iosdevweekly.com·2d
🖥️Vintage Macintosh
Video games became a way to connect to a father who struggled to express himself
crossplay.news·2d·
Discuss: Hacker News
🏺Gaming Archaeology
Gravitationally-induced wave function collapse time for molecules (2024)
pmc.ncbi.nlm.nih.gov·5d·
Discuss: Hacker News
⏰Time Crystals
In the long run, LLMs make us dumber
desunit.com·2d·
Discuss: Hacker News
🧠Intelligence Compression
Ehrenfest paradox: the circumference of a relativistic rotating disk is <2πr
en.wikipedia.org·1d·
Discuss: Hacker News
🧲Magnetic Domains
Why developers question everything
timharek.no·5d·
Discuss: Lobsters, Hacker News
🐛Fuzzing
How to Correctly Apply Limits on the Result in DAX (and SQL)
towardsdatascience.com·5d
🔗Constraint Handling
Sebuf: Build HTTP APIs from Protobuf Definitions with Automatic Validation and OpenAPI Docs (And more)
reddit.com·4d·
Discuss: r/golang
⚡gRPC
Linking to books online
hamatti.org·1d
🏰Manuscript Networks
East Bay youth referee sentenced on child exploitation, gun charges
mercurynews.com·1d
⚖️Digital Evidence
Honey, I shrunk the image and now I'm pwned
theregister.com·2d
🎫Kerberos Attacks
When Pets Become “Human”: What's Behind the AI Image Generation Trend
dev.to·1d·
Discuss: DEV
⚖️Emulation Ethics
I Built a LinkedIn Job Scraper Because Manual Job Hunting is Pain
dev.to·2d·
Discuss: DEV
📰RSS Reading Practices
AGP: A Novel Arabidopsis thaliana Genomics-Phenomics Dataset and its HyperGraph Baseline Benchmarking
arxiv.org·2d
📐Vector Dimensionality
Robust Data Fusion via Subsampling
arxiv.org·5d
🧠Machine Learning
Fed-Meta-Align: A Similarity-Aware Aggregation and Personalization Pipeline for Federated TinyML on Heterogeneous Data
arxiv.org·5d
🌐Federated Search
MATA (m\=ata): Mindful Assessment of the Telugu Abilities of Large Language Models
arxiv.org·4d
💻Local LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap