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

Fast Tensor Canonicalization in Rust
stephendiehl.com·1d
🕸️Tensor Networks
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·4d·
Discuss: Hacker News
📟Terminal Typography
A composable pattern for pure state machines with effects
gist.github.com·3d·
Discuss: Hacker News
🔄Finite State Machines
How to Write Complex Queries in Apache Spark SQL Using CTE (WITH Clause)
hackernoon.com·1d
🧮Algebraic Datatypes
LLMs and Artists
blog.brokk.ai·3h·
Discuss: Hacker News
💧Liquid Types
This new malware has developed a spooky way to tell AI-based detection methods to ignore it
techradar.com·3d
🦠Malware Analysis
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·5d·
Discuss: Substack
🦀Rust Macros
The AI delegation dilemma
foxhound.systems·2d·
Discuss: Hacker News, r/programming
🗺️Competency Maps
Crafting Real-World Queries: MS MARCO Web Search's Authentic Data
hackernoon.com·1d
🔍BitFunnel
Show HN: Ape – Minimalistic modal text editor written in F#
github.com·1d·
Discuss: Hacker News
🪟Awesome windows command-line
MCP Security Vulnerabilities and Attack Vectors
dev.to·3d·
Discuss: DEV
🔐CBOR
Building A Wallet System - Part 1: Authentication with Apollo Server
dev.to·3d·
Discuss: DEV
🔌Interface Evolution
🚀 StudySherpa: An AI Agent to Organize Notes, Generate Flashcards, and Track Deadlines
dev.to·3d·
Discuss: DEV
📐Proof Assistants
Exploring the change in scientific readability following the release of ChatGPT
arxiv.org·17h
🧠Intelligence Compression
Visual Structures Helps Visual Reasoning: Addressing the Binding Problem in VLMs
arxiv.org·17h
🕸️Algebraic Topology
15 AI Coding Agents evaluated with the same prompt
github.com·3d·
Discuss: Hacker News
📐Proof Assistants
AuthenX by Pangaea X: Skill Verification for Data Freelancers - No Tests, Just Proof
dev.to·10h·
Discuss: DEV
📐Proof Assistants
How AI Helped Me Build a CRM Integration 60% Faster: A Real Vue.js + CouchDB Case Study
dev.to·4d·
Discuss: DEV
🌀Brotli Internals
Exploring High Efficiency Web Analysis Results(1751093604512900)
dev.to·2d·
Discuss: DEV
🌊Stream Processing
How I Made Task Lists Fun Again (with a Hint of World Domination)
dev.to·2d·
Discuss: DEV
🔗Concatenative Languages
Loading...Loading more...
AboutBlogChangelogRoadmap