🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

A critical tech reading list for summer 2025
disconnect.blog·6h
📡RSS Readers
I work in AI, and now I use it for parenting my 5 kids. Shielding them from it would be a mistake.
businessinsider.com·4h
🔲Cellular Automata
There are no new ideas in AI — only new datasets
freethink.com·2d
🧭Content Discovery
Greatest skill a technologist can have is the ability to tell compelling story
kamalsampathkumar.net·20h·
Discuss: Hacker News
🖥️Terminal Renaissance
Metriport (YC S22) is hiring engineers to improve healthcare data exchange
ycombinator.com·1d·
Discuss: Hacker News
🖥️Modern Terminals
Opens sourcing my helpdesk software
krish.website·12h·
Discuss: Hacker News
🔓Open Source Software
ChatGPT could pilot a spacecraft shockingly well, early tests find
tempodeconhecer.blogs.sapo.pt·1d
📟Terminal Physics
Call with Current Continuation (2018)
dmitrykandalov.com·4d·
Discuss: Hacker News
🐚Shell Calculus
Intra: Design notes on an LLM-driven text adventure
ianbicking.org·3d·
Discuss: Hacker News
🔲Cellular Automata
Building a message board for Claude, learning MCP along the way
andrewperkins.com.au·4d·
Discuss: Hacker News
📻Homebrew Protocols
One of the biggest security threats to Apple systems just got a major upgrade - here's what we know
techradar.com·2h
🔓Hacking
Time Space Breakthrough, Ancient Memory Systems & An I-Ching Inspired Hyper-Stack Scheduler
hackernoon.com·1d
⚡Cache Theory
Building AnimeRecBERT: How I Used BERT to Create a Personalized Anime Recommendation System
dev.to·1d·
Discuss: DEV
⚖️Feed Ranking
Establishing Causal Relationship Between Whole Slide Image Predictions and Diagnostic Evidence Subregions in Deep Learning
arxiv.org·11h
🧠Machine Learning
Show HN: I Built a Local-First AI Research Platform with Advanced RAG
news.ycombinator.com·3d·
Discuss: Hacker News
🎙️Whisper
HAProxy and Couchbase Integration
medium.com·1d·
Discuss: Hacker News, r/programming
⚡gRPC
Automate content and social media post idea generation - using Runner-H.
dev.to·1d·
Discuss: DEV
🔃Feed Algorithms
🗣️ Talk to Code: Kickstarting Your NLP Journey with Microsoft AI
dev.to·22h·
Discuss: DEV
🎙️Whisper
Build and Deploy Scalable Technical Architecture a Bit Easier
thenewstack.io·3d
🤝Distributed Consensus
Neural-Network solver of ideal MHD equilibria
arxiv.org·11h
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap