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

Embodiment and the (Re)invention of Emoji, from the Aztecs to Humboldt and Darwin to AI
themarginalian.org·9h
🌍Cultural Algorithms
Introducing Our New Game
nytimes.com·12h
🔍Polish Cryptanalysis
Issue 724
iosdevweekly.com·3d
🔌Interface Evolution
Stop Guessing and Start GOing: Cleaner Golang Decompilation in IDA 9.2
hex-rays.com·3d
🔧Binary Parsers
Show HN: A Simple Demonstration of PassKeys in iOS
littlegreenviper.com·10h·
Discuss: Hacker News
🔐PAKE Protocols
FreeBSD Status Report Second Quarter 2025
freebsd.org·15h·
Discuss: Lobsters, Hacker News
🐡OpenBSD
What Is Algebra? (2011)
profkeithdevlin.org·6h·
Discuss: Hacker News
📐Document Algebra
[P] Why didn’t semantic item profiles help my GCN recommender model?
reddit.com·20h·
Discuss: r/MachineLearning
🧮Vector Embeddings
The codewhisperer-for-command-line-companion extension is automatically installed in VS Code
dev.to·11h·
Discuss: DEV
❄️Nix Adoption
Unsupervised Machine Learning
dev.to·7h·
Discuss: DEV
🧠Machine Learning
Pushing Blocks without Fixed Blocks via Checkable Gizmos: Push-1 is PSPACE-Complete
arxiv.org·3d
🧮SMT Solvers
RankGap: Multi-Agent Amazon SEO & Product Visibility Analyzer
dev.to·18h·
Discuss: DEV
🔃Feed Algorithms
Enhanced Life Cycle Assessment via AI-Driven Materials Substitution Optimization
dev.to·1d·
Discuss: DEV
💰Preservation Economics
PromptSleuth: Detecting Prompt Injection via Semantic Intent Invariance
arxiv.org·2d
🔒Language-based security
[P] Implemented GRPO on top of Karpathy's makemore
reddit.com·4d·
Discuss: r/MachineLearning
🧮SMT Solvers
JSONB vs JSON: the Postgres/MySQL showdown that actually matters
dev.to·2d·
Discuss: DEV
🌊Streaming Databases
How Amazon Finance built an AI assistant using Amazon Bedrock and Amazon Kendra to support analysts for data discovery and business insights
aws.amazon.com·3d
🤖AI Curation
Using Agents for Business Development
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Solving Parenting Pain Points with Generative AI — A Potty-Training Support Device Built with Kiro and M5Stack
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Benchmarking compression programs
maskray.me·18h
📦Deflate
Loading...Loading more...
AboutBlogChangelogRoadmap