Optimizing Datalog for the GPU
dl.acm.org·4h·
Discuss: Lobsters
🗄️Database Theory
Flag this post
I Processed the Internet on a Single Machine to Find Valuable Expired Domains
blog.mbrt.dev·1d·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Building a highly-available web service without a database
screenshotbot.io·13h·
Discuss: r/programming
🦀Rust
Flag this post
Stop vibe coding your unit tests
andy-gallagher.com·5h·
Discuss: Hacker News
⚙Functional Programming
Flag this post
How AI is helping us monitor and support vulnerable ecosystems
phys.org·1d
⚖️Logic Programming
Flag this post
You are going to get priced out of the best AI coding tools
newsletter.danielpaleka.com·14h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Identification of Capture Phases in Nanopore Protein Sequencing Data Using a Deep Learning Model
arxiv.org·1d
🧫Cellular Automata
Flag this post
Context-Aware Stochastic Modeling of Consumer Energy Resource Aggregators in Electricity Markets
arxiv.org·2d
⚖Algorithmic Game Theory
Flag this post
iFlyBot-VLA Technical Report
arxiv.org·17h
🧫Cellular Automata
Flag this post
Dynamic Estimates of Displacement in Disaster Regions: A Policy-driven framework triangulating data
arxiv.org·17h
🧫Cellular Automata
Flag this post
An end-to-end multilingual framework for intelligent analysis of risk influence factors in ship grounding accidents
sciencedirect.com·1d
🔍Static Analysis
Flag this post
Physics-Informed Neural Network Frameworks for the Analysis of Engineering and Biological Dynamical Systems Governed by Ordinary Differential Equations
arxiv.org·1d
🧫Cellular Automata
Flag this post
Flip a Coin Online: The Technology Behind Fair Virtual Coin Tosses
dev.to·1d·
Discuss: DEV
⚖Algorithmic Game Theory
Flag this post
A brief guide for those who slept (on AI) the last two years
dev.to·7h·
Discuss: DEV
🧩Theorem Proving
Flag this post
Deep learning-enhanced multi-fidelity framework for seismic fragility analysis of nuclear power plant containment structures: Submitted to: Reliability Engineer...
sciencedirect.com·1d
⚖️Logic Programming
Flag this post
Automated REST API Anomaly Detection via Graph Neural Network-Driven Causal Inference
dev.to·4h·
Discuss: DEV
🔍Static Analysis
Flag this post
Interpretable Heart Disease Prediction via a Weighted Ensemble Model: A Large-Scale Study with SHAP and Surrogate Decision Trees
arxiv.org·17h
🔗Parser Combinators
Flag this post
FedMGP: Personalized Federated Learning with Multi-Group Text-Visual Prompts
arxiv.org·1d
🔗Parser Combinators
Flag this post
When One Modality Sabotages the Others: A Diagnostic Lens on Multimodal Reasoning
arxiv.org·17h
🧭SMT Solvers
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·1d
🧭SMT Solvers
Flag this post