๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐ŸŽฏ Dependent Types

Type-level Programming, Proof-carrying Code, Agda, Type Safety

Book Review โ€” The Garden of Delights by Amal Singh
thomasrigby.comยท16h
๐Ÿ“•Bookbinding
Breaking Bubsy News
feed.tedium.coยท1d
๐Ÿ“กFeed Archaeology
Waveshare ESP32-P4-ETH development board supports Ethernet and PoE
cnx-software.comยท1d
๐Ÿ”ŒSingle Board PC
piyushsachdeva/AzureDevOps-Zero-to-Hero
github.comยท1d
๐Ÿ”„Reproducible Builds
I let LLMs write an Elixir NIF in C; it mostly worked
overbring.comยท5dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
A Better Vocabulary for Testing
alperenkeles.comยท4dยท
Discuss: Lobsters, r/compsci, r/programming
๐Ÿ”Concolic Testing
Ask HN: MCP/API search vs. vector search โ€“ what's winning for you?
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ—‚๏ธVector Search
Models are smart enough, your process isn't
sibylline.devยท2dยท
Discuss: Hacker News
โšกProof Automation
OpenAI CEO Sam Altman shifts focus to GPT-6 after the rocky rollout of GPT-5
the-decoder.comยท14h
๐Ÿค–AI Curation
Philosopherโ€™s Annual for 2024
dailynous.comยท3d
๐Ÿ›๏ธPhilosophy
gpt-oss-120b & gpt-oss-20b Model Card
arxiv.orgยท3d
๐Ÿ“ABNF Extensions
Informative Post-Hoc Explanations Only Exist for Simple Functions
arxiv.orgยท3d
๐ŸงฎKolmogorov Complexity
FractMorph: A Fractional Fourier-Based Multi-Domain Transformer for Deformable Image Registration
arxiv.orgยท2d
๐ŸŒ€Fractal Compression
VFM-Guided Semi-Supervised Detection Transformer for Source-Free Object Detection in Remote Sensing Images
arxiv.orgยท3d
๐Ÿ“ŠLearned Metrics
Automated Multi-Modal Scientific Knowledge Synthesis via Graph-Augmented Bayesian Inference
dev.toยท2dยท
Discuss: DEV
๐Ÿ“ŠCitation Graphs
Oxlint Introduces Type-Aware Linting Preview
socket.devยท2dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Defects4Log: Benchmarking LLMs for Logging Code Defect Detection and Reasoning
arxiv.orgยท3d
๐Ÿ‘๏ธSystem Observability
Energy Efficiency in Robotics Software: A Systematic Literature Review (2020-2024)
arxiv.orgยท2d
๐Ÿ”ฉSystems Programming
Can Multi-modal (reasoning) LLMs detect document manipulation?
arxiv.orgยท3d
๐Ÿค–Advanced OCR
A Generalized Genetic Random Field Method for the Genetic Association Analysis of Sequencing Data
arxiv.orgยท2d
๐Ÿ“ˆMutual Information
Loading...Loading more...
AboutBlogChangelogRoadmap