🐿️ 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·22h
🌳Archive Merkle Trees
Running our Docker registry on-prem with Harbor
dev.37signals.com·21h·
Discuss: Hacker News
📦Container Security
Learning PostgreSQL Internals
blog.cleverelephant.ca·9h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Build a Smart Search App with LangChain and PostgreSQL on Google Cloud
blog.devops.dev·2d
🌀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·1d·
Discuss: Hacker News
🦀Rust Macros
My First Automated Post
dev.to·9h·
Discuss: DEV
📡RSS Automation
Bangla-Bayanno: A 52K-Pair Bengali Visual Question Answering Dataset with LLM-Assisted Translation Refinement
arxiv.org·5h
🔍Information Retrieval
Show HN: HTML-to-docx – generate word docs from HTML (MIT Licensed)
github.com·14h·
Discuss: Hacker News
🖋Typography
Building your own CLI Coding Agent with Pydantic-AI
martinfowler.com·21h
⚡Proof Automation
Generative Interfaces for Language Models
arxiv.org·1d
⚙️Parser Generators
Hallucinating with AI: AI Psychosis as Distributed Delusions
arxiv.org·5h
🔍Vector Forensics
Stop “vibe testing” your LLMs. It's time for real evals.
developers.googleblog.com·16h·
Discuss: Hacker News
📏Code Metrics
Everything I Studied to Become a Machine Learning Engineer (No CS Background)
towardsdatascience.com·16h
🧠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·22h·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Should LLMs be WEIRD? Exploring WEIRDness and Human Rights in Large Language Models
arxiv.org·5h
💻Local LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap