๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐ŸŽฏ Dependent Types

Type-level Programming, Proof-carrying Code, Agda, Type Safety

Who invented the hard drive?
techspot.comยท1d
๐Ÿ—ƒ๏ธPunched Cards
llama.cpp guide: running gpt-oss with llama.cpp
simonwillison.netยท22h
๐Ÿ”“Open Source Software
Positron, a New Data Science IDE
posit.coยท1dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Creating a read-only PostgreSQL user
crunchydata.comยท5hยท
Discuss: Hacker News
๐Ÿ—„๏ธPostgreSQL WAL
Building a Blog from Scratch in 90 Minutes with 233 LOC
elliotbonneville.comยท1dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
OpenAI Launches $4.6 Budget AI Subscription Tier in India
slashdot.orgยท1d
๐Ÿ”ŒArchive APIs
Philosophical Thoughts on Kolmogorov-Arnold Networks
kindxiaoming.github.ioยท2dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Google adds new AI features to the Pixel 10
the-decoder.comยท18m
๐ŸŒ€Brotli Internals
Many Are Focused on the Wrong Questions When It Comes to AI
aclu.orgยท20hยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Overview of Complex System Design
arxiv.orgยท2d
๐Ÿ•นEmulation Theory
The Python Learning Journey: From Beginner Confusion to Advanced Mastery
dev.toยท1dยท
Discuss: DEV
๐Ÿ“šProof Pedagogy
EvoPSF: Online Evolution of Autonomous Driving Models via Planning-State Feedback
arxiv.orgยท2d
โšกIncremental Computation
Rationalizing Transformer Predictions via End-To-End Differentiable Self-Training
arxiv.orgยท2d
๐ŸŒณContext free grammars
Prompt-Induced Linguistic Fingerprints for LLM-Generated Fake News Detection
arxiv.orgยท1d
๐ŸงชArchive Fuzzing
Cross-Cultural Negotiation Dynamics: Automated Sentiment-Aware Strategy Optimization via Bayesian Reinforcement Learning
dev.toยท15hยท
Discuss: DEV
๐ŸŒCultural Algorithms
Federated Learning with Differential Privacy for Enhanced Anomaly Detection in IoT Sensor Networks
dev.toยท2dยท
Discuss: DEV
๐Ÿ Home Automation
Automated Berth Allocation Optimization via Hybrid Constraint Programming & Reinforcement Learning
dev.toยท2dยท
Discuss: DEV
๐ŸงฉWASM Components
Speciesism in AI: Evaluating Discrimination Against Animals in Large Language Models
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Bioinspired underwater soft robots: from biology to robotics and back
arxiv.orgยท1d
๐ŸŒ€Differential Geometry
Synchronization and semantization in deep spiking networks
arxiv.orgยท1d
๐Ÿง Neural Codecs
Loading...Loading more...
AboutBlogChangelogRoadmap