Nullable vs. Nullable in C#
einarwh.no·3d·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Simple Smalltalk Testing: With Patterns (1994)
web.archive.org·17h·
Discuss: Lobsters, r/programming
🧪Property-Based Testing
How TRM Labs Scaled Security with Self-Improving AI Vulnerability Agents
trmlabs.com·15h·
Discuss: Hacker News
✅Archive Fixity
Dependency Management with Uv in Kubeflow Pipelines
fabridamicelli.github.io·1d·
Discuss: Hacker News
📦Container Security
The Cause Of, and the Solution To, All Your Team's Problems
worksonmymachine.ai·17h·
Discuss: Hacker News
⚔️Lean Tactics
AI Models: Small vs. Large - Choosing the Right Scale for ROI
dev.to·1h·
Discuss: DEV
🧠Machine Learning
Evaluating Language Model Reasoning about Confidential Information
arxiv.org·1d
💻Local LLMs
Automated Test Oracles for Flaky Cyber-Physical System Simulators: Approach and Evaluation
arxiv.org·4h
🔍Concolic Testing
[P] Implemented GRPO on top of Karpathy's makemore
reddit.com·1d·
Discuss: r/MachineLearning
🧮SMT Solvers
Enhanced Kinase Inhibitor Discovery via Multi-Modal Data Fusion & Graph-Reinforced Neural Networks
dev.to·10h·
Discuss: DEV
🔍Vector Forensics
VISION: Robust and Interpretable Code Vulnerability Detection Leveraging Counterfactual Augmentation
arxiv.org·2d
🔍Vector Forensics
PyTorch vs TensorFlow: Which to Choose, When, and Why?
dev.to·17h·
Discuss: DEV
📊Learned Metrics
The first open AI coder that rivals Claude is here
dev.to·11h·
Discuss: DEV
🧮Z3 Solver
Building High-Performance Time Series on SQLite with Go: UUIDv7, sqlc, and libSQL
dev.to·15h·
Discuss: DEV
🧩SQLite Extensions
Local Virtual Nodes for Alleviating Over-Squashing in Graph Neural Networks
arxiv.org·4h
🕸️Graph Embeddings
# How Python Software Solutions Are Transforming Rental Property Cleaning Services
dev.to·15h·
Discuss: DEV
🌊Stream Processing
The Bitter Lesson Is Misunderstood – By Kushal Chakrabarti
obviouslywrong.substack.com·11h·
Discuss: Substack
🔲Cellular Automata
A Unified Theory of Language
arxiv.org·4h
💻Programming languages
Go 1.25 Highlights: How Generics and Performance Define the Future of Go
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·3d·
Discuss: Hacker News
✅Format Verification