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

Complexity Analysis, Algorithm Verification, Formal Bounds, Optimization Theory

A Random Walk in 10 Dimensions (2021)
galileo-unbound.blog·2d·
Discuss: Hacker News
📐Mathematical Art
RoboBallet uses AI to choreograph multiple industrial robots for safe and efficient teamwork
the-decoder.com·4h
🤖Tape Automation
Python Basics for Hackers, Part 04: How to Find the Exact Location of Any IP
hackers-arise.com·1d·
Discuss: Hacker News
🌳Incremental Parsing
How to Vibe Code Effectively
ibrahimahmed.ca·1d·
Discuss: Hacker News
✅Formal Methods
Tracking my Computer Science Relearning Journey
hackernoon.com·2d
💻CS
The Bonfire of the GPUs
stohl.substack.com·1d·
Discuss: Substack
🖥️Terminal Renaissance
Simplify Validation in Golang— No Struct Tags, No Reflection, TypeSafety: Meet GoValidator
dev.to·8h·
Discuss: DEV
✅Format Verification
RoguelikeDev Does the Complete Roguelike Tutorial 2025 in Odin
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
Vortex: An extensible, state of the art columnar file format
github.com·1d·
Discuss: Hacker News
🔗Archive Combinators
Entropy stable finite difference (ESFD) methods via entropy correction artificial viscosity (ECAV) and knapsack limiting (KL) techniques
arxiv.org·4d
📐Compression Bounds
LLMs and their Limited Theory of Mind: Evaluating Mental State Annotations in Situated Dialogue
arxiv.org·2d
🔢Denotational Semantics
A Study on the Framework for Evaluating the Ethics and Trustworthiness of Generative AI
arxiv.org·2d
🔲Cellular Automata
Carolina Codes 2025: My First-Time Speaker Experience
dev.to·2d·
Discuss: DEV
⚙️Proof Engineering
Automated Protocol Synthesis & Validation for Multi-Modal Scientific Data Streams
dev.to·5d·
Discuss: DEV
⚙️Proof Engineering
Automated Prior Art Landscape Analysis via Semantic Graph Traversal and HyperScore Prioritization
dev.to·1d·
Discuss: DEV
🧭Content Discovery
Quantum Sensors, Simplified: AI Autopilot for Circuit Design
dev.to·1d·
Discuss: DEV
⚛️Quantum Circuits
[D] Intel discontinuing SGX forced us to rethink our confidential compute stack for private model training
reddit.com·1d·
Discuss: r/MachineLearning
🖥️Terminal Renaissance
REFRAG: Rethinking RAG based Decoding
arxiv.org·2d
📄Text Chunking
Adaptive Resonance Modeling for Dynamic Power Prediction in Hybrid Electric Vehicle Battery Management Systems
dev.to·14h·
Discuss: DEV
🦾ARM Cortex-M
A Survey on Human-AI Collaboration with Large Foundation Models
arxiv.org·1d
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap