Modern Toasts Using the Native Popover API
🍎Apple
Flag this post
Petri Dish Neural Cellular Automata
🔲Cellular Automata
Flag this post
My Experience as a SDE Intern at AWS
🔧DevOps
Flag this post
Experts find flaws in hundreds of tests that check AI safety and effectiveness
⏱️Computational Complexity
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·3h
🔍CBMC
Flag this post
This is one way I use AI for coding
🧮Z3 Solver
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.org·1d
λFunctional Programming
Flag this post
Benchmarking Generative AI Against Bayesian Optimization for Constrained Multi-Objective Inverse Design
arxiv.org·1d
🧮SMT Solvers
Flag this post
Alpamayo-R1: Bridging Reasoning and Action Prediction for Generalizable Autonomous Driving in the Long Tail
arxiv.org·1d
🧩Separation Logic
Flag this post
Automated Anomaly Detection and Predictive Maintenance in Self-Propelled Brush Rollers Using Bayesian Network Fusion
🩹Self-Healing Systems
Flag this post
EL-MIA: Quantifying Membership Inference Risks of Sensitive Entities in LLMs
arxiv.org·1d
🛡️Privacy Engineering
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·1d
📦Opam
Flag this post
Loading...Loading more...