What are the real numbers, really? (2024)
infinitelymore.xyz·1d·
Discuss: Hacker News
🏗️Constructive Mathematics
Explaining the Unexplainable
depesz.com·2d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Idea-Driven Ideas
vitalik.eth.limo·3d·
Discuss: Hacker News
🔲Cellular Automata
Does GPT-2 Know Your Phone Number? (2020)
bair.berkeley.edu·5d·
Discuss: Hacker News
💻Local LLMs
How I Started Contributing to Tinygrad – My First 4 Merged PRs
ninoristeski.github.io·2d·
Discuss: Hacker News
🦀Rust Macros
Python Behind the Scenes - Understanding Code Execution Flow
dev.to·3h·
Discuss: DEV
🔓Decompilation
On This Day in Math - August 15
pballew.blogspot.com·1d·
Discuss: www.blogger.com
🇬🇧British Computing
Show HN: Project Chimera – AI Debates Itself for Better Code and Reasoning
github.com·1d·
Discuss: Hacker News
⚡Proof Automation
Software Engineering Laws - Time & Estimation
leadership.garden·1d
⚙️Proof Engineering
MCP Elicitation: Human-in-the-Loop for MCP Servers
dev.to·1d·
Discuss: DEV
⚡gRPC
HyperKD: Distilling Cross-Spectral Knowledge in Masked Autoencoders via Inverse Domain Shift with Spatial-Aware Masking and Specialized Loss
arxiv.org·2d
🧠Machine Learning
Adaptive Exploration-Exploitation Balancing via Bayesian Meta-Reinforcement Learning for Dynamic Grid Navigation
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Fractal Language Modelling by Universal Sequence Maps (USM)
arxiv.org·4d
🧮Kolmogorov Complexity
Klear-Reasoner: Advancing Reasoning Capability via Gradient-Preserving Clipping Policy Optimization
arxiv.org·4d
🧠Intelligence Compression
AI-Powered Predictive Maintenance for Intermodal Container Logistics Using Hybrid Bayesian Networks
dev.to·3d·
Discuss: DEV
🧮Kolmogorov Bounds
LaajMeter: A Framework for LaaJ Evaluation
arxiv.org·1d
🧠Intelligence Compression
Introducing SteelThread: Evals & Observability for Reliable Agents
dev.to·2d·
Discuss: DEV
👁️System Observability
This Candidate is [MASK]. Prompt-based Sentiment Extraction and Reference Letters
arxiv.org·1d
⚙️Compression Benchmarking
Vectors in AI: A Bridge Between Code and Business
dev.to·1d·
Discuss: DEV
🚀SIMD Text Processing
Scalable Failure Mode Prediction via Multi-Modal Data Fusion and Deep Temporal Analysis in Aging Infrastructure
dev.to·3d·
Discuss: DEV
⚙️Proof Engineering