Winless New York Jets lose again as Denver Broncos edge to victory in London
the-independent.com·23h
🧮Kolmogorov Complexity
Your LLM Won’t Stop Lying Any Time Soon
hackaday.com·2d
💻Local LLMs
Storing configuration directly in executable, with no external config (2023)
retrocomputing.stackexchange.com·2h·
Discuss: Hacker News
💧Liquid Types
Three ways formally verified code can go wrong in practice
buttondown.com·2d·
Discuss: Lobsters, Hacker News
📜Proof Carrying Code
GPT-5 for AI-assisted discovery
johndcook.com·3d·
Discuss: Hacker News
🎯Performance Proofs
Building Luca: An AI Agent for Finance and Accounting Workflows
leapfin.com·1d·
Discuss: Hacker News, Hacker News
🔗Constraint Handling
Agents 2.0: From Shallow Loops to Deep Agents
philschmid.de·1d·
Discuss: Hacker News
📼Tape Combinators
A Proof of the Riemann Hypothesis
dev.to·4d·
Discuss: DEV
⚔️Lean Theorem
Wireguard FPGA
github.com·23h·
Discuss: Lobsters, Hacker News
🔧FPGA Preservation
Intelligent backpropagated neural networks application on Couette-Poiseuille flow of variable viscosity in a composite porous channel filled with an anisotropic...
arxiv.org·12h
🌀Differential Geometry
Safety Analysis of eVTOL Operations based on STPA
arxiv.org·12h
🔐Capability Systems
Automated Anomaly Detection in Account Takeover via Multi-Modal Graph Neural Network Fusion
dev.to·2d·
Discuss: DEV
🔍Vector Forensics
A Trustworthy Industrial Fault Diagnosis Architecture Integrating Probabilistic Models and Large Language Models
arxiv.org·6d
🧠Machine Learning
Feasibility-Aware Decision-Focused Learning for Predicting Parameters in the Constraints
arxiv.org·6d
🧠Machine Learning
Challenging n8n AI Agent with a personal productivity flow
dev.to·1d·
Discuss: DEV
🤖Archive Automation
A Noise Resilient Approach for Robust Hurst Exponent Estimation
arxiv.org·6d
🧠Machine Learning
LLC Artificial Intelligence Trained to Lie by Omission
dev.to·2d·
Discuss: DEV
📏Code Metrics
Evaluating the Sensitivity of LLMs to Harmful Contents in Long Input
arxiv.org·5d
📝ABNF Extensions
Bridging Reasoning to Learning: Unmasking Illusions using Complexity Out of Distribution Generalization
arxiv.org·4d
🧠Intelligence Compression
Everyone's Searching for Agentic AI. Here's What 94% Get Wrong.
dev.to·11h·
Discuss: DEV
⚡Proof Automation