๐Ÿฟ๏ธ 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

5 to 18: Why Your Count Might Be Off by One
ruslanspivak.comยท1d
๐Ÿ“Interval Arithmetic
Seven Weeks in San Francisco
shloked.comยท12hยท
Discuss: Hacker News
๐Ÿ“ผCassette Culture
Addiction alloys: the cross-promotion of internet compulsions
internettalk.xyzยท12hยท
Discuss: Hacker News
๐Ÿ”BitFunnel
An Analysis of the Impact of Gold Open Access Publications in Computer Science
cacm.acm.orgยท16h
๐Ÿ“ŠCitation Graphs
You can just build things
maxrozen.comยท3dยท
Discuss: Hacker News, r/programming
โš™๏ธBuild Archaeology
[R] azzurra-voice, a new State-of-the-Art Italian Text-to-Speech model
reddit.comยท1dยท
Discuss: r/MachineLearning
๐ŸŽ™๏ธWhisper
Four Remarkable Stories from the History of Math Behind Bars
scientificamerican.comยท20h
๐Ÿ“šArchive Mathematics
What is Data Augmentation in Deep Learning?
dev.toยท2hยท
Discuss: DEV
๐Ÿ‘๏ธOCR Enhancement
The Maintenance Algorithm: A Life Principle We Often Overlook
hackernoon.comยท1d
๐Ÿ’พPersistence Strategies
DiCriTest: Testing Scenario Generation for Decision-Making Agents Considering Diversity and Criticality
arxiv.orgยท3d
๐Ÿ”Concolic Testing
Richard Sutton says the AI industry has "lost its way" by ignoring core principles of intelligence
the-decoder.comยท1d
๐Ÿ”ฒCellular Automata
On Strong and Weak Admissibility in Non-Flat Assumption-Based Argumentation
arxiv.orgยท3d
๐Ÿ”ฒProof Irrelevance
I will show you how to reduce AI hallucination and get the best result from your agent
dev.toยท2dยท
Discuss: DEV
๐Ÿ“žSession Types
VibeTDD Experiment 4.4: Storage Layer Testing and the Never Give Up Problem
dev.toยท2dยท
Discuss: DEV
๐Ÿ’พPersistence Strategies
Agents.md โ€” A New Standard for Coding Agents
dev.toยท15hยท
Discuss: DEV
๐Ÿฆ‹Format Evolution
Prompt-Induced Linguistic Fingerprints for LLM-Generated Fake News Detection
arxiv.orgยท2d
๐ŸงชArchive Fuzzing
Cross-Cultural Negotiation Dynamics: Automated Sentiment-Aware Strategy Optimization via Bayesian Reinforcement Learning
dev.toยท1dยท
Discuss: DEV
๐ŸŒCultural Algorithms
Swarm-in-Blocks: Simplifying Drone Swarm Programming with Block-Based Language
arxiv.orgยท3d
๐ŸคConsensus Protocols
Automated Multi-Modal Protein Expression Analysis via Dynamic Federated Learning
dev.toยท4dยท
Discuss: DEV
๐Ÿ”Vector Forensics
Your Open Source Data Infrastructure Is Ready for Agentic AI
thenewstack.ioยท13h
๐ŸŒŠStreaming Systems
Loading...Loading more...
AboutBlogChangelogRoadmap