Bus Factor 0
🔬Static Analysis
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
⚙️Compiler Design
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography for Secure Model Aggregation in Cross-Silo Envir...
🔒Protocol Verification
Flag this post
Computation as a Game
arxiv.org·2d
⏱️Computational Complexity
Flag this post
Building an AI-Powered Recipe Assistant with Agentic Postgres: A Deliciously Data-Driven Adventure 🍳🤖
🤖Program Synthesis
Flag this post
AWS Weekly Roundup: Project Rainier online, Amazon Nova, Amazon Bedrock, and more (November 3, 2025)
aws.amazon.com·2d
🏠HomeLab
Flag this post
Automated Sentiment-Driven Resource Allocation for Community Resilience Planning
🩹Self-Healing Systems
Flag this post
PrivyWave: Privacy-Aware Wireless Sensing of Heartbeat
arxiv.org·2h
👁️Observability
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·2d
🔍Formal Verification
Flag this post
Loading...Loading more...