Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
📏Linear Haskell
Flag this post
Gröbner Bases Explained: From Abstract Algebra to Real-World Optimization
news.ycombinator.com·5d·
Discuss: Hacker News
Symbolic Math
Flag this post
Uncertain node-state PI-DBN: A novel framework for predictive modeling of real-time blowout risk in deepwater drilling
sciencedirect.com·10h
🚂Error Propagation
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·1d·
Discuss: Hacker News
🗃️Query Compilation
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·14h
🌱Forth Kernels
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
dev.to·17h·
Discuss: DEV
🏛️Elm Architecture
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
dev.to·1d·
Discuss: DEV
📋Tablegen
Flag this post
Building an AI-Powered Migration Pathways Agent with Go and the A2A Protocol
dev.to·3h·
Discuss: DEV
🌉Language Bridges
Flag this post
Enhanced Slater Determinant Calculation via Hybrid Tensor Decomposition & Adaptive Mesh Refinement
dev.to·1d·
Discuss: DEV
🔀SIMD Programming
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·1d·
Discuss: DEV
Control Synthesis
Flag this post
Cognotik: A New FOSS AI Coding Assistant. For JetBrains IDEs
github.com·2d·
Discuss: Hacker News
🌉Language Bridges
Flag this post
The best AI inference for your project. Blazing fast responses.
dev.to·1h·
Discuss: DEV
🗺️Region Inference
Flag this post
The Art of Luminous Code: A Journey with Dynamic `import()` in Node.js
dev.to·2h·
Discuss: DEV
🌪️V8 Pipeline
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.to·1d·
Discuss: DEV
📐Mathematical Computing
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·7h
📊Log Parsers
Flag this post
I made a tensor runtime & inference framework in C (good for learning how inference works)
github.com·1d·
🐪MinCaml
Flag this post
Understanding LangChain and LangGraph: A Beginner’s Guide to AI Workflows
dev.to·10h·
Discuss: DEV
🌉Language Bridges
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
dev.to·58m·
Discuss: DEV
🎮Language Ergonomics
Flag this post