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

Tactic Languages, Auto Tactics, Proof Search, Hammer Tools

Generating C functions and prototypes using macros – part 2
subethasoftware.com·2d
🦀Rust Macros
Commonly Abused Administrative Utilities: A Hidden Risk to Enterprise Security
blackhillsinfosec.com·1d
🔓LDAP Injection
Answer: Best ways to do just-in-time learning. Part 3: getting a teaching summary with NotebookLM
searchresearch1.blogspot.com·21h·
Discuss: searchresearch1.blogspot.com
🤖Automated Parsing
No, Your Domains and Bounded Contexts Don’t Map 1 on 1
verraes.net·18h
🔢Denotational Semantics
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🦾ARM Assembly
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·3d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Tips for getting the best image generation and editing in the Gemini app
blog.google·2d·
Discuss: Hacker News
🌀Fractal Compression
JavaScript lib for exchanging selective disclosure proofs
github.com·5d·
Discuss: Hacker News
🌳Archive Merkle Trees
Enhanced UAV Path Planning Using the Tangent Intersection Guidance (TIG) Algorithm
arxiv.org·1d
📊Computational Geometry
nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
arxiv.org·2d
🕸️Network Topology
What Makes AI Applications Acceptable or Unacceptable? A Predictive Moral Framework
arxiv.org·14h
🤖AI Curation
Popular Nx Build System NPM Package Compromised with Data Stealing Malware
stepsecurity.io·1d·
Discuss: Hacker News
🔓Open Source Software
Benchmarking GPT-5 vs Claude 4 Sonnet on 200 Requests
dev.to·2d·
Discuss: DEV
⚙️Compression Benchmarking
Tailored Teaching with Balanced Difficulty: Elevating Reasoning in Multimodal Chain-of-Thought via Prompt Curriculum
arxiv.org·1d
🧮Kolmogorov Complexity
LLMs Can't Handle Peer Pressure: Crumbling under Multi-Agent Social Interactions
arxiv.org·1d
🔲Cellular Automata
CLARIFY: A Specialist-Generalist Framework for Accurate and Lightweight Dermatological Visual Question Answering
arxiv.org·1d
🔍Information Retrieval
Building Chrome Dinosaur Game in Pygame (Part 0: Intro & Setup)
dev.to·1d·
Discuss: DEV
🎮Game Decompilation
The AI Bubble: Now With Extra Hype™ - Gamer Edition
dev.to·12h·
Discuss: DEV
🕹️Retro Gaming
Optimizing Hydrogen Production via Dynamic Membrane Reactor Control with Bayesian Optimization
dev.to·10h·
Discuss: DEV
🌀Differential Geometry
Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Models
arxiv.org·3d
🎙️Whisper
Loading...Loading more...
AboutBlogChangelogRoadmap