🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

When is a group not a group?
cameroncounts.wordpress.comΒ·3d
πŸ•ΈοΈGraph Algorithms
The Data Room App (thedataroom.app)
djpardis.medium.comΒ·2hΒ·
Discuss: Hacker News
πŸš€Indie Hacking
You Can't Buy Integration (2021)
martinfowler.comΒ·2dΒ·
Discuss: Hacker News
⚑SMT Integration
This Number System Beats Binary, But Most Computers Can't Use It
scientificamerican.comΒ·2dΒ·
Discuss: Hacker News
🎯Arithmetic Coding Theory
Show HN: Tips for getting great Text2Cypher outputs from LLMs for Graph RAG
blog.kuzudb.comΒ·2dΒ·
Discuss: Hacker News
πŸ•ΈοΈNeo4j
The borrowchecker is what I like the least about Rust
viralinstruction.comΒ·23h
πŸ¦€Rust Borrowing
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.comΒ·4dΒ·
Discuss: Hacker News
πŸ”—Concatenative Programming
Show HN: Open-source project that use LLM as deception system
news.ycombinator.comΒ·1dΒ·
Discuss: Hacker News
πŸ•΅οΈVector Smuggling
Persona-Based Synthetic Data Generation Using Multi-Stage Conditioning with Large Language Models for Emotion Recognition
arxiv.orgΒ·5h
βš™οΈCompression Benchmarking
Graph-Structured Data Analysis of Component Failure in Autonomous Cargo Ships Based on Feature Fusion
arxiv.orgΒ·5h
🧠Machine Learning
Python Fundamentals: case
dev.toΒ·3dΒ·
Discuss: DEV
βœ…Format Verification
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.orgΒ·4d
πŸ”Quantum Security
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.comΒ·3dΒ·
Discuss: Hacker News
πŸ’»Local LLMs
How to handle people dismissing io_uring as insecure?
github.comΒ·3hΒ·
Discuss: Hacker News
πŸ”©Systems Programming
Vibe coding complex changes in Rust
youtube.comΒ·2d
πŸ¦€Rust Macros
Gain a Better Understanding of Computer Vision: Dynamic SOLO (SOLOv2) with TensorFlow
towardsdatascience.comΒ·2d
πŸ“ŠLearned Metrics
πŸš€ AI-Powered README Generator – Automatically Write Beautiful READMEs with Gemini + LangChain
dev.toΒ·58mΒ·
Discuss: DEV
πŸ€–Archive Automation
The Better Patent Search Tool You've Been Waiting For
dev.toΒ·1hΒ·
Discuss: DEV
πŸ”¬Academic Search
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.orgΒ·4d
πŸ“Linear Logic
Some notes on project management
andrewpwheeler.comΒ·14hΒ·
Discuss: Hacker News
πŸ“Code Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap