Fourier Transforms
📐Linear Algebra
Flag this post
Principles of Epistemology (2025, essay)
🏔️Domain Theory
Flag this post
AI-generated malware poses little real-world threat, contrary to hype
arstechnica.com·4h
🔲Cellular Automata
Flag this post
Navigating the Storm: Driving AI Agents
🔧DevOps
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.org·22h
🛡️seL4
Flag this post
Going From Reactive to Predictive Incident Response with AIOps
hackernoon.com·1d
🩹Self-Healing Systems
Flag this post
RIS-Assisted 3D Spherical Splatting for Object Composition Visualization using Detection Transformers
arxiv.org·22h
🔧Microcontrollers
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·5d
🧠Automated Reasoning
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·1d
📦OPAM
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·1d
🧠Automated Reasoning
Flag this post
This is one way I use AI for coding
🧮Z3 Solver
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·1d
✓Automated Theorem Proving
Flag this post
Autonomous Traceability Network Optimization via Multi-Agent Reinforcement Learning for Resilient Supply Chains
🩹Self-Healing Systems
Flag this post
Engineering a Trillion-Parameter Architecture on Consumer Hardware
hackernoon.com·2d
🐫Embedded OCaml
Flag this post
Loading...Loading more...