Building the Reasoning Engine at Axiom
axiommath.ai·3h·
Discuss: Hacker News
🔧Functional Programming
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·19h·
Discuss: r/LLM
📊Columnar Engines
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·10h·
Discuss: r/programming
🔧Functional Programming
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.to·8h·
Discuss: DEV
🔧Functional Programming
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🔧Functional Programming
2025-10-10 # LLMs Are Transpilers
alloc.dev·23h·
Discuss: Hacker News
🔧Functional Programming
InferenceMAX – open-source Inference Frequent Benchmarking
github.com·3h·
Discuss: Hacker News
📊Columnar Engines
Automated Parameter Calibration in Physics-Based Robot Simulation via Bayesian Optimization
dev.to·22h·
Discuss: DEV
⏱️benchmarking
Multi-Core By Default
rfleury.com·22h·
Discuss: Lobsters, Hacker News
📈Performance Profiling
Why Do Data Pipelines Need Streaming — Isn’t Batch Processing Enough?
linkedin.com·19h·
Discuss: DEV
🌊Stream Processing
The Trillion Dollar AI Software Development Stack
a16z.com·2h·
Discuss: Hacker News
🔍AI Detection
LangChain and LlamaIndex in 2025: How Developers Are Building Smarter AI Workflows
dev.to·4h·
Discuss: DEV
⚡DataFusion
GoMem is a high-performance memory allocator library for Go
github.com·21h
🧠Memory Management
Slip – A Lisp System in JavaScript
lisperator.net·9h·
Discuss: Hacker News
🔧Functional Programming
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·46m·
Discuss: Hacker News
🔧Functional Programming
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·19h
🕸️Graph Databases
Has anyone here tried Artiforge? It’s a toolkit that helps coding with AI using MCP. I’ve been exploring it lately and I’m curious if someone had tried it.
artiforge.ai·13h·
Discuss: r/programming
🤖AI
VLLM Predicted Outputs
cascadetech.ai·3h·
Discuss: Hacker News
📊Columnar Engines
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·19h
📊Columnar Engines
Show HN: Realization Jsmn on a Pure Zig
github.com·13h·
Discuss: Hacker News
⚡DataFusion