More reliable bioinformatics tools for the study of proteins
phys.org·1d
🧬Copy Number Variants
VCF 9.0 Hardware BOM for Silicon Valley VMUG
williamlam.com·21h
🏠HomeLab
Highlights and Features: Checking in with NP Alumni
ica.org·2d
🏛️PREMIS Metadata
The Smart Money on How Devs Should Charge for Apps
thenewstack.io·5h
🌊Streaming Systems
Tracking Activity on your App Turn data into smart decisions and valuable insights
blog.codeminer42.com·2d
📊Feed Optimization
Crafting a dependent typechecker, part 1
blueberrywren.dev·19h
🔗Functional Compilers
Replacement HDD advice for surveillance system
seagate.com·4h·
Discuss: r/homelab
💾Persistence Strategies
Recursive Functions To Piss Off Your CS Professor
inventwithpython.com·1d·
Discuss: Hacker News, r/programming
🔗Lisp
Reading Abundance from China
afraw.substack.com·57m·
Discuss: Substack
🧲Magnetic Philosophy
Hands-On Machine Learning with Scikit-Learn and PyTorch
oreilly.com·1d·
Discuss: Hacker News
🧠Machine Learning
What's happening to Matlab? Or, "The slow demise of the engineering toolbox"
blog.pictor.us·1d·
Discuss: Hacker News
🔩Systems Programming
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·4d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Vibe Coding and Robocop
remysharp.com·5h·
Discuss: Hacker News
🔓Hacking
Unveiling the Visual Rhetoric of Persuasive Cartography: A Case Study of the Design of Octopus Maps
arxiv.org·2d
📄PostScript
Data Fusion and Aggregation Methods to Develop Composite Indexes for a Sustainable Future
arxiv.org·4d
🧠Query Planners
Multi-Class-Token Transformer for Multitask Self-supervised Music Information Retrieval
arxiv.org·1d
🎧Learned Audio
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·2d·
Discuss: Hacker News
🤝Distributed Consensus
Mitigating Object Hallucinations via Sentence-Level Early Intervention
arxiv.org·2d
👂Psychoacoustic Coding
A Novel Data Augmentation Strategy for Robust Deep Learning Classification of Biomedical Time-Series Data: Application to ECG and EEG Analysis
arxiv.org·1d
🎵Audio ML
Stability of lattice Boltzmann schemes for initial boundary value problems in raw formulation
arxiv.org·1d
📐Linear Algebra