Typing to Think, Typing to Prompt
kvncnnlly.com·2h·
Discuss: Hacker News
💻programming
GPT-5's modest gains suggest AI progress is slowing down
newscientist.com·20h
🐪ocaml
Efficient Fuzzy Labeled PSI from Vector Ring-OLE
eprint.iacr.org·1d
📐Type Theory
Evaluating LLMs Playing Text Adventures
entropicthoughts.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust
Gran Turismo Cars, Google, TikTok, More: Wednesday Afternoon ResearchBuzz, August 13, 2025
researchbuzz.me·14h
🦀Rust
Foundation models are going multimodal
twelvelabs.io·2d·
Discuss: Hacker News
📐Type Theory
Testing AI coding agents (2025): Cursor vs. Claude, OpenAI, and Gemini
render.com·1d·
Discuss: Hacker News
🦀Rust
Researchers find LLMs are bad at logical inference, good at “fluent nonsense”
arstechnica.com·2d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
🦀Rust
Mistral Integration Improved in Llama.cpp
github.com·2d·
Discuss: Hacker News
🐪ocaml
An (m,k)-firm Elevation Policy to Increase the Robustness of Time-Driven Schedules in 5G Time-Sensitive Networks
arxiv.org·6h
📐Type Theory
Pushdown Reward Machines for Reinforcement Learning
arxiv.org·2d
🦀Rust
Show HN: Guardian Protocol – Open-Source Ethereum Security Framework
github.com·1d·
Discuss: Hacker News
🦀Rust
Listing of tools that replace the reflection involving code with type safe code by generation
reddit.com·3d·
Discuss: r/golang
⚠️Error Handling
Description and Comparative Analysis of QuRE: A New Industrial Requirements Quality Dataset
arxiv.org·1d
🦀Rust
Bridging the Gap Between LLMs and Enterprise APIs using FastMCP: How to Auto-Generate AI Tools from OpenAPI Specs
dev.to·7h·
Discuss: DEV
🔄Async Rust
AI is different
antirez.com·18h·
Discuss: Hacker News
🔄Async Rust
Exploring Causal Effect of Social Bias on Faithfulness Hallucinations in Large Language Models
arxiv.org·2d
📐Type Theory
Forecasting Commodity Price Shocks Using Temporal and Semantic Fusion of Prices Signals and Agentic Generative AI Extracted Economic News
arxiv.org·2d
🔄Async Rust
Towards Safer AI Moderation: Evaluating LLM Moderators Through a Unified Benchmark Dataset and Advocating a Human-First Approach
arxiv.org·2d
🦀Rust
Creating Push Button Trading: A Journey in Algorithmic Trading with Python and C++
dev.to·1d·
Discuss: DEV
💻programming