🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

Best Open-Source Embedding Models Benchmarked and Ranked
supermemory.ai·2h·
Discuss: Hacker News
⚙️Compression Benchmarking
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·3d·
Discuss: Hacker News
💻Local LLMs
What LLMs Know About Their Users
schneier.com·2d·
Discuss: Hacker News
💻Local LLMs
[D] Alarming amount of schizoid people being validated by LLMs, anyone else experienced this?
reddit.com·1d·
Discuss: r/MachineLearning
🎯Gradual Typing
How to Learn AI for Data Analytics in 2025
kdnuggets.com·7h
🤖Archive Automation
Passwordless Auth: a JSON-Based Approach for modern authentication w/ SSSD & GNOME - DevConf.CZ 2025
youtube.com·1d
🔓Password Cracking
Keylime: Pushing the Boundaries of Remote Attestation on the Edge - DevConf.CZ 2025
youtube.com·1d
🔒Hardware Attestation
CovDocker: Benchmarking Covalent Drug Design with Tasks, Datasets, and Solutions
arxiv.org·15h
🔍BitFunnel
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·1d
✅Format Verification
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·3d
📏Linear Logic
How Keploy Transformed My API Testing Experience During Their Fellowship Program
dev.to·14h·
Discuss: DEV
🔍Concolic Testing
LLMs, Data Dysphoria, and the Global Regulatory Response
hackernoon.com·4d
💻Local LLMs
ECCoT: A Framework for Enhancing Effective Cognition via Chain of Thought in Large Language Model
arxiv.org·2d
📐Format Grammars
Beyond Static Models: Hypernetworks for Adaptive and Generalizable Forecasting in Complex Parametric Dynamical Systems
arxiv.org·2d
📈Time Series
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·1d
🧠Intelligence Compression
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.org·1d
📊Quantization
Supervised Machine Learning: Concepts I Finally Understand
dev.to·7h·
Discuss: DEV
🧠Machine Learning
MCP Security Vulnerabilities and Attack Vectors
dev.to·2h·
Discuss: DEV
🔐CBOR
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·2d·
Discuss: DEV
🤖Lisp Machines
Confucius3-Math: A Lightweight High-Performance Reasoning LLM for Chinese K-12 Mathematics Learning
arxiv.org·3d·
Discuss: r/LocalLLaMA
🧮SMT Solvers
Loading...Loading more...
AboutBlogChangelogRoadmap