Analysis of NGate malware campaign (NFC relay)
cert.pl·16h
🔐Certificate Analysis
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·1d·
⚙️RISC-V Microcode
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·2d·
🔌Interface Evolution
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·8h·
Discuss: Hacker News
🤝Distributed Consensus
Flag this post
Gullible bots struggle to distinguish between facts and beliefs
theregister.com·8h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Flag this post
Just Write Tests
theblackarrovv.github.io·16h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Pressure to change
maryrosecook.com·2d·
Discuss: Hacker News
Proof Automation
Flag this post
Software Development in the Time of New Angels
davegriffith.substack.com·6h·
Discuss: Substack
📏Code Metrics
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·2d·
Proof Automation
Flag this post
Automated Assessment of Scientific Grant Proposals via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
🤖AI Curation
Flag this post
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.to·1d·
Discuss: DEV
🎬WebCodecs API
Flag this post
Open Deep Research Internals: A Step-by-Step Architecture Guide
dev.to·1d·
Discuss: DEV
🔄Archival Workflows
Flag this post
Dataset Creation and Baseline Models for Sexism Detection in Hausa
arxiv.org·20h
📜Digital Philology
Flag this post
Building a Scalable API Event Logger using Pub/Sub, and BigQuery
dev.to·12h·
Discuss: DEV
gRPC
Flag this post
Building BrandGenie: An AI-Powered Brand Identity Generator with Mastra
dev.to·2h·
Discuss: DEV
Proof Automation
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·14h
🤝Consensus Algorithms
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·4d
🔗Combinatory Logic
Flag this post
Day 22: Python Even-Odd Counter – Count Even and Odd Integers in a List with Type Checks
dev.to·1d·
Discuss: DEV
🧮Algebraic Datatypes
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
dev.to·11h·
Discuss: DEV
🧮Kolmogorov Bounds
Flag this post