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

Test whether a large integer is a square
johndcook.com·17h
📐Interval Arithmetic
Combinatorial Explosion of Versions 5 Years Later
worklifenotes.com·1h·
Discuss: Hacker News
🦋Format Evolution
Slightly better named character reference tokenization than Chrome, Safari, and Firefox
ryanliptak.com·1d·
Discuss: Lobsters, Hacker News
🌳Trie Structures
The Cost of AI-Generated Code: Detection vs. Remediation
rsolv.dev·1d·
Discuss: Hacker News
📏Code Metrics
How Questions Build Software
akdev.blog·5h·
Discuss: Hacker News
🔍Concolic Testing
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·3d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Here is a creative heading for the blog post: "The Phantom Hackers: Unmasking the Invisible Foes of
dev.to·1d·
Discuss: DEV
🛡Cybersecurity
[$] Supporting kernel development with large language models
lwn.net·1d
💻Local LLMs
From Dev Blog to AI Discovery – How to Rank Your Content in Generative Search
dev.to·1d·
Discuss: DEV
📊Feed Optimization
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·1d
✅Format Verification
Ecma International approves ECMAScript 2025: What’s new?
2ality.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols(1750952117902400)
dev.to·1d·
Discuss: DEV
🌐Network Protocols
Advancements in Computer Science Learning: A Synthesis of Recent Research in AI and Machine Learning
dev.to·9h·
Discuss: DEV
🧠Machine Learning
IDGraphs: Intrusion Detection and Analysis Using Stream Compositing
arxiv.org·14h
🦠Malware Analysis
Developing AI-Powered Applications with LLMs on Google Cloud
dev.to·6h·
Discuss: DEV
🎙️Whisper
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Complexity
⚙️ Scalable and Ordered Queueable Execution from Triggers in Salesforce
dev.to·15h·
Discuss: DEV
🌊Stream Processing
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·1d
⚡Incremental Computation
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·1d
💻Local LLMs
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.org·1d
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap