Sorting Prompts - LLMs are not wrong you just caught them mid thought
kau.sh·1d
⚡Proof Automation
Introducing PromptIntel
blog.securitybreak.io·1h
🎯Threat Hunting
Dev Services for Spring Boot Using Arconia
thomasvitale.com·15h·
Discuss: Hacker News
🔌Archive APIs
Physical Warp Drives
arxiv.org·14h·
Discuss: Hacker News
🌡️Preservation Physics
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·2d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Replacing the Type Checker for the Swift Compiler
forums.swift.org·3d·
Discuss: Hacker News
💧Liquid Types
Negatives of Coding with AI
kushgoyal.com·2d·
Discuss: Hacker News
💻Local LLMs
A Proof of the Riemann Hypothesis
dev.to·3d·
Discuss: DEV
⚔️Lean Theorem
Real-Time Hydrogen Dispenser Flow Dynamics Optimization via Bayesian Network Reinforcement Learning
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
IKNet: Interpretable Stock Price Prediction via Keyword-Guided Integration of News and Technical Indicators
arxiv.org·2d
🧠Learned Indexing
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
arxiv.org·5d
⚡Incremental Computation
Is GRPO Broken?
neelsomaniblog.com·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Python 3.14 Unleashed: Revolutionary Features That Will Transform Your Code (Part 1)
dev.to·4d·
Discuss: DEV
💧Liquid Types
Refactoring My Own Code: A Tale of Code Crumbles
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·2d·
Discuss: DEV
🧩RISC-V
When AI Learns to Think
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·1d·
Discuss: r/golang
🦀Rust Borrowing
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·5d
⚡Proof Automation
The 9 Best CLIs with Artificial Intelligence
dev.to·6h·
Discuss: DEV
📟CLI Design
Understanding Latent Space: How Meaning Is Represented by AI
dev.to·12h·
Discuss: DEV
🧮Kolmogorov Complexity