🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧮 Theorem Proving

Automated Reasoning, SMT Solvers, Logic Programming, Isabelle

Brain Busting Apple Interview Puzzle Paths On Grid
mindyourdecisions.com·1d
⚔️Lean Tactics
Multiples and powers mod 1
johndcook.com·11h
🎯Arithmetic Coding Theory
Show HN: Rastion – Autonomous Monitoring Systems
rastion.com·9h·
Discuss: Hacker News
⚙️Batch Processing
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·17h·
Discuss: Hacker News
🏛Digital humanities
A PhD's Apology
cappadokes.github.io·1d·
Discuss: Hacker News
🧮Theoretical Computer Science
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Over 30 AI models have been trained at 10^25 FLOP or greater
epoch.ai·1d·
Discuss: Hacker News
⚡Performance Mythology
A Rust Shaped Hole
mnvr.in·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·2d
✨Effect Handlers
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·1d
🌳Context free grammars
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·2d
🧮Kolmogorov Bounds
Which graph motif parameters count?
arxiv.org·22h
🔗Graph Isomorphism
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·22h
🔍Information Retrieval
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org·1d
💻Local LLMs
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·22h
🤐Secure Multiparty
Redefining Data Operations With Data Flow Programming in CocoIndex
hackernoon.com·14h
🌊Stream Processing
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·1d
🧮Z3 Solver
Sandboxing AI - Extending AI Responsibly
dev.to·2d·
Discuss: DEV
🔒WASM Capabilities
Robust Route Planning for Sidewalk Delivery Robots
arxiv.org·22h
🔗Topological Sorting
GORM Magic: Go Database Made Easy ⚡
dev.to·4h·
Discuss: DEV
⛏️SQL Archaeology
Loading...Loading more...
AboutBlogChangelogRoadmap