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

Seven Changes That Finally Helped Me Stick to My Home Fitness Routine
lifehacker.com·7h
🏠Personal Archives
ELIZA
brajeshwar.com·1d
🇯🇵Japanese Computing
From building ships to shipping builds: how to succeed in making a career switch to software development
ounapuu.ee·1h
📏Code Metrics
Summary of reading: April - June 2025
eli.thegreenplace.net·3h
📡Information theory
Brent Yorgey: Competitive programming in Haskell: prefix sums
byorgey.github.io·4d
🔤Type Theory
Amateurs Talk Algorithms, Professionals Talk Data Cleaning
progressandpoverty.substack.com·10h·
Discuss: Substack
🧬PostgreSQL Forensics
Joining Noetik
owlposting.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
AlynxZhou/showmethekey
github.com·20h
⌨️Terminal Customization
There Are No New Ideas in AI Only New Datasets
blog.jxmo.io·14h·
Discuss: Hacker News
🧠Intelligence Compression
Show HN: Anagnorisis. A Vision for Better Information Management
medium.com·21h·
Discuss: Hacker News
🎛️Feed Filtering
Automated Defect Identification and Categorization in NDE 4.0 with the Application of Artificial Intelligence
arxiv.org·53m
🌀Differential Geometry
Unveiling Causal Reasoning in Large Language Models: Reality or Mirage?
arxiv.org·4d
🎯Dependent Parsing
Ctrl+Shift+M: The Keyboard Shortcut That 10x'd My AI Productivity🧑‍💻
dev.to·15h·
Discuss: DEV
🪟Awesome windows command-line
Building a Scalable Fan Out Architecture on AWS with SNS and SQS
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Large Language Model Deployment Tools You Need to Know in 2025
medium.com·1d·
Discuss: Hacker News
🏠Homelab Orchestration
Prediction Gaps as Pathways to Explanation: Rethinking Educational Outcomes through Differences in Model Performance
arxiv.org·53m
🧪Data science
SeaOS: Web3 as the Foundation for AI, Not Just an AI Tool
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
SoMi-ToM: Evaluating Multi-Perspective Theory of Mind in Embodied Social Interactions
arxiv.org·53m
🔲Cellular Automata
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols(1751072274118800)
dev.to·3d·
Discuss: DEV
🌐Network Protocols
The Societal Impact of Foundation Models: Advancing Evidence-based AI Policy
arxiv.org·53m
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap