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

Show HN: A simple right-angle calculator
mytrigcalculator.com·1d·
Discuss: Hacker News
📐Interval Arithmetic
Bitcoin's Security Budget Issue: Problems, Solutions and Myths Debunked
budget.day·7h·
Discuss: Hacker News
🤝Distributed Consensus
Understanding Network Packet Offsets and Safe Parsing in eBPF
diobr4nd0.github.io·1d·
Discuss: Hacker News
🛡️eBPF Security
Terence Tao: Hardest Problems in Mathematics, Physics and the Future of AI
lexfridman.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Object-Oriented vs Functional: Why Your Ego Needs Refactoring
networkspirits.com·7h·
Discuss: Hacker News, r/programming
🧬Functional Programming
Using Generative AI to Strengthen & Accelerate Learning • Barbara Oakley • GOTO 2024
youtube.com·2d
🔲Cellular Automata
Show HN: Zsh-AI – Natural language to shell commands in your terminal
github.com·2d·
Discuss: Hacker News
⌨️Terminal Customization
ECMAScript 2025 Finalized with Iterator Helpers, Set Methods, RegExp.escape, and More
socket.dev·3d·
Discuss: Hacker News
🎯Gradual Typing
Where to find Grokking in LLM Pretraining? Monitor Memorization-to-Generalization without Test
arxiv.org·3d
🧠Intelligence Compression
Week 1 of Hustle2Grand: Building, Pivoting, and Figuring Stuff Out
dev.to·14h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
🚀 Automating Weekly SLA Reports — A No-Code, Practical Framework
dev.to·1d·
Discuss: DEV
⚡Proof Automation
My Trial by Fire: A Complete Chronicle of Setting Up OSO as a PLDG Cohort-3 Newcomer
dev.to·17h·
Discuss: DEV
🔓Open Source Software
Leetcode 1432. Max Difference You Can Get From Changing an Integer
dev.to·1d·
Discuss: DEV
📐Interval Arithmetic
The Furones Algorithm
dev.to·2d·
Discuss: DEV
🕸️Graph Algorithms
🚀 Automating Python Job Search in India with Runner H: From Web to Google Sheet + Email
dev.to·22h·
Discuss: DEV
🤖AI Translation
AI Personal Finance Manager - Automated Wealth Building & Budget Optimization
dev.to·1d·
Discuss: DEV
🎛️Feed Filtering
🗽 Longest Harmonious Subsequence LeetCode 594 (C++ | JavaScript | Python )
dev.to·5h·
Discuss: DEV
⛪Church Encoding
Unveiling Causal Reasoning in Large Language Models: Reality or Mirage?
arxiv.org·3d
🎯Dependent Parsing
My AI Workflow for Understanding Any Codebase
steipete.me·4d
⚡Proof Automation
Memory Layer For Coding Agents on AI IDEs like Cursor, Windsurf, and more
dev.to·15h·
Discuss: DEV
🌳Incremental Parsing
Loading...Loading more...
AboutBlogChangelogRoadmap