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

Week 26, 2025
brajeshwar.com·19h
🎬WebCodecs API
Beyond Traditional Threats: The Rise of AI-Driven API Vulnerabilities
lab.wallarm.com·2d
🎯Threat Hunting
Open Source License Obligations Checklists
osadl.org·2h·
Discuss: Hacker News
🔓Open Source Software
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·3d·
Discuss: Hacker News, r/programming
🔗Lisp
Show HN: Neural network digit recognition on a Game Boy
github.com·5h·
Discuss: Hacker News
🎮GameBoy Architecture
Before I Knew It, 10 Debug Batches… My Epic Battle with Claude Code
dev.to·4h·
Discuss: DEV
⚔️Lean Tactics
VxKex-NEXT: Windows 7 API Extensions
github.com·6h·
Discuss: Hacker News
🕸️WASM Archives
OptGM: An Optimized Gate Merging Method to Mitigate NBTI in Digital Circuits
arxiv.org·1d
⚙️Logic Synthesis
Advancements in Computer Science Learning: A Synthesis of Recent Research in AI and Machine Learning
dev.to·1d·
Discuss: DEV
🧠Machine Learning
IDGraphs: Intrusion Detection and Analysis Using Stream Compositing
arxiv.org·1d
🦠Malware Analysis
Developing AI-Powered Applications with LLMs on Google Cloud
dev.to·1d·
Discuss: DEV
🎙️Whisper
I Built an Offline-First AI Copilot for the Terminal – Meet Promptly
dev.to·12h·
Discuss: DEV
🐚Shell Automation
⚙️ Scalable and Ordered Queueable Execution from Triggers in Salesforce
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Show HN: 10x Kubernetes Cluster on Hetzner Cloud
github.com·1d·
Discuss: Hacker News
📦Container Security
HarmonyOS Development: The first article on the application shelf, generating key and certificate request files
dev.to·17h·
Discuss: DEV
🔌Operating system internals
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·2d
💻Local LLMs
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·2d
⚡Incremental Computation
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.org·2d
🔲Cellular Automata
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·2d
🧠Intelligence Compression
MCP for Dummies
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap