🔐 PAKE Protocols

Password Authentication, Zero Knowledge, Secure Login, Cryptographic Exchange

Clarifying the Necessity Requirement in Proportionality Testing. Is it about Less or Least Intrusive Means?
europeanlawblog.eu·2h
⚔️Lean Theorem
Show HN: Convert between Mermaid, draw.io, and Excalidraw diagrams
diagram-bridge-project-new.vercel.app·16h·
Discuss: Hacker News
🦋Format Metamorphosis
Parimatch welcome offer: Latest Parimatch sign up offer for 2025
the-independent.com·39m
🎫Kerberos Attacks
Show HN: RoomYou – A Sensor for Indoor Wellbeing
news.ycombinator.com·8h·
Discuss: Hacker News
🏠Home Automation
One of the worst case scenarios for ID age verification is already here, with a Discord breach compromising some users' data
pcgamer.com·3d·
Discuss: Hacker News
🛡Cybersecurity
Misunderstood and Misaligned
bozhao.substack.com·2d·
Discuss: Substack
🔗Constraint Handling
Docker and Kubernetes Interview Questions for Cloud & DevOps Roles
lockedinai.com·1d
📦Container Security
Sling TV & DRM Restreamer
reddit.com·18h·
Discuss: r/homelab
🎥Streaming Codecs
Ampetronic Auri is a Bluetooth Auracast audio system for public spaces
cnx-software.com·4h
📡Bluetooth Archaeology
Building Faster, Safer Pipelines Through Practical Automation
devops.com·1d
🌊Stream Processing
Uncovering diverse water adsorption characteristics in metal–organic frameworks
phys.org·20h
🌡️Preservation Physics
11 Best Go Courses Worth Taking
dev.to·6h·
Discuss: DEV
🔄Reproducible Builds
My entry point in the homelab world here in Brazil
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Abstraction Is the New Literacy for Developers
dev.to·2h·
Discuss: DEV
📏Code Metrics
VideoMiner: Iteratively Grounding Key Frames of Hour-Long Videos via Tree-based Group Relative Policy Optimization
arxiv.org·7h
⧗Information Bottleneck
Finite Time Analysis of Constrained Natural Critic-Actor Algorithm with Improved Sample Complexity
arxiv.org·1d
🔲Cellular Automata
German Interoperability Day: How does AI affect standards?
heise.de·16h
⚙️TLA+
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·1d
🔗Parser Combinators
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·1d
⚡Proof Automation
Krish Naik: Open AI Recent Announcement- App Inside Chatgpt, Agentkit, Sora 2
dev.to·21h·
Discuss: DEV
🔓Open Source Software