🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚙️ Proof Engineering

Large-scale Verification, Proof Maintenance, Formal Development, Mathematical Software

Math drills for my daughter
hackster.io·1d
⚡Homebrew CPUs
You need to get started on ADA Title II compliance now: How to strategize funding, slash risk, and ensure ROI
deque.com·21h
🚚Data Migration
Codeminer42 Dev Weekly #73
blog.codeminer42.com·3d
🔩Systems Programming
The diversity of OpenStreetMap tools and how they help create a commons
tzovar.as·1d·
Discuss: Lobsters
🌱Personal Wikis
We Keep Reinventing CSS, but Styling Was Never the Problem
denodell.com·6m·
Discuss: Hacker News
🦋Format Metamorphosis
A Bash shell script designed to assess and report on battery health metrics
metasage.com·14h·
Discuss: Hacker News
📟Terminal Forensics
ForgeFed: A federation protocol for software forges
forgefed.org·20h·
Discuss: Hacker News, Hacker News
🔓Open Source Software
Hospital Shift Scheduling with OR-Tools
barkeywolf.consulting·2d·
Discuss: Hacker News
🔗Constraint Handling
Designing for humans: Why most enterprise adoptions of AI fail
markgreville.ie·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Estimating from No Data: Deriving a Continuous Score from Categories
towardsdatascience.com·12h
🧠Machine Learning
ContextGuard-LVLM: Enhancing News Veracity through Fine-grained Cross-modal Contextual Consistency Verification
arxiv.org·9h
📰Content Curation
AI-Driven Nanoparticle Detection Enhancement in Microchannel Plate Detectors via Adaptive Resonance Theory
dev.to·5h·
Discuss: DEV
📄Document Digitization
Robust-Sub-Gaussian Model Predictive Control for Safe Ultrasound-Image-Guided Robotic Spinal Surgery
arxiv.org·9h
🌀Differential Geometry
ASCoT: An Adaptive Self-Correction Chain-of-Thought Method for Late-Stage Fragility in LLMs
arxiv.org·4d
✅Formal Methods
Making New Languages Click with LLMs
dev.to·6h·
Discuss: DEV
🔗Concatenative Programming
Revolutionary AI Lead Climbing: AI Creates Better AI Through Redis Homoiconic Programming
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms
Narrative Memory in Machines: Multi-Agent Arc Extraction in Serialized TV
arxiv.org·9h
⧗Information Bottleneck
Taking the Garbage Out of Data-Driven Prediction Across Climate Timescales
arxiv.org·9h
📈Time Series
"Pull or Not to Pull?'': Investigating Moral Biases in Leading Large Language Models Across Ethical Dilemmas
arxiv.org·9h
🔲Cellular Automata
CountQA: How Well Do MLLMs Count in the Wild?
arxiv.org·9h
💻Local LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap