🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⬌ Bidirectional Typing

Type Inference, Elaboration, Synthesis, Checking Modes

Notes on an overheard conversation between a prescriptivist and a descriptivist
boston.conman.org·2d
🔍Archive Semantics
LLMs struggle with clinical reasoning and are just matching patterns, study finds
the-decoder.com·14h
💻Local LLMs
Show HN: A Modern Alternative to the Excel Fuzzy Lookup Add-In
getflookup.com·7h·
Discuss: Hacker News
🔍Proximity Search
Sheafification - The optimal path to mathematical mastery
sheafification.com·1d·
Discuss: Hacker News
🕸️Algebraic Topology
things rust shipped without (2015)
graydon2.dreamwidth.org·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Bold Devlog - August Summary - Warnings, LSP & Test
bold-edit.com·2d·
Discuss: r/programming
✅Format Verification
Implementing a Foil Sticker Effect
4rknova.com·8h·
Discuss: Hacker News
📟Terminal Physics
Humans Are Being Hired to Make AI Slop Look Less Sloppy
slashdot.org·1d
📄Document AI
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·17h·
Discuss: Hacker News
🔍Concolic Testing
SOLID Principles In Practice With Python And UML Examples in 2025
hackernoon.com·4d
💧Liquid Types
Quark’s Outlines: Python Immutable Sequences
dev.to·19h·
Discuss: DEV
📝Text Compression
Day 3 Exploring the Wildcard `_` in Python’s Match Statement
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Integrated Haskell Platform (IHP) v1.4.0 released
github.com·18h·
Discuss: Hacker News
❄Nix
Lewis and Clark marked their trail with laxatives
dev.to·13h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
🌟Introducing Art-0-8B: Reasoning the way you want it to with Adaptive Thinking🌟 [R]
reddit.com·2d·
Discuss: r/MachineLearning
🔗Constraint Handling
MyGO: Memory Yielding Generative Offline-consolidation for Lifelong Learning Systems
arxiv.org·22h
🧠Machine Learning
ORCA: ORchestrating Causal Agent
arxiv.org·22h
🤖AI Curation
Can Layer-wise SSL Features Improve Zero-Shot ASR Performance for Children's Speech?
arxiv.org·22h
🎵Audio Formats
Coffi – Foreign function interface library for Clojure
github.com·3d·
Discuss: Hacker News
🧠Lisp Dialects
The use of Claude Code in SciML repos
discourse.julialang.org·2d·
Discuss: Hacker News
📏Code Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap