Bloom patterns: radially expansive, developable and flat-foldable origami
royalsocietypublishing.org·1d·
Discuss: Hacker News, r/programming
📐Mathematical Art
Injection-proof SQL builders in Go
oblique.security·4d·
Discuss: r/golang
✅Format Verification
GPT-5 and SQL code generation
beekeeperstudio.io·1d·
Discuss: Hacker News
⚙️Batch Processing
A brief consideration of input shapes (fuzzing)
addisoncrump.info·5d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Making Sense of AI Job Titles
dbreunig.com·1d·
Discuss: Hacker News
🗺️Competency Maps
Making the Case for One Language Tree Across Monorepos
hackernoon.com·2d
🔄Migration Tools
Taming GORM & sqlmock: Our Go-To Workflow for Perfect Database Mocks
dev.to·21h·
Discuss: DEV
⛏️SQL Archaeology
Using large-scale search to discover fast GPU kernels in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
The Growing Need for Tools in 2025
dev.to·2d·
Discuss: DEV
🧠Knowledge Management
[D] Using LLMs to extract knowledge graphs from tables for retrieval-augmented methods — promising or just recursion?
reddit.com·1d·
Discuss: r/MachineLearning
🧮Datalog
Large-Scale Multi-Robot Assembly Planning for Autonomous Manufacturing
arxiv.org·5d
📊Computational Geometry
Real-Time Anomaly Detection in Time-Series Model Metrics via Federated Gaussian Process Regression
dev.to·4d·
Discuss: DEV
👁️Observatory Systems
Help Your Model Learn the True Signal
towardsdatascience.com·3d
🔍Vector Forensics
AI Fiesta Exposed: Scam or Smart Budget Alternative to Abacus.AI?
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
TASER: Table Agents for Schema-guided Extraction and Recommendation
arxiv.org·3d
🔍Information Retrieval
Steerable Prompts: Prompt Engineering for the GPT-5 Era
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Disentangling the Drivers of LLM Social Conformity: An Uncertainty-Moderated Dual-Process Mechanism
arxiv.org·1d
🧠Intelligence Compression
Entropy-Constrained Strategy Optimization in Urban Floods: A Multi-Agent Framework with LLM and Knowledge Graph Integration
arxiv.org·2d
🔲Cellular Automata
Let's Use ChatGPT To Write Our Paper! Benchmarking LLMs To Write the Introduction of a Research Paper
arxiv.org·2d
🔨Compilers
Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum
arxiv.org·1d
📐Interval Arithmetic