New comment by sumerpatil in "Ask HN: Freelancer? Seeking freelancer? (October 2025)"
linkedin.com·8h·
Discuss: Hacker News
📋Souffle Datalog
FIPS certified vs. FIPS compliant: What’s the real difference?
yubico.com·48m
🛡️Security Type Systems
Building the Future of Aircon Servicing with C++
airconservicing.org·3h·
Discuss: DEV
📦Monorepos
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·11h
📱Bytecode Design
NEWS ROUNDUP – 6th October 2025
digitalforensicsmagazine.com·5h
🔐Security Types
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·9h
🌳Tree Shaking
The Making of Digital Identity – The Birth of Digital Authentication
syntheticauth.ai·1d·
Discuss: Hacker News, r/programming
🛡️Capability Security
AI vs AI: Wiz CTO Warns of a New Threat Frontier
blogger.com·1d
🛡️Security Type Systems
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·20h·
Discuss: Hacker News
🔢Algebraic Datatypes
Four years, Five failures, One compiler
daymare.net·1d·
Discuss: Hacker News, r/programming
🌱Minimal Languages
Secrets Hackers Don’t Tell: Recon Techniques That Actually Pay
infosecwriteups.com·1d
🔐Security Types
Automatic Building Code Review: A Case Study
arxiv.org·11h
📦Dependency Analysis
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·22h·
Discuss: r/programming
🧠Memory Models
AI-Driven Predictive Maintenance of Compression Testing Machines via Multi-Modal Data Fusion & Semantic Parsing
dev.to·7h·
Discuss: DEV
🪜Recursive Descent
Property-based testing of batch-invariant operations
mmaaz.ca·16h·
Discuss: Hacker News
🎲Property Testing
Tinfoil Chat – Onion-routed, endpoint secure messaging system
github.com·2d·
Discuss: Hacker News
🛡️Security Type Systems
Oracle patches critical E-Business Suite flaw exploited by Cl0p hackers
securityaffairs.com·2h
🛡️Parser Security
Writing a Dictation Application
osada.blog·20h
📚Self-Documenting Code
Inside PSL: Key Management, Sandboxing, and Secure Enclaves Explained
hackernoon.com·3d
🛡️Security Type Systems
#DAY 12: My Project Summary & Learning Journey.
dev.to·8h·
Discuss: DEV
🛡️Capability VMs