๐Ÿฟ๏ธ 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
Addiction alloys: the cross-promotion of internet compulsions
internettalk.xyzยท9hยท
Discuss: Hacker News
๐Ÿ”BitFunnel
Seven Weeks in San Francisco
shloked.comยท9hยท
Discuss: Hacker News
๐Ÿ“ผCassette Culture
Zeno, Bu and Jonni
finta.comยท6hยท
Discuss: Hacker News
๐Ÿ“ฐRSS Archaeology
Why does my regular expression work in X but not in Y?
unix.stackexchange.comยท4hยท
Discuss: Lobsters, Hacker News
๐Ÿ”RegEx Engines
An Analysis of the Impact of Gold Open Access Publications in Computer Science
cacm.acm.orgยท13h
๐Ÿ“Š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ยท17h
๐Ÿ“šArchive Mathematics
The Maintenance Algorithm: A Life Principle We Often Overlook
hackernoon.comยท21h
๐Ÿ’พPersistence Strategies
Richard Sutton says the AI industry has "lost its way" by ignoring core principles of intelligence
the-decoder.comยท23h
๐Ÿ”ฒCellular Automata
Automated Knowledge Graph Augmentation via Semantic Drift Compensation
dev.toยท3dยท
Discuss: DEV
๐Ÿ”Information Retrieval
Enhanced Thermal Conductivity Prediction via Multi-Scale Graph Neural Network Fusion
dev.toยท1dยท
Discuss: DEV
๐Ÿ•ธ๏ธTensor Networks
Precision Polymer Extrusion via Adaptive Process Parameter Optimization using Bayesian Neural Networks
dev.toยท9hยท
Discuss: DEV
๐ŸงฒCassette Physics
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ยท12hยท
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
Loading...Loading more...
AboutBlogChangelogRoadmap