Building a Multi-Toolchain Rain-Triggered Greenhouse
hackster.io·1d
⚙️RISC-V Microcode
Flag this post
10-26-building-the-rope-operation-for-tensorrent-hardware at Clehaxze
clehaxze.tw·2d
⚡SIMD Vectorization
Flag this post
Reverse engineering Kilter board app
🔓Reverse engineering
Flag this post
Kafka is Fast – I'll use Postgres
🌊Streaming Databases
Flag this post
We discovered over 2k vulns and PII in apps built with vibe coding platforms
🏺ZIP Archaeology
Flag this post
Scratching the Itch, Paying the Debt: How Community Keeps Legacy Open Source Projects Alive
🔓Open Source Software
Flag this post
The Cost of Certainty: Shot Budgets in Quantum Program Testing
arxiv.org·1d
🔍Concolic Testing
Flag this post
Contributions to Semialgebraic-Set-Based Stability Verification of Dynamical Systems with Neural-Network-Based Controllers
arxiv.org·14h
✨Algebraic Effects
Flag this post
Building a Reliability Platform for Distributed Systems
hackernoon.com·1d
👁️Observatory Systems
Flag this post
Speedrunning an RL Environment
⚔️Lean Tactics
Flag this post
We Programmers Need "Results"
📜Proof Carrying Code
Flag this post
The Trojan Example: Jailbreaking LLMs through Template Filling and Unsafety Reasoning
arxiv.org·2d
🌐NetworkProtocols
Flag this post
Automated Defect Cascade Prediction and Mitigation in Automotive Embedded Systems
🔧Hardware Verification
Flag this post
The Art of Dependency Updates: Balancing Stability, Features, and Security
📦Package Managers
Flag this post
🚀 How I Built a Multi-Agent AI Workflow System with n8n and Python
🏠Homelab Orchestration
Flag this post
Accelerating IC Thermal Simulation Data Generation via Block Krylov and Operator Action
arxiv.org·1d
🔧Hardware Verification
Flag this post
ChessQA: Evaluating Large Language Models for Chess Understanding
arxiv.org·14h
🧠Intelligence Compression
Flag this post
Fil-C: A memory-safe C implementation
🧠Separation Logic
Flag this post
Loading...Loading more...