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

Log Detective: GSoC 2025 (part 2)
danigm.net·1d
🔓Open Source Software
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·1d
🌳Archive Merkle Trees
Running our Docker registry on-prem with Harbor
dev.37signals.com·1d·
Discuss: Hacker News
📦Container Security
Build a Smart Search App with LangChain and PostgreSQL on Google Cloud
blog.devops.dev·3d
🌀Brotli Dictionary
Introduction to Artificial Neural Networks – Part 1 (2013)
theprojectspot.com·1d·
Discuss: Hacker News
🧠Machine Learning
Reloading classes in python and shared borders
andrewpwheeler.com·2d·
Discuss: Hacker News
🦀Rust Macros
Generative Interfaces for Language Models
arxiv.org·1d
⚙️Parser Generators
Learning PostgreSQL Internals
blog.cleverelephant.ca·12h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Hallucinating with AI: AI Psychosis as Distributed Delusions
arxiv.org·8h
🔍Vector Forensics
Stop “vibe testing” your LLMs. It's time for real evals.
developers.googleblog.com·19h·
Discuss: Hacker News
📏Code Metrics
Everything I Studied to Become a Machine Learning Engineer (No CS Background)
towardsdatascience.com·19h
🧠Machine Learning
Using AI to build an AI Security Product
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Understanding Tool-Integrated Reasoning
arxiv.org·1d
🔗Constraint Handling
8 Tool Tech Stack to Build an Enterprise-Grade RAG System (Without the Headaches)
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
LLMs for Software Developers (notes from my talk at NWRUG)
theartandscienceofruby.com·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Should LLMs be WEIRD? Exploring WEIRDness and Human Rights in Large Language Models
arxiv.org·8h
💻Local LLMs
MathBuddy: A Multimodal System for Affective Math Tutoring
arxiv.org·8h
📊Learned Metrics
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·1d
🧠Intelligence Compression
Design and Analysis of the Tail Sequence for Short LDPC-Coded Space Communications
arxiv.org·8h
🌊Stream Ciphers
Generalizing Monocular 3D Object Detection
arxiv.org·8h
🕳️Persistent Homology
Loading...Loading more...
AboutBlogChangelogRoadmap