📊 Static Analysis

Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

The answer to the "missing heritability problem"
sebjenseb.net·1d·
Discuss: Hacker News
🧠Intelligence Compression
Skill issues – Dialectical Behavior Therapy and its discontents (2024)
thedriftmag.com·17h·
Discuss: Hacker News
🧲Magnetic Philosophy
Building Multiplayer Browsers
jimmyliu.net·2d·
Discuss: Hacker News
🚀Indie Hacking
Red Team Cybersecurity: Complete Guide to Red Team Testing
securityscorecard.com·1d
🕵️Penetration Testing
Google's AI Search Might Recommend You Call a Scammer
lifehacker.com·1d
🔍BitFunnel
Best way to selectively backup “most important” files from Nextcloud & Immich to S3 Glacier?
reddit.com·1d·
Discuss: r/homelab
💿Backup Strategies
How Professional ICO Development Services Ensure a Successful Token Launch
dev.to·13h·
Discuss: DEV
🔗Data Provenance
Generalized quantum Chernoff bound
arxiv.org·1d
⚛️Quantum Channels
Show HN: Basely - Open Source Content Creation Platform for Developers
github.com·2d·
Discuss: Hacker News
🔓Open Source Software
Nvidia B200 vs. H100 performance compared with GPT-OSS
clarifai.com·2d·
Discuss: Hacker News
🖥️Terminal Renaissance
Create a Simple Splat Video with spatialstudio
dev.to·1d·
Discuss: DEV
🎞️MKV Internals
nVent Electric: Infrastructure Tailwinds Are Clear, Valuation Risks Weigh Heavy
seekingalpha.com·1d
🚚Data Migration
MedSAMix: A Training-Free Model Merging Approach for Medical Image Segmentation
arxiv.org·2d
🌀Riemannian Computing
MND left her without a voice. AI and 8 seconds of audio gave it back to her
bbc.com·8h·
Discuss: Hacker News
🎧Learned Audio
SLC45A4 is a pain gene encoding a neuronal polyamine transporter
nature.com·19h
🧬Copy Number Variants
DevOps Explained: The Art of Not Fighting in Prod Anymore 🔥
dev.to·15h·
Discuss: DEV
❄️Nix Adoption
MoNaCo: More Natural and Complex Questions for Reasoning Across Dozens of Documents
arxiv.org·2d
🔍Information Retrieval
Enhanced Fatigue Life Prediction of High-Entropy Alloys via Multi-Scale Bayesian Optimization
dev.to·2d·
Discuss: DEV
⚙️Tape Engineering
Using Bolt.New and Logto to quickly build your custom login flows
dev.to·2d·
Discuss: DEV
🌐WASI
DeputyDev -- AI Powered Developer Assistant: Breaking the Code Review Logjam through Contextual AI to Boost Developer Productivity
arxiv.org·6d
📏Code Metrics