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

writing across time
beckton.bearblog.dev·8h
🧮Programming Language Theory
Using app.build to Create Production-Ready Laravel Apps
neon.com·19h
🦀Rust
Coalton Playground: Type-Safe Lisp in the Browser
abacusnoir.com·2d·
Discuss: Lobsters, Hacker News
📝Lisp
Mbodi AI (YC X25) Is Hiring a Founding Research Engineer (Robotics)
ycombinator.com·2d·
Discuss: Hacker News
🤖Sci-Fi
Morning web weaving
jamesg.blog·3h
📦WebAssembly
This researcher turned OpenAI’s open weights model gpt-oss-20b into a non-reasoning ‘base’ model with less alignment, more freedom
venturebeat.com·17h
🎲Probabilistic Programming
Problem in atmega328p mini project
reddit.com·21h·
Discuss: r/embedded
🔧Compiler Design
Create your own Shader Challenges on Shader Learning!
dev.to·5h·
Discuss: DEV
🔧Compiler Design
Streamlining Functional Verification for Multi-Die and Chiplet Designs
semiwiki.com·1d
🏗Computer Architecture
Making the Programming Language "Nyash" with an AI Partner
dev.to·1d·
Discuss: DEV
🦀Rust
AI Agents for Legal: Implementing Complex Document Search and Reasoning Agent
pub.towardsai.net·4d
🔧Compiler Design
Id like to learn more things
reddit.com·3h·
Discuss: r/webdev
🦀Rust
G.G Requestz - It's almost like Overseer but for Games! [FIXED]
reddit.com·8h·
Discuss: r/selfhosted
💾Retrocomputing
ManagedCode.Communication – a complete Result Pattern project for .NET
github.com·3d·
Discuss: Hacker News
📦WebAssembly
Memory Architects - Chapter 3: The Third Thing
dev.to·23h·
Discuss: DEV
📊Information Theory
Yet another algorithmic bias: A Discursive Analysis of Large Language Models Reinforcing Dominant Discourses on Gender and Race
arxiv.org·1d
🧮Programming Language Theory
A letter to Kyle Fish on the Retirement of Claude 3 Sonnet
lesswrong.com·1d
🤝Protocol Design
A Technical Deep-Dive for the Security-Conscious
dev.to·2d·
Discuss: DEV
🤝Protocol Design
"Artificial Intelligence for Business Growth"
dev.to·23h·
Discuss: DEV
🤖Sci-Fi
MCP Elicitation: Human-in-the-Loop for MCP Servers
dev.to·1d·
Discuss: DEV
🤝Protocol Design
Loading...Loading more...
AboutBlogChangelogRoadmap