Thinking with Types: type-level programming in Haskell
thinkingwithtypes.comยท3dยท
Discuss: Hacker News
๐Ÿ“Type Theory
Flag this post
We're Counting Birbs Today
counting-stuff.comยท19hยท
Discuss: Hacker News
๐ŸŒฟDigital Gardens
Flag this post
are-dependent-types-actually-erased
chadnauseam.comยท3dยท
Discuss: Hacker News
๐Ÿ”—Dependent Types
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.comยท1dยท
๐Ÿ”€SIMD Programming
Flag this post
I Processed the Internet on a Single Machine to Find Valuable Expired Domains
blog.mbrt.devยท2dยท
Discuss: Hacker News
๐ŸŒฟTrie Structures
Flag this post
Getting Started with Generative AI Models: Concepts and Building Blocks
pub.towardsai.netยท10h
๐ŸŽจCreative Coding
Flag this post
Why Nonparametric Models Deserve a Second Look
towardsdatascience.comยท21h
๐Ÿง Machine Learning
Flag this post
๐ŸŒ€ Brent's Algorithm Explained โ€“ Faster Cycle Detection for Beginners
dev.toยท4dยท
Discuss: DEV
๐ŸŒฒSegment Trees
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.orgยท1d
๐Ÿ’ฌPrompt Engineering
Flag this post
Beyond the "Vibe Check": How to Use the Web Codegen Scorer to Master AI-Generated Code
dev.toยท20hยท
Discuss: DEV
โš™๏ธJIT Compilation
Flag this post
AILA--First Experiments with Localist Language Models
arxiv.orgยท10h
๐Ÿ“Parsing
Flag this post
The compute rethink: Scaling AI where data lives, at the edge
venturebeat.comยท10h
๐Ÿ“ฑEdge AI
Flag this post
QuantumBench: A Benchmark for Quantum Problem Solving
arxiv.orgยท2d
โš›๏ธQuantum Computing
Flag this post
A Criminology of Machines
arxiv.orgยท10h
๐Ÿค–Cyberpunk
Flag this post
KGBridge: Knowledge-Guided Prompt Learning for Non-overlapping Cross-Domain Recommendation
arxiv.orgยท1d
๐Ÿ’ฌPrompt Engineering
Flag this post
Radar Trends to Watch: November 2025
oreilly.comยท2d
๐ŸŽญProgram Synthesis
Flag this post
Knowledge Graph for Intelligent Generation of Artistic Image Creation: Constructing a New Annotation Hierarchy
arxiv.orgยท10h
๐ŸŽจCreative Coding
Flag this post
Exploratory Analysis of Cyberattack Patterns on E-Commerce Platforms Using Statistical Methods
arxiv.orgยท10h
๐Ÿฆ Malware Analysis
Flag this post
A Unified Model for Human Mobility Generation in Natural Disasters
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Flag this post