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

A polar week
blog.mitrichev.ch·3d·
Discuss: blog.mitrichev.ch
🕸️Graph Algorithms
Over 10% of Google AI Overviews now cite AI-generated content
techspot.com·3h
🤖AI Curation
Silentype Font v2.0 Released – the europlus zone
blog.europlus.zone·3h·
Discuss: Hacker News
🔤Font Archaeology
Sphinx Translation Tutorial: Localize Your Docs Like a Pro
documatt.com·3d·
Discuss: Hacker News
📜Manuscript Workflows
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·5d·
Discuss: Lobsters, Hacker News, r/programming
🏛️Agda
William James at CERN (1995)
bactra.org·2d·
Discuss: Hacker News
📐Mathematical Art
Show HN: Training an LLM to Play Wordle with RL on Apple Silicon
charbull.github.io·5d·
Discuss: Hacker News
💻Local LLMs
Go Coding with Asparagos: Coconuts Never Roll Alone
dev.to·4d·
Discuss: DEV
λLambda Encodings
AWS Elastic Load Balancer (ELB) – Beginner’s Guide
dev.to·8h·
Discuss: DEV
🛡️eBPF Security
Just One More Prompt
commandpattern.org·3d·
Discuss: Hacker News
⚡Proof Automation
How AI is Revolutionizing SQL Server Documentation
dev.to·9h·
Discuss: DEV
🗄️Database Internals
Connect with Visionaries 🌐: InfiniteSuite Awaits! Click to Join the Journey of Innovation 🚀
dev.to·9h·
Discuss: DEV
🔍BitFunnel
How to Choose an AI App Development Company?
dev.to·4h·
Discuss: DEV
🤖AI Curation
TableZoomer: A Collaborative Agent Framework for Large-scale Table Question Answering
arxiv.org·5d
🔗Parser Combinators
Automated Task Allocation & Dynamic Skill Assignment in Disaster Relief Robotics
dev.to·3h·
Discuss: DEV
🔲Cellular Automata
Autonomous Artifact Classification in Gigapixel Pathology Slides via Hyperdimensional Feature Mapping
dev.to·2d·
Discuss: DEV
📄Document Digitization
Scalable Multimodal Data Fusion for High-Throughput Metamaterial Design Optimization
dev.to·1d·
Discuss: DEV
🏛Digital humanities
Security Affairs newsletter Round 540 by Pierluigi Paganini – INTERNATIONAL EDITION
securityaffairs.com·21h
🔓Hacking
Decoding the Wild: Can AI Understand Animal Languages?
dev.to·3d·
Discuss: DEV
🎙️Whisper
Quality vs. Efficacy: Learning with AI
dev.to·3d·
Discuss: DEV
🧠Intelligence Compression
Loading...Loading more...
AboutBlogChangelogRoadmap