ParallelMind Engine: First AI System with Parallel Logical Reasoning (202+ problems/sec)
๐OCaml Multicore
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.orgยท21h
ฮปFunctional Programming
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.orgยท21h
๐งฉParser Combinators
Flag this post
NOMAD - Navigating Optimal Model Application to Datastreams
arxiv.orgยท21h
๐งฉParser Combinators
Flag this post
On Designing Low-Latency Systems for High-Traffic Environments
hackernoon.comยท1d
๐ฅ๏ธSelf-hosted Infrastructure
Flag this post
Why Most Manufacturers Still Trust 1980s Quality Control (and How AI Is Quietly Fixing It)
๐๏ธSystem Observability
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
๐พCachix
Flag this post
AgentBnB: A Browser-Based Cybersecurity Tabletop Exercise with Large Language Model Support and Retrieval-Aligned Scaffolding
arxiv.orgยท21h
๐ฎVerification Games
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.orgยท1d
๐Term Rewriting
Flag this post
This is one way I use AI for coding
๐งฎZ3 Solver
Flag this post
Modulation of temporal decision-making in a deep reinforcement learning agent under the dual-task paradigm
arxiv.orgยท21h
โฐTimed Automata
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.orgยท21h
๐งฉParser Combinators
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
๐คLanguage Design
Flag this post
ScaleCall - Agentic Tool Calling at Scale for Fintech: Challenges, Methods, and Deployment Insights
arxiv.orgยท21h
๐Nix Language
Flag this post
Show HN: Multi-Agent Code Review
๐Reproducible Builds
Flag this post
Loading...Loading more...