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

LLMs running locally
markjgsmith.comΒ·3d
πŸŒ€Brotli Internals
btzy/nativefiledialog-extended
github.comΒ·3d
πŸͺŸAwesome windows command-line
Apertus includes many languages that have so far been underrepresented in LLMs
swiss-ai.orgΒ·1dΒ·
Discuss: Hacker News
πŸŽ™οΈWhisper
Macroexpand-Deep 2025 – the first Clojure AI conference
scicloj.github.ioΒ·4dΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Beginners can do things that experts cannot
omarshehata.substack.comΒ·4hΒ·
Discuss: Substack
🌈Color Archaeology
Scripting Is More Fun with Nushell
julianhofer.euΒ·1dΒ·
Discuss: Hacker News
βœ…Shell Verification
Show HN: I Made an ESP32 On-Call Beeper
techsquidtv.comΒ·1dΒ·
Discuss: Hacker News
πŸ“‘Bluetooth Archaeology
Lessons from building an AI data analyst
pedronasc.comΒ·2dΒ·
Discuss: Hacker News
πŸŒ€Brotli Internals
Your LLM-assisted scientific breakthrough probably isn't real
lesswrong.comΒ·1dΒ·
Discuss: Hacker News
🎯Proof Tactics
Vibe-Coding as We Need to Eat Our Own Dog Food
kevinkuipers.substack.comΒ·1dΒ·
Discuss: Substack
πŸŒ€Brotli Internals
DGL-RSIS: Decoupling Global Spatial Context and Local Class Semantics for Training-Free Remote Sensing Image Segmentation
arxiv.orgΒ·15h
πŸŒ€Riemannian Computing
Language-Aware Information Maximization for Transductive Few-Shot CLIP
arxiv.orgΒ·15h
β§—Information Bottleneck
A Study on the Framework for Evaluating the Ethics and Trustworthiness of Generative AI
arxiv.orgΒ·15h
πŸ”²Cellular Automata
The Application of Virtual Environments and Artificial Intelligence in Higher Education: Experimental Findings in Philosophy Teaching
arxiv.orgΒ·15h
πŸ”²Cellular Automata
Show HN: sy_callback.hpp – High-performance, header-only C++11 callback library
github.comΒ·2dΒ·
Discuss: Hacker News
πŸ›‘οΈSecurity Headers
Resting-state fMRI Analysis using Quantum Time-series Transformer
arxiv.orgΒ·15h
πŸ•ΈοΈTensor Networks
I Built an AI That Judges Your Drawings
dev.toΒ·18hΒ·
Discuss: DEV
🌊Streaming Algorithms
There's a gap between AI coding demos and daily reality
github.comΒ·1dΒ·
Discuss: Hacker News
⚑Proof Automation
Using explainable artificial intelligence (XAI) as a diagnostic tool: An application for deducing hydrologic connectivity at watershed scale
arxiv.orgΒ·15h
πŸŒ€Differential Geometry
Day 4: Exploring String Methods in Python
dev.toΒ·2dΒ·
Discuss: DEV
πŸ“Concrete Syntax
Loading...Loading more...
AboutBlogChangelogRoadmap