🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔠 Type-Level Programming

Dependent Haskell, GADTs, Type Families, Kind System

Choosing a Digital Asset Management System: The Final Decision
weareavp.com·1d
🔄Format Migration
I Built My Own ePub Media Overlay Editor
andreklein.net·23h·
Discuss: Hacker News
🎼Audio Paleography
Worth seven times more on the stock market: open source pays off
heise.de·2d
🔓Open Source Software
AI Influence Level (Ail) v1.0
danielmiessler.com·1d·
Discuss: Hacker News
🤖AI Curation
How MCP-UI Powers Shopify’s New Commerce Widgets in Agents
thenewstack.io·23h
🖥️Modern Terminals
Patches Posted To Allow Writing USB Rust Drivers For Linux
phoronix.com·1d·
Discuss: Hacker News
🦀Embedded Rust
Grok: Thousands LOC a day in C is a big deal even if the "coder" uses LLM?
news.ycombinator.com·2d·
Discuss: Hacker News
📏Code Metrics
Rate and noise in human amygdala drive increased exploration in aversive learning
nature.com·1d
🔲Cellular Automata
UMATO: Bridging Local and Global Structures for Reliable Visual Analytics with Dimensionality Reduction
arxiv.org·3d
🌀Differential Geometry
Automated Multi-label Classification of Eleven Retinal Diseases: A Benchmark of Modern Architectures and a Meta-Ensemble on a Large Synthetic Dataset
arxiv.org·3d
🧠Machine Learning
Show HN: I made a WASI orchestration prototype
github.com·3d·
Discuss: Hacker News
🌐WASI
Improving Interpretability in Alzheimer's Prediction via Joint Learning of ADAS-Cog Scores
arxiv.org·2d
📊Learned Metrics
Do Multimodal LLMs See Sentiment?
arxiv.org·2d
🤖Advanced OCR
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·6d·
Discuss: Hacker News
⚡Dependent Rust
Stability Optimization and Analysis of Energy Flow Networks versus Different Centrality Measurement
arxiv.org·2d
🤝Consensus Algorithms
Hazardous science that helps to save and improve lives needs more support
nature.com·1d
🧊Arctic Storage
Automated Semantic Disambiguation via Multi-Modal Knowledge Graph Fusion
dev.to·4d·
Discuss: DEV
✓Automated Theorem Proving
Why “One Prompt Workspaces” Could Be the Next Productivity Shift
dev.to·11h·
Discuss: DEV
🌱Personal Wikis
Automate the Testing of Your LLM Prompts
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Transforming Digital Reliability Through Quality Engineering Services
dev.to·12h·
Discuss: DEV
🔗Supply Chain
Loading...Loading more...
AboutBlogChangelogRoadmap