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

C.E.O.s Want Their Companies to Adopt A.I. But Do They Get It Themselves?
nytimes.com·17h
🇳🇴Norwegian Computing
Futarchy’s fundamental flaw — the market — the blog post
dynomight.net·3d·
Discuss: Hacker News
🔍BitFunnel
Service Model (Book) System Design for Task Management
varunmehta.github.io·4d·
Discuss: Hacker News
⚙️TLA+
Tim Dowling: it’s time to name our band’s new album, and there are no bad ideas (in theory at least)
theguardian.com·21h
📼Audio Cassettes
What If A.I. Doesn’t Get Much Better Than This?
newyorker.com·4d·
Discuss: Hacker News, Hacker News
🔲Cellular Automata
simonw/codespaces-llm
simonwillison.net·3d·
Discuss: Hacker News
λLambda Formalization
Dynamic Holographic Rendering Adaptation via Multi-Modal Data Fusion and Generative Adversarial Networks
dev.to·4d·
Discuss: DEV
🌈Color Science
Show HN: Persistent Mind Model – Portable AI Personas for Any LLM
github.com·5d·
Discuss: Hacker News, r/LLM
💻Local LLMs
I’m not sure what’s going on anymore…
reddit.com·22h·
Discuss: r/homelab
🏠Homelab Preservation
Dynamic Digital Twin Calibration via Multi-Modal Anomaly Detection and Reinforcement Learning
dev.to·3d·
Discuss: DEV
👁️Observatory Systems
Autonomous Pedestrian Flow Optimization via Reinforcement Learning and Spatiotemporal Graph Neural Networks
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Your Software Has Amnesia. It’s Time to Hire One with a Memory.
dev.to·3d·
Discuss: DEV
🔄Archival Workflows
Silent Code: The Unseen Algorithms Reshaping Your Digital World
dev.to·3d·
Discuss: DEV
🚀Indie Hacking
AI-Driven Biomarker Discovery via Multi-Modal Data Fusion & HyperScore Validation
dev.to·2d·
Discuss: DEV
🔍Vector Forensics
Do Ethical AI Principles Matter to Users? A Large-Scale Analysis of User Sentiment and Satisfaction
arxiv.org·5d
🤖AI Curation
A Moral Agency Framework for Legitimate Integration of AI in Bureaucracies
arxiv.org·4d
⚖️Emulation Ethics
Physics-Informed Multimodal Bearing Fault Classification under Variable Operating Conditions using Transfer Learning
arxiv.org·4d
🧠Machine Learning
Efficient Edge LLMs Deployment via HessianAware Quantization and CPU GPU Collaborative
arxiv.org·4d
💻Local LLMs
WeatherDiffusion: Weather-Guided Diffusion Model for Forward and Inverse Rendering
arxiv.org·4d
🌈Color Science
Adaptive Lane Keeping with Predictive Uncertainty Modeling for Heterogeneous Traffic Conditions
dev.to·4d·
Discuss: DEV
📊Quantization
Loading...Loading more...
AboutBlogChangelogRoadmap