How Well Do Coding Agents Use Your Library?
stackbench.ai·6h·
Discuss: Hacker News
⚡Proof Automation
Understanding Context Windows
rkayg.com·2d·
Discuss: Hacker News
📄Text Chunking
An Encryption Algorithm
dev.to·2d·
Discuss: DEV
🔐Homomorphic Encryption
A 296-million-year-old fossil unearthed in Brazil sheds light on ancient plant mystery
phys.org·2h
🦴Database Paleontology
New discoveries of <i>Australopithecus</i> and <i>Homo</i> from Ledi-Geraru, Ethiopia
nature.com·4h
🦴Database Paleontology
The geologic history of marine dissolved organic carbon from iron oxides
nature.com·4h
🦴Binary Paleontology
🤖 GPT‑5 in 2025 — Not Just an Upgrade, a Game‑Changer ⚡
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Dynamic Holographic Rendering Adaptation via Multi-Modal Data Fusion and Generative Adversarial Networks
dev.to·1d·
Discuss: DEV
🌈Color Science
In over my head a bit
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Automated Vulnerability Prioritization via Graph Neural Networks and Symbolic Execution
dev.to·3d·
Discuss: DEV
📏Code Metrics
The Zero-to-Agent Playbook
dev.to·2h·
Discuss: DEV
⚡Proof Automation
Diagrams-to-Dynamics (D2D): Exploring Causal Loop Diagram Leverage Points under Uncertainty
arxiv.org·2d
✨Effect Systems
Fine-tune OpenAI GPT-OSS models on Amazon SageMaker AI using Hugging Face libraries
aws.amazon.com·2d
💻Local LLMs
Building a Neural Network is Easy. The Hard Part is Making It Think
dev.to·1d·
Discuss: DEV
🎧Learned Audio
Deep Ignorance: Filtering Pretraining Data Builds Tamper-Resistant Safeguards into Open-Weight LLMs
arxiv.org·1d
💻Local LLMs
Information Bottleneck-based Causal Attention for Multi-label Medical Image Recognition
arxiv.org·1d
🧠Machine Learning
Can You Trick the Grader? Adversarial Persuasion of LLM Judges
arxiv.org·1d
🎯Interactive Provers
Building AI-Powered .NET applications with Groq Cloud and MaIN.NET
dev.to·2d·
Discuss: DEV
⚡gRPC
Automated Solvent-Pulse Train Optimization for 13C MNBA Experiments via Bayesian Hyperparameter Tuning
dev.to·19h·
Discuss: DEV
🧲Magnetic Resonance
Provably positivity-preserving, globally divergence-free central DG methods for ideal MHD system
arxiv.org·17h
⚙️Proof Engineering