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

Jonathan Ree: The Analytic Ideology
newleftreview.org·8h
🏛️Philosophy
Pre-modern art and metadata: a sticky situation
tinysubversions.com·8h
💿FLAC Archaeology
Objects of Art and Virtue
theparisreview.org·1d
🧲Magnetic Philosophy
Computing simplified coverage polygons
volkerkrause.eu·17h·
Discuss: Lobsters, Hacker News
📊Computational Geometry
EThe Akai Script: Future of the Nenzit Languages
viewsproject.wordpress.com·8h·
Discuss: Hacker News
🇯🇵Japanese Computing
GPT-5 Made SEO Irreplaceable
dejan.ai·1d·
Discuss: Hacker News
🌀Brotli Internals
Environments Hub: A Community Hub to Scale RL to Open AGI
primeintellect.ai·2d·
Discuss: Hacker News
🔓Open Source Software
Do I not like Ruby anymore? (2024)
sgt.hootr.club·4d·
Discuss: Hacker News, r/programming
🎯Gradual Typing
Why JSON Prompts Are the Future of AI Automation
peerlist.io·2d·
Discuss: Hacker News
⚡Proof Automation
[D] How do we make browser-based AI agents more reliable?
reddit.com·1d·
Discuss: r/MachineLearning
🔗Hypermedia APIs
Show HN: HTML-to-docx – generate word docs from HTML (MIT Licensed)
github.com·3d·
Discuss: Hacker News
🖋Typography
Should LLMs be WEIRD? Exploring WEIRDness and Human Rights in Large Language Models
arxiv.org·2d
💻Local LLMs
Training with Explanations Alone: A New Paradigm to Prevent Shortcut Learning
arxiv.org·2d
📊Learned Metrics
So… you wanna build with LLMs?
dev.to·2d·
Discuss: DEV
💧Liquid Types
Dynamics-Aligned Latent Imagination in Contextual World Models for Zero-Shot Generalization
arxiv.org·1d
📊Learned Metrics
Python, JavaScript, TypeScript? My no-BS guide to picking a language that lasts
dev.to·2d·
Discuss: DEV
🔄Language Evolution
JSON Prompting: Why Structured Communication with AI Gets Better Results
dev.to·1d·
Discuss: DEV
🔗Hypermedia APIs
Thoughts on AI, Intelligence, and Knowledge
kudmitry.com·1d·
Discuss: Hacker News
⚖️Emulation Ethics
Optimizing Substrate Composition Through Bayesian Optimization for Enhanced Ganoderma Lucidum Mycelial Biomass Production
dev.to·6h·
Discuss: DEV
☕Precision Brewing
Validating Generative Agent-Based Models for Logistics and Supply Chain Management Research
arxiv.org·1d
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap