Research Worth Reading Week 32/2025
pentesterlab.com·1d
🔓Hacking
Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.com·8h
🔗Concatenative Programming
Zero Trust Revisited
systemsapproach.org·1d
🕸️Mesh Networks
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·17h
🎯Performance Proofs
PeaceFounder: Simple centralized Evoting thats voter-verifiable and private
peacefounder.org·2d·
Discuss: Hacker News
🔐Homomorphic Encryption
Show HN: Cosmo Connect combines the strengths of GraphQL and gRPC
wundergraph.com·4h·
Discuss: Hacker News
⚡gRPC
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·1d
🌊Stream Processing
Safeguarding VS Code against prompt injections
github.blog·23h·
Discuss: Hacker News
🌐WASI
Rust for JavaScript Engineers – Intro
afloat.boats·2d·
Discuss: Hacker News
🦀Rust Macros
k-NN Classification and Model Evaluation
dev.to·7h·
Discuss: DEV
🧠Machine Learning
Block unsafe prompts targeting your LLM endpoints with Firewall for AI
blog.cloudflare.com·1h
🛡️CLI Security
Visual AI flow manager for Genkit – Looking for early testers
flowshapr.ai·46m·
Discuss: Hacker News
⚡Proof Automation
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·14h·
Discuss: Hacker News
🦀Rusty Databases
ISACL: Internal State Analyzer for Copyrighted Training Data Leakage
arxiv.org·11h
💻Local LLMs
An Efficient Recommendation Filtering-based Trust Model for Securing Internet of Things
arxiv.org·11h
🎯Content Recommendation
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·11h
🔧Hardware Verification
Automate the Testing of Your LLM Prompts
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Antirez/sds: Simple Dynamic Strings library for C
github.com·23h·
Discuss: Hacker News
✅Format Verification