Beyond computational assumptions: How BGKW replaced hardness with isolation
🔐Zero-Knowledge Proofs
Flag this post
Enhancing Federated Learning Privacy with QUBO
arxiv.org·8h
🌐Decentralized AI
Flag this post
Think Smaller: The Counterintuitive Path to AI Adoption
oreilly.com·1h
🤖AI
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography for Secure Model Aggregation in Cross-Silo Envir...
🧮Homomorphic Encryption
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·2d
🌐Decentralized AI
Flag this post
Creating Lisp Systems
⚙️Programming
Flag this post
AI Agent Orchestration Frameworks
🤖AI
Flag this post
A Short Survey of Compiler Backends
🔧MLIR
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·8h
✅Formal Verification
Flag this post
Gen AI Grows Up: Building Production-Ready Agents on the JVM • Rod Johnson • GOTO 2025
youtube.com·40m
🤖AI
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
🤖AI
Flag this post
How an Attacker Drained $128M from Balancer Through Rounding Error Exploitation
research.checkpoint.com·1h
🔒Hardware Security
Flag this post
Some thoughts on AI and coding
infoworld.com·4h
🤖AI
Flag this post
Choosing the best AI coding agent for Bitrise
🤖AI
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
⚙️Programming
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·8h
🤖AI
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·16h
🛡️AI Safety
Flag this post
Loading...Loading more...