๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿง  Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

What I did on my summer co-op
artefactual.comยท2d
๐Ÿ“„Document Digitization
Code for Africa and the African Wikipedian Alliance at Wikimania 2025 : Mapping Climate Justice with Open Data
diff.wikimedia.orgยท7h
๐ŸŒCultural Computing
How to Access Retirement Funds Early
madfientist.comยท1hยท
Discuss: Hacker News
๐Ÿ Personal Archives
9vx and how to run Plan 9 on FreeBSD, Linux, and OS X
swtch.comยท5hยท
Discuss: Hacker News
๐Ÿ”ŒOperating system internals
Utah emerges as a pivotal battleground amid race to redraw congressional maps
theguardian.comยท3h
๐Ÿ”ถVoronoi Diagrams
Google Debuts Device-Bound Session Credentials Against Session Hijacking
feistyduck.comยท4dยท
Discuss: Hacker News
๐Ÿ›ก๏ธSecurity Headers
Ten Next-Gen Trends to Watch
kuppingercole.comยท3dยท
Discuss: Hacker News
๐Ÿ”Capability Systems
The Advanced Project Gemini Concepts That Could Have Been
hackaday.comยท2d
๐Ÿ‡ท๐Ÿ‡บSoviet Computing
Scientists find that ice generates electricity when bent
phys.orgยท1hยท
Discuss: Hacker News
๐Ÿ“œDocument Physics
Jarni AI โ€“ Real-time voice AI platform for answering calls, assisting agents, and automating QA in high-volume businesses
dev.toยท3dยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Numerical Method for Space-Time Fractional Diffusion: A Stochastic Approach
arxiv.orgยท3d
๐Ÿ“ŠComputational Geometry
8 AI Productivity Tools You Should Be Exploring Right Now โšก๏ธ๐Ÿ‘Œ
dev.toยท3dยท
Discuss: DEV
๐ŸŽฏContent Recommendation
Everything I Studied to Become a Machine Learning Engineer (No CS Background)
towardsdatascience.comยท4d
๐Ÿง Machine Learning
AI4Devs August meetup
dev.toยท2dยท
Discuss: DEV
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.orgยท6d
โœจAlgebraic Effects
DualSparse-MoE: Coordinating Tensor/Neuron-Level Sparsity with Expert Partition and Reconstruction
arxiv.orgยท5d
โง—Information Bottleneck
Long-term patterns of marine mammal bycatch emerge from fisheries study
phys.orgยท58m
๐Ÿ“ฐRSS Archaeology
How to Build AI-Generated Loading Messages in Rails 8 with Hotwire & Stimulus
dev.toยท4dยท
Discuss: DEV
๐Ÿฆ‹Format Metamorphosis
Quantization Robustness to Input Degradations for Object Detection
arxiv.orgยท4d
๐Ÿ“ŠQuantization
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.toยท6dยท
Discuss: DEV
๐Ÿ”’WASM Capabilities
Loading...Loading more...
AboutBlogChangelogRoadmap