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

Reverse engineering the mysterious Up-Data Link Test Set from Apollo
righto.com·1d·
Discuss: www.blogger.com
⚡Circuit Archaeology
Is the median far away from the mean (for variables with finite variance)?
freakonometrics.hypotheses.org·15h
🧮Kolmogorov Bounds
Try These Logic Puzzles from the International Logic Olympiad
scientificamerican.com·1d
📚Proof Pedagogy
Google DeepMind Formal Conjectures
google-deepmind.github.io·2d·
Discuss: Hacker News
🕸️Algebraic Topology
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·4d·
Discuss: Hacker News
🗂️Vector Databases
Show HN: I just published my practical guide to building a database server
leanpub.com·2d·
Discuss: Hacker News
🗄️Database Internals
What Makes a Mature Science
asimov.press·1d·
Discuss: Hacker News
🔲Cellular Automata
Go library: CEL predicates to SQL conditions (PostgreSQL Dialect)
reddit.com·1d·
Discuss: r/golang
🧩SQLite Extensions
I need help with implementing a db in a Go API
reddit.com·2d·
Discuss: r/golang
🔓Reverse engineering
How to Use Kimi K2 for free? 3 Ways
dev.to·14h·
Discuss: DEV
🧠Intelligence Compression
Graphs over Chains - My LangGraph Journey (part-1)
dev.to·1d·
Discuss: DEV
🕸️Neo4j
Machine Learning Fundamentals: ensemble learning with python
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Graph-Structured Data Analysis of Component Failure in Autonomous Cargo Ships Based on Feature Fusion
arxiv.org·2d
🧠Machine Learning
MCP: The Simple Protocol to Make AI Actually Useful
dev.to·23h·
Discuss: DEV
🔌Interface Evolution
[R] SherlockBench benchmark and paper
reddit.com·3d·
Discuss: r/MachineLearning
🌊Streaming Algorithms
CARV Advances AI Beings Roadmap With Hackathon And 12+ Ecosystem Partnerships
hackernoon.com·8h
🚀Indie Hacking
The Judge Variable: Challenging Judge-Agnostic Legal Judgment Prediction
arxiv.org·2d
🗂️Vector Databases
Acceleration of Gossip Algorithms through the Euler-Poisson-Darboux Equation
arxiv.org·2d
🕸️Network Topology
Learning to Extract Rational Evidence via Reinforcement Learning for Retrieval-Augmented Generation
arxiv.org·1d
🔍Information Retrieval
Extracting Visual Facts from Intermediate Layers for Mitigating Hallucinations in Multimodal Large Language Models
arxiv.org·1d
🧠Neural Compression
Loading...Loading more...
AboutBlogChangelogRoadmap