Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Rubrik & Sophos Enhance Cyber Resilience for Microsoft 365
news.sophos.com·3h
🎫Kerberos History
A ton of IPv6 innovations in AWS
blog.james.rcpt.to·13h
🌐IPFS
GCVE with Cédric Bonhomme and Alexandre Dulaunoy
opensourcesecurity.io·1d
🔓Open Source Software
Trends in LLM-Generated Citations on ArXiv
spylab.ai·21h·
Discuss: Hacker News
🎯Gradual Typing
We built AI to solve the most annoying part of B2B sales: vendor questionnaires
indiehackers.com·1h·
Discuss: Hacker News
⚡Proof Automation
A New Concurrent ML in Guile Scheme
wingolog.org·6h·
Discuss: Hacker News
🔄Lens Laws
MCP Prompts: Building Workflow Automation
blog.modelcontextprotocol.io·27m·
Discuss: Hacker News
🐚Shell Automation
Lumo privacy and security model
proton.me·21h·
Discuss: Hacker News
🔐Homomorphic Encryption
RapiTapir: Type-Safe HTTP APIs for Ruby
github.com·19h·
Discuss: Hacker News
🔌Archive APIs
Living with LLMs
matiasklemola.com·5h·
Discuss: Hacker News
💻Local LLMs
Machine Learning Fundamentals: machine learning tutorial
dev.to·23h·
Discuss: DEV
🧮Z3 Applications
Path-LLM: A Shortest-Path-based LLM Learning for Unified Graph Representation
arxiv.org·11h
🕸️Graph Embeddings
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
arxiv.org·11h
🔍Concolic Testing
FinKario: Event-Enhanced Automated Construction of Financial Knowledge Graph
arxiv.org·11h
🕸️Knowledge Graphs
Refine-n-Judge: Curating High-Quality Preference Chains for LLM-Fine-Tuning
arxiv.org·11h
🎯Content Recommendation
Honey Classification using Hyperspectral Imaging and Machine Learning
arxiv.org·1d
🧠Machine Learning
Little Mistakes in AI Can Lead to Big Problems
hackernoon.com·1d
🔍Vector Forensics
10 Best No-Code Analytics Tools in 2025
dev.to·23h·
Discuss: DEV
🎯Recommendation Metrics
Relative Completeness of Incorrectness Separation Logic
arxiv.org·11h
🧠Separation Logic