๐Ÿฟ๏ธ 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

How I Learned to Stop Worrying About Short-Term Results in My Career
honest-broker.comยท1d
๐Ÿ”“Hacking
Ars Technica System Guide: Back to PC building for back-to-school
arstechnica.comยท21hยท
Discuss: Lobsters, Hacker News
๐Ÿ–ฅ๏ธModern Terminals
Build your own private WireGuard VPN with PiVPN (2023)
jeffgeerling.comยท1dยท
Discuss: Hacker News
๐ŸŒDNS over QUIC
Single SMB host, multiple networks: need new solution
forum.proxmox.comยท21hยท
Discuss: r/homelab
๐Ÿ’ฟProxmox HA
Two cool math lectures by Yuval Peres
statmodeling.stat.columbia.eduยท1d
๐Ÿ“šProof Pedagogy
Why more thinking isnโ€™t always better: Informatics PhD student co-authors AI safety study with Anthropic
informatics.ed.ac.ukยท3d
โœจEffect Systems
AI waifu & husbando
languagelog.ldc.upenn.eduยท2d
๐Ÿ‡ฏ๐Ÿ‡ตJapanese Computing
UK drafts AI to help Joe Public decipher its own baffling bureaucracy
theregister.comยท19hยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Zero-Downtime Elasticsearch Deployments with Hibernate Search: A Rolling Strategy That Works
hackernoon.comยท6d
๐Ÿš€Query Optimization
Vistra: Growth And Profitability Tailwinds Meet Bullish Market Positioning
seekingalpha.comยท1d
๐Ÿ“‡Indexing Strategies
Colt Technology faces multi-day outage after WarLock ransomware attack
securityaffairs.comยท1d
๐Ÿ›กCybersecurity
Delving into Dynamic Scene Cue-Consistency for Robust 3D Multi-Object Tracking
arxiv.orgยท1d
๐Ÿ“Projective Geometry
Freeing up 1132 printer components - part 8
rescue1130.blogspot.comยท1dยท
Discuss: rescue1130.blogspot.com
โš™๏ธCassette Mechanics
SPG: Style-Prompting Guidance for Style-Specific Content Creation
arxiv.orgยท1d
๐Ÿ–ผ๏ธJPEG XL
Emphasis Sensitivity in Speech Representations
arxiv.orgยท1d
๐ŸŽตAudio ML
From Kiddie Projects to Production-Ready APIs: My FastAPI Journey at 18
dev.toยท5dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Texas attorney general accuses Meta, Character.AI of misleading kids with mental health claims
techcrunch.comยท14hยท
Discuss: Hacker News
โš–๏ธEmulation Ethics
Hartford Strategic Income ETF Q2 2025 Commentary
seekingalpha.comยท10h
๐Ÿ“กRSS
Linear scan register allocation on SSA
bernsteinbear.comยท6dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿš€Compiler Optimizations
Learning to Defer in Congested Systems: The AI-Human Interplay
arxiv.orgยท5d
๐Ÿง Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap