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

Advent of Code: 500 Stars
elly.town·5d
🔗Topological Sorting
Go Language: Productivity for Software Engineering
udhos.github.io·17h
📏Code Metrics
Social Web Foundation Is Betting Big on Client-to-Server API
wedistribute.org·4h·
Discuss: Hacker News
📰Feed Readers
The Gabian History of Mathematics
cognition.cafe·3d·
Discuss: Hacker News
🔬Lean
Smart saucepans, steam drawers and outdoor kitchens
heise.de·43m
🧮Algorithmic Cooking
Should you use AsyncLocalStorage? (2023)
eytanmanor.medium.com·3d·
Discuss: Hacker News
📲syncthing
Using Claude Code SDK to Reduce E2E Test Time by 84%
jampauchoa.substack.com·2h·
Discuss: Substack
🐛Fuzzing
System design for assigning roles to users, simplified RBAC authorization
reddit.com·1d·
Discuss: r/golang
🔒WASM Capabilities
Are LLMs better suited for PR reviews than full codebases?
news.ycombinator.com·1d·
Discuss: Hacker News
📏Code Metrics
Violent clashes break out at London protest in support of Palestine Action
the-independent.com·4h
🚀SIMD Text Processing
Django-Clickify: The Complete Click Tracking Solution for Django
dev.to·4h·
Discuss: DEV
🔃Feed Algorithms
How to Set Up a Jenkins CI/CD Pipeline (Step-by-Step Guide)
dev.to·15h·
Discuss: DEV
🔄Reproducible Builds
Semantic Parsing for Question Answering over Knowledge Graphs
arxiv.org·3d
🧮Prolog Parsing
Can LLMs Lie? Investigation beyond Hallucination
arxiv.org·2d
💻Local LLMs
Loong: Synthesize Long Chain-of-Thoughts at Scale through Verifiers
arxiv.org·2d
👑Coq Tactics
Autonomation, Not Automation: Activities and Needs of European Fact-checkers as a Basis for Designing Human-Centered AI Systems
arxiv.org·1d
⚡Proof Automation
Vehicle-to-Infrastructure Collaborative Spatial Perception via Multimodal Large Language Models
arxiv.org·1d
⧗Information Bottleneck
Automated Identification of Allosteric Modulation Sites in Protein Interaction Networks via Graph Neural Networks
dev.to·1d·
Discuss: DEV
⚙️ABNF Mining
Agent Builder and Runtime by Docker Engineering
github.com·2d·
Discuss: DEV, Hacker News
📦Container Security
Mitochondrial Heteroplasmy Dynamics and Inheritance: A Bayesian Network Approach to Predicting Male Transmission Rates
dev.to·17h·
Discuss: DEV
🧬Bitstream Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap