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

Using AI In Personal Communication Makes Us All Less Human
allsides.com·1h
🤖Sci-Fi
Developer Archetypes
managing-ai.bearblog.dev·2d
🏗️Software Architecture
Signal Relays
pzuraq.com·3d·
Discuss: Hacker News
⚙Functional Programming
WhatsApp grupa za strane radnike/ WhatsApp group for foreign workers
radnickaprava.org·1d·
Discuss: r/croatia
🧫Cellular Automata
What Would Plato, Socrates, and Seneca Say About AI Today?
mindthenerd.com·1d·
Discuss: Hacker News
🤖Sci-Fi
The Prompt to Make AI Write Like a Human
jsdev.space·3d·
Discuss: Hacker News
🤖Sci-Fi
Passing the Blaugust halfway mark 🏆✍️
gobino.be·3d
🔢Mathematical Logic
You can run GGUFs with Lemonade straight from Hugging Face now
reddit.com·1h·
Discuss: r/LocalLLaMA
👐Open Source Software
A lightweight and intelligent cross-platform Markdown editor – MarkFlowy
github.com·1d·
Discuss: Hacker News
👐Open Source Software
Combining Claude Code with GitHub Actions and Pull Requests to Scale AI Coding
aiengineering.report·2d·
Discuss: Hacker News
🦀Rust
Reddit - anyone do a diy photobooth?
reddit.com·1d·
Discuss: r/photobooth
💻Operating Systems
It took only 3 years to build my portfolio
reddit.com·1d·
Discuss: r/reactjs
🔗Parser Combinators
I started Aria: a lightweight, event-driven WebSocket framework for Go (feedback welcome!)
reddit.com·1d·
Discuss: r/golang
🔌Network Programming
Deep Dive: OpenAI's GPT-OSS
dev.to·2d·
Discuss: DEV
🔗Parser Combinators
Automated Biomarker Discovery and Stratification for Pediatric Neuroblastoma via Multi-Modal Integrated Analysis
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Enhance AI agents using predictive ML models with Amazon SageMaker AI and Model Context Protocol (MCP)
aws.amazon.com·4d·
Discuss: Hacker News
⚖️Logic Programming
CoFE: A Framework Generating Counterfactual ECG for Explainable Cardiac AI-Diagnostics
arxiv.org·13h
🎲Probabilistic Programming
I'm Building a Beautiful, Aesthetic, Free and Open-source Platform for Learning Japanese!
reddit.com·1d·
Discuss: r/webdev
👐Open Source Software
🚨BREAKING: I found “Human Mode” for AI writing.
threadreaderapp.com·1d
🧫Cellular Automata
Maliciously Goading AI To Give Bad Mental Health Advice And Spur Psychological Dangers
forbes.com·10h
🤖Sci-Fi
Loading...Loading more...
AboutBlogChangelogRoadmap