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

Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification

Book Review: Developing Talent in Young People by Benjamin Bloom
justinmath.com·2d·
Discuss: Hacker News
🔲Cellular Automata
The Guide to the Foundation Models Framework
azamsharp.com·3d·
Discuss: Hacker News
λLambda Formalization
Slightly better named character reference tokenization than Chrome, Safari, and Firefox
ryanliptak.com·3d·
Discuss: Lobsters, Hacker News
🌳Trie Structures
Inside the vLLM Inference Server: From Prompt to Response
thenewstack.io·1d
💻Local LLMs
Against AI: An Open Letter from Writers to Publishers
lithub.com·7h·
Discuss: Hacker News
⚖️Emulation Ethics
[R] LSTM or Transformer as "malware packer"
reddit.com·8h·
Discuss: r/MachineLearning
🔍BitFunnel
chaotic_job: Resilience test helpers for Active Job
github.com·2d·
Discuss: Hacker News
🔍Concolic Testing
Passwordless Auth: a JSON-Based Approach for modern authentication w/ SSSD & GNOME - DevConf.CZ 2025
youtube.com·3d
🔓Password Cracking
Rust in the Linux kernel: part 2
lwn.net·1d·
Discuss: Hacker News, r/programming
🦀Rust Borrowing
pac-man with python, pygame
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
I Built This AI Platform Because School Was Boring and My Brain Deserved Better 😤
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Why MindsDB is the Fastest Way to Build AI Agents Today
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·4d
🔗Topological Sorting
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.org·4d
🎙️Whisper
How AI Is Changing the Game: A Software Engineer’s Perspective
dev.to·21h·
Discuss: DEV
🔄Language Evolution
Almost a third of European businesses don't have a formal, comprehensive AI policy in place amidst surging generative AI use amongst professionals
techradar.com·1d
🧠Intelligence Compression
Show HN: Visualizing method dependencies over classes in C# and TypeScript
github.com·44m·
Discuss: Hacker News
🔗Static Linking
The 20-Minute Daily Review That Tripled My Code Quality (Git Data Proof)
dev.to·1d·
Discuss: DEV
📏Code Metrics
Exploring High Efficiency Web Analysis Results(1751093604512900)
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Mastering Go Modules: Create, Publish, Conquer! 🚀
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
Loading...Loading more...
AboutBlogChangelogRoadmap