Program verification is not all-or-nothing
lawrencecpaulson.github.io·4d
🎯Performance Proofs
Empowering Radiotherapy with OncoSharp
sachpazidis.com·2d·
Discuss: Hacker News
🔓Open Source Software
Is that a deprecation? Or is it just removed?
huonw.github.io·1d·
Discuss: Hacker News
🔍Archive Semantics
Show HN: Chrome-site-stats – Track, limit, and optimize your browsing time
chromewebstore.google.com·3h·
Discuss: Hacker News
🗜️LZW Variants
A look at a P2P camera (LookCam app)
palant.info·15h·
Discuss: Hacker News
🔬Floppy imaging
Malware found hidden in image files, can dodge antivirus detection entirely — VirusTotal discovers undetected SVG phishing campaign
tomshardware.com·1d·
Discuss: Hacker News
🕵️Vector Smuggling
Stop Burning Money on Performance Firefighting
blog.platformatic.dev·4d·
Discuss: Hacker News, r/webdev
⚡Performance Tools
On LLMs and Quicksort
criptae.substack.com·1d·
Discuss: Substack
💻Local LLMs
Show HN: Accounting Library
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
go-yaml/yaml has been forked into yaml/go-yaml
github.com·3d·
Discuss: r/golang
🔒Linear Types
Ask HN: Is standardizing on MCPs over APIs within an org an anti-pattern?
news.ycombinator.com·1d·
Discuss: Hacker News
🏷️Metadata Standards
How I Found My First SQL Injection Bug Bounty
infosecwriteups.com·17h
⛏️SQL Archaeology
The 100x100 Challenge: Learning Through GitHub Projects
dev.to·3d·
Discuss: DEV
🧬Bitstream Evolution
Analysis of Voluntarily Reported Data Post Mesh Implantation for Detecting Public Emotion and Identifying Concern Reports
arxiv.org·1d
🧠Machine Learning
Unveiling Chromatin Phase Transitions in "Genomic Deserts": A Multi-scale Computational Analysis
dev.to·2d·
Discuss: DEV
🧬Copy Number Variants
Hunyuan-MT Technical Report
arxiv.org·1d
🇨🇳Chinese Computing
GraMFedDHAR: Graph Based Multimodal Differentially Private Federated HAR
arxiv.org·2h
🤐Secure Multiparty
OOTSM: A Decoupled Linguistic Framework for Effective Scene Graph Anticipation
arxiv.org·2h
🏛Digital humanities
Automated Anomaly Detection in Lunar Lander Telemetry Streams Using Adaptive Kalman Filtering
dev.to·23h·
Discuss: DEV
👁️Observatory Systems
A Multi-Modal Deep Learning Framework for Colorectal Pathology Diagnosis: Integrating Histological and Colonoscopy Data in a Pilot Study
arxiv.org·2h
🧠Machine Learning