🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
λ Lambda Formalization

Type Theory Resources, Programming Language Theory, Formal Systems, Beginner Guides

STH Weekly Newsletters You Want to Subscribe in Q3 2025
servethehome.com·16h
📰Feed Readers
Double Maths First Thing: Issue 34
aperiodical.com·4d
⚙️Proof Engineering
The world has a running Rational R1000/400 computer again (2019)
datamuseum.dk·16h·
Discuss: Hacker News
🔌Operating system internals
2025 AI Darwin Award Nominees – Worst AI Failures of the Year
aidarwinawards.org·10h·
Discuss: Hacker News
🌍Cultural Algorithms
TechBeamers Python: Python Memory Tricks: Optimize Your Code for Efficiency in 2025
techbeamers.com·1d
🧠Memory Allocators
Ask HN: When it's too much observability?
news.ycombinator.com·4h·
Discuss: Hacker News
👁️System Observability
We Hacked Burger King: How Auth Bypass Led to Drive-Thru Audio Surveillance
bobdahacker.com·1d·
Discuss: Hacker News
🏺Kerberos Archaeology
Reactive algorithms: How Angular took the right path
medium.com·3d·
Discuss: Hacker News
🌊Stream Processing
Implementing the Caesar Cipher in Python
towardsdatascience.com·4d
🔐Cryptographic Archaeology
Hackers Assemble 2: The Saga Completes
infosecwriteups.com·5h
📟Terminal Forensics
Boosting Your Anomaly Detection With LLMs
towardsdatascience.com·3d
💻Local LLMs
Rethinking LLM-Powered Apps: Ditching Tool Overload for Smarter Query Abstraction
dev.to·4d·
Discuss: DEV
🧩WASM Components
ANNIE: Be Careful of Your Robots
arxiv.org·3d
🔲Cellular Automata
A Topology of Cognition
dev.to·4d·
Discuss: DEV
🧮Kolmogorov Complexity
Designing Effective AI Explanations for Misinformation Detection: A Comparative Study of Content, Social, and Combined Explanations
arxiv.org·2d
🤖AI Curation
DetectPack Forge: Natural-Language to Sigma/KQL/SPL
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Multimodal Proposal for an AI-Based Tool to Increase Cross-Assessment of Messages
arxiv.org·2d
🎙️Whisper
Gonk - Finished Project MVP
dev.to·3d·
Discuss: DEV
⚡gRPC
Set up your own personal AI Frankenstack: DIY edition
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Building a News and Stock Assistant with LangGraph and Chainlit
dev.to·6d·
Discuss: DEV
🎙️Whisper
Loading...Loading more...
AboutBlogChangelogRoadmap