๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โš™๏ธ Assembly Verification

Low-level Proofs, Machine Code Correctness, Hardware-Software Interface, Formal Assembly

Shape complementarity enables precise protein binder design
phys.orgยท2d
๐ŸŒComputational Topology
From XML to JSON to CBOR
cborbook.comยท4dยท
Discuss: Lobsters, Hacker News, Hacker News, r/programming
๐Ÿ“‹Document Grammar
Guarding the herd โ€“ managing database servers at scale
engineering.monday.comยท2dยท
Discuss: Hacker News
๐Ÿ—„๏ธDatabase Internals
Turning VS Code into a Product Framework: Progrium.xyz
progrium.xyzยท1dยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
Bitter fight over 2020 Microsoft quantum paper both resolved and unresolved
theregister.comยท2dยท
Discuss: Hacker News, Hacker News
โš›๏ธQuantum Tape
From Local Hack to Production: How We Solved the MCP Multi-Tenant Auth Problem
braingrid.aiยท2dยท
Discuss: Hacker News
๐Ÿ Homelab Federation
Impressive homebrew games on the Atari 7800
forums.anandtech.comยท12h
๐Ÿ“ผRetro Games
Bridging Cache-Friendliness and Concurrency: A Locality-Optimized In-Memory B-Skiplist
arxiv.orgยท3d
๐ŸŒฒB-tree Variants
Collaborative State Machines: A Better Programming Model for the Cloud-Edge-IoT Continuum
arxiv.orgยท3d
๐ŸŒŠStreaming Systems
WinUI OSS Update: Phased Rollout Toward Open Collaboration
github.comยท5hยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
Smart Segments: Krita plugin that adds Segment Anything object selection using
github.comยท2dยท
Discuss: Hacker News
โŸทBidirectional Programming
AI's Architecture: Infrastructure Realities Behind the Hype | Electricity or Bubble?
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠStream Processing
Secure Integrated Sensing and Communication Networks: Stochastic Performance Analysis
arxiv.orgยท1d
โšฝSphere Packing
MOR-VIT: Efficient Vision Transformer with Mixture-of-Recursions
arxiv.orgยท3d
โšกCompression Hardware
Optimizing enterprise AI assistants: How Crypto.com uses LLM reasoning and feedback for enhanced efficiency
aws.amazon.comยท4d
โœจEffect Handlers
Why Data Engineering Is the Backbone of AI Today
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
Survey of NLU Benchmarks Diagnosing Linguistic Phenomena: Why not Standardize Diagnostics Benchmarks?
arxiv.orgยท4d
โš™๏ธCompression Benchmarking
MCIF: Multimodal Crosslingual Instruction-Following Benchmark from Scientific Talks
arxiv.orgยท4d
๐ŸŽ™๏ธWhisper
Real AI vs. Automation: What Developers Need to Know
dev.toยท5hยท
Discuss: DEV
๐Ÿค–AI Curation
The Vibe Coding Imperative for Product Managers
cacm.acm.orgยท1d
๐Ÿ“Code Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap