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

Automated Reasoning, Tactic Languages, Resolution, Unification

Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·3d
🌳Archive Merkle Trees
Where does value accrue beyond Open AI?
collabfund.com·1h
🧭Content Discovery
I couldn't find a job, so I built an open source project
zhakhan.com·3h·
Discuss: Hacker News
🔓Open Source Software
Secure Code Warrior Defines Security Rules for AI Coding
devops.com·18h
⚡Proof Automation
1Password
corrode.dev·1d
🦀Rust Borrowing
Show HN: Empromptu.ai – Agentic AI Building AI Apps
news.ycombinator.com·2h·
Discuss: Hacker News
🌀Brotli Internals
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·2d·
Discuss: Hacker News
🔗Constraint Handling
How I Built a Smarter ZIP Engine with AI: My Day 9 & 10 Journey (Pagonic Project)
dev.to·17h·
Discuss: DEV
👁️Observatory Systems
Advancements in Computer Science Learning: A Synthesis of Recent Research in AI and Machine Learning
dev.to·5h·
Discuss: DEV
🧠Machine Learning
IDGraphs: Intrusion Detection and Analysis Using Stream Compositing
arxiv.org·10h
🦠Malware Analysis
Developing AI-Powered Applications with LLMs on Google Cloud
dev.to·2h·
Discuss: DEV
🎙️Whisper
⚙️ Scalable and Ordered Queueable Execution from Triggers in Salesforce
dev.to·11h·
Discuss: DEV
🌊Stream Processing
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.org·1d
🔲Cellular Automata
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·1d
💻Local LLMs
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·1d
⚡Incremental Computation
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·1d
🧠Intelligence Compression
5 Ways to Automate Security and Compliance in a Cloud-First World
hackernoon.com·1d
🔓Hacking
Exploring High Efficiency Web Analysis Results(1750876031390300)
dev.to·1d·
Discuss: DEV
🌊Stream Processing
SMOTE or Synthetic Data for Handling Class Imbalance? I Wrote About It on ThinkML
dev.to·10h·
Discuss: DEV
💧Liquid Types
Flame Graph Performance Truth Analysis(1750918443851900)
dev.to·1d·
Discuss: DEV
⚡Performance Tools
Loading...Loading more...
AboutBlogChangelogRoadmap