๐Ÿฟ๏ธ 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
Zeno, Bu and Jonni
finta.comยท12hยท
Discuss: Hacker News
๐Ÿ“ฐRSS Archaeology
Why does my regular expression work in X but not in Y?
unix.stackexchange.comยท10hยท
Discuss: Lobsters, Hacker News
๐Ÿ”RegEx Engines
[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ยท23h
๐Ÿ“šArchive Mathematics
Generalized quantum Chernoff bound
arxiv.orgยท2d
โš›๏ธQuantum Channels
What is Data Augmentation in Deep Learning?
dev.toยท4hยท
Discuss: DEV
๐Ÿ‘๏ธOCR Enhancement
Is this project worth my time?
reddit.comยท22hยท
Discuss: r/golang
๐Ÿ“กFeed Security
The Maintenance Algorithm: A Life Principle We Often Overlook
hackernoon.comยท1d
๐Ÿ’พPersistence Strategies
Richard Sutton says the AI industry has "lost its way" by ignoring core principles of intelligence
the-decoder.comยท1d
๐Ÿ”ฒCellular Automata
Euclidean Approach to Green-Wave Theory Applied to Traffic Signal Networks
arxiv.orgยท2d
๐Ÿ“กNetwork Calculus
Assessment of Using Synthetic Data in Brain Tumor Segmentation
arxiv.orgยท2d
๐Ÿง Machine Learning
Would AI Lie to You?
cacm.acm.orgยท18h
โš™๏ธTLA+
Automated Knowledge Graph Augmentation via Semantic Drift Compensation
dev.toยท3dยท
Discuss: DEV
๐Ÿ”Information Retrieval
Precision Polymer Extrusion via Adaptive Process Parameter Optimization using Bayesian Neural Networks
dev.toยท15hยท
Discuss: DEV
๐ŸงฒCassette Physics
VibeTDD Experiment 4.4: Storage Layer Testing and the Never Give Up Problem
dev.toยท2dยท
Discuss: DEV
๐Ÿ’พPersistence Strategies
I will show you how to reduce AI hallucination and get the best result from your agent
dev.toยท2dยท
Discuss: DEV
๐Ÿ“žSession Types
Agents.md โ€” A New Standard for Coding Agents
dev.toยท18hยท
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
Loading...Loading more...
AboutBlogChangelogRoadmap