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

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

LXC/LXCFS/Incus 6.0.5 LTS release
stgraber.orgยท1d
๐Ÿ“ฆGit LFS
Saturday Extra: Raindrops
hamatti.orgยท1d
๐Ÿ“ฐFeed Readers
Proton Begins Shifting Infrastructure Outside of Switzerland Ahead of Surveillance Legislation
yro.slashdot.orgยท1d
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Illinois Bans AI Therapy, Joins Two Other States in Regulating Chatbots
news.slashdot.orgยท8h
๐ŸŽž๏ธTape Combinatorics
My boss fired me over WhatsApp while he was on vacation in Honolulu
ginoz.bearblog.devยท22hยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
Should We Never Use Non-Logical Properties?
meiert.comยท4dยท
Discuss: Hacker News
๐Ÿ“Linear Logic
I tried Martha Stewart's one-pot mac and cheese. It took just 20 minutes to make and is now my go-to comfort meal.
businessinsider.comยท1d
๐ŸงฎAlgorithmic Cooking
The Curious Case of Bedrock's GPT Deployment
benanderson.workยท3dยท
Discuss: Hacker News, Hacker News
๐Ÿ“บVT100 Emulation
Funding Open Source like public infrastructure
dri.esยท3dยท
Discuss: Hacker News, r/opensource
๐Ÿ”“Open Source Software
Ask HN: Are foreign key constraints still useful?
news.ycombinator.comยท4dยท
Discuss: Hacker News
๐Ÿ—„๏ธDatabase Internals
Show HN: XR2000: A science fiction programming challenge
clearsky.devยท4dยท
Discuss: Hacker News
๐Ÿฆ€Rust Borrowing
OpenAI aims to build AI systems that can work on problems for hours or even days
the-decoder.comยท1d
๐ŸŒŠStream Processing
$1700 bounty delivers 2.4ร— speedup for CUDA Gaussian Splatting training
github.comยท4dยท
Discuss: Hacker News
๐ŸŒŠStreaming Algorithms
Noise-adapted Neural Operator for Robust Non-Line-of-Sight Imaging
arxiv.orgยท3d
๐Ÿง Machine Learning
Why Python developers should switch to uv
dev.toยท2dยท
Discuss: DEV
๐Ÿฆ‹Format Evolution
STRIDE-QA: Visual Question Answering Dataset for Spatiotemporal Reasoning in Urban Driving Scenes
arxiv.orgยท2d
๐ŸŽ™๏ธWhisper
HiFACTMix: A Code-Mixed Benchmark and Graph-Aware Model for EvidenceBased Political Claim Verification in Hinglish
arxiv.orgยท2d
๐Ÿ“‹Document Grammar
Exploring Content and Social Connections of Fake News with Explainable Text and Graph Learning
arxiv.orgยท2d
๐Ÿ“ฐContent Curation
Getting Started with Spec-Driven Development Using Kiro + Jules + Cursor + GPT-5
dev.toยท5dยท
Discuss: DEV
๐Ÿ”Concolic Testing
Emergence of Hierarchies in Multi-Agent Self-Organizing Systems Pursuing a Joint Objective
arxiv.orgยท3d
๐Ÿ”ฒCellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap