🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧩 Theorem Proving

Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants

25.14 Electromagnetic induction and fields
thinking-about-science.com·4h
🧫Cellular Automata
2D Nurikabe Puzzle Implementation Help
i.redd.it·16h·
Discuss: r/godot
🧫Cellular Automata
Show HN: Metal.graphics – Metal shaders course for SwiftUI
metal.graphics·12h·
Discuss: Hacker News
🔧Compiler Design
Am I being biased about Context compared to Redux?
blog.isquaredsoftware.com·14h·
Discuss: r/reactjs
🏗️Software Architecture
Why Relying on LLMs for Code Can Be a Security Nightmare
blog.himanshuanand.com·1d·
Discuss: Hacker News
🧭SMT Solvers
Mark Cuban Has 2 Words for People Who Don’t Want to Learn AI
inc.com·8h
🔌Network Programming
The one foolproof way managers can help their team achieve more
fastcompany.com·10h
🔌Network Programming
Joint Error Propagation
theorangeduck.com·4d
🎲Probabilistic Programming
Aembit Extends Secretless CI/CD With Credential Lifecycle Management For GitLab
hackernoon.com·1d
🤝Protocol Design
Enhanced Hydroelastic Response Prediction in Marine Structures via Adaptive Finite Element & CFD Coupling
dev.to·4h·
Discuss: DEV
🎲Probabilistic Programming
Need Ideas: Designing an Interactive Website for My Quantum Computing Club
reddit.com·1d·
Discuss: r/webdev
🔧Compiler Design
Research probes AI's role in helping social workers make crucial decisions
phys.org·4h
🎲Probabilistic Programming
Final review before I hit the button.
reddit.com·1d·
Discuss: r/sffpc
💻Operating Systems
Using a local LLM as a privacy filter for GPT-4/5 & other cloud models
reddit.com·18h·
Discuss: r/LocalLLaMA
🧭SMT Solvers
Issues with fine tuning llama 3.1 instruct
reddit.com·1d·
Discuss: r/LLM
🧭SMT Solvers
Vibe Coding Doesn't Replace Tech Skills; It Requires More of Them
pawelbrodzinski.substack.com·1d·
Discuss: Substack
👐Open Source Software
Quiz Maker AI - Document to Quiz Converter
dev.to·1d·
Discuss: DEV
🔧Compiler Design
go-utcp. Universal Tool Calling Protocol
reddit.com·1d·
Discuss: r/golang
🤝Protocol Design
Electricity-hydrogen coupled energy storage bilevel optimization for offshore wind-powered zero‑carbon port microgrids considering multiple uncertainties
sciencedirect.com·4h
🎲Probabilistic Programming
Behind the Magic: How AI Actually Thinks When You Ask It Something
dev.to·3d·
Discuss: DEV
🔗Parser Combinators
Loading...Loading more...
AboutBlogChangelogRoadmap