Alternatives
Products that do what Entropic Lagrangian Reverse Solver does
The AI that derives. Not predicts
- 1
- 2
- 3
- 4
- 5RL
Hello Hacker News! We're Yangqing, Xiang and JJ from lepton.ai. We are building a platform to run any AI models as easy as writing local code, and to get your favorite models in minutes. It's like container for AI, but without the hassle of actually building a docker image. We built and contributed to some of the world's most popular AI software - PyTorch 1.0, ONNX, Caffe, etcd, Kubernetes, etc. We also managed hundreds of thousands of computers in our previous jobs. And we found that the AI software stack is usually unnecessarily complex - and we want to change that. Imagine if you are a…
2023 · lepton.ai
- 6BP
TLDR: Product developers need tools designed for them to build ML models. We’d love for you to try a demo of Mage without needing to sign up: https://www.mage.ai/onboarding My name is Tommy DANGerous (or Tommy Dang) and I’m the CEO and co-founder at Mage. I worked at Airbnb for over 5 years as a product developer building features for guests. Mage is a web-based tool for building, training, and deploying ML models that make predictions based off your data. Training and using ML models in production typically requires working knowledge of building data pipelines, algorithms,…
2022
- 7
- 8
- 9SA
Hey HN, I’m a physicist turned quant. Some friends and I 'built' SymDerive because we wanted a symbolic math library that was "Agent-Native" by design, but still a practical tool for humans. It boils down to two main goals: 1. Agent Reliability: I’ve found that AI agents write much more reliable code when they stick to stateless, functional pipelines (Lisp-style). It keeps them from hallucinating state changes or getting lost in long procedural scripts. I wanted a library that enforces that "Input -> Transform -> Output" flow by default. 2. Easing the transition to Python: For many…
Feb 2026
- 10
- 11CA
Hi all, I'm the creator and maintainer of Dapr. Today we announced an agentic AI framework that allows developers to run thousands of agents on a single core that can scale to/from zero with minimal latency, with a durable execution engine that supports automatic retries. Us maintainers would very much appreciate your feedback
2025 · github.com
- 12IB
Hi HN, I'm the creator of this project. For the past months, I've been working on building an AI agent that could move beyond simple generation and tackle inventive challenges autonomously. The core idea was to create a system with a "metacognitive loop"—the ability to recognize when it's stuck on a fundamental problem and then launch a sub-mission to solve that specific bottleneck before continuing. The linked article is a deeper introduction to the system's architecture and a snapshot from a recent run. I tried to design it to be evidence-grounded and self-critical to avoid the pitfalls of…
2025 · robw1se.substack.com
- 13
*Title:* Show HN: FutureSearch, AI forecasting you can verify AI forecasting is now approximately superhuman. Today, FutureSearch is exiting our long public beta and launching. We started FutureSearch in August 2023. (We’re the original AI forecasting company, at least in a Tetlock-ian, “forecast anything” sense.) We’re currently #1 of 194 in the most competitive AI forecasting tournament [1], and we score above the #3 and #2 human forecasters in the premier mixed human-bot tournaments [2]. Many people on HN seem to equate forecasting with prediction markets and finance. FutureSearch is not…
Aug 2026 · futuresearch.ai
- 14AH
This paper formally defines where current AGI hits a structural wall — not a technical one. It shows that no amount of scaling, reinforcement learning, or recursive optimization will break through three deep epistemological and formal constraints: 1. Semantic Closure — An AI system cannot generate outputs that require meaning beyond its internal frame. 2. Non-Computability of Frame Innovation — New cognitive structures cannot be computed from within an existing one. 3. Statistical Breakdown in Open Worlds — Probabilistic inference collapses in environments with heavy-tailed uncertainty.…
2025
- 15AA
Hey HN – I built a framework called Aegis to govern AI-assisted software development. The core idea is that AI-generated code should follow the same rules as human code: versioned, validated, observable. Aegis enforces this through blueprint-based development, drift detection, and runtime compliance systems. It’s designed for teams using tools like Copilot, Kilo, or Lovable to build production systems with confidence. This isn’t a library — it’s a way to architect AI-native engineering workflows. Would love feedback, questions, and critiques. Especially curious if others are facing similar…
2025 · github.com
- 16LO
Background: I’ve spent the last few years writing Logos of Aether (500+ pages, open source), which attempts to derive the Standard Model using a monadic, cellular-automata approach rather than standard continuous calculus. The Core Idea: Modern physics breaks down at singularities because our math allows for infinite density (division by zero). I replaced standard addition with "Plenum Addition" (⊕), a saturating operation similar to velocity addition in Special Relativity, but applied to information density. The Math: Instead of linear addition (1+1=2), distinctions add via: x ⊕ y = (x + y)…
Jan 2026 · github.com
- 17
- 18
- 19
- 20
EU-Native LLM Observability. Stop Flying Blind on AI Spend.
Feb 2026
- 21
- 22AP
I made a lightweight web game about compute CAPEX tradeoffs: https://darios-dilemma.up.railway.app/ No signup, runs on mobile/desktop. Loop per round: 1. choose compute capacity 2. forecast demand 3. allocate capacity between training and inference 4. random demand shock resolves outcome You can end profitable, cash constrained, or bankrupt depending on allocation + forecast error. Goal was to make the decision surface intuitive in 2–3 minutes per run. It’s a toy model and deliberately omits many real world factors. Note: this is based on what I learned after listening to…
Feb 2026 · darios-dilemma.up.railway.app
- 23LF
I submitted an earlier version of this a few months ago (as llama2.f90). At that time it had a lot of steps to run and was just a toy, now it's easy to run and is a competitive option for llm inference. See the motivation section for discussion and the `Performance` issue for an ongoing discussion about performance.
2023 · github.com
- 24NH
Hey HN! When I started looking into LLMs and agents for software development and introducing them at work, I quickly realised that a person new to the topic faces a real barrage: - all the hype (AGI, engineers getting replaced by AI etc.) - conflicting opinions in virtually every discussion—for every person saying they’ve 10x-ed their productivity, there is a comment decrying LLMs as an utter failure - a lot of jargon (MoE, MCP, RAG, distillation, quantisation etc. etc.) - a profusion of models, IDEs/IDE extensions, CLI agents, other tools etc. Sorting through all of this can be quite…
2025 · nohypeai.dev
Ranked by how close each launch is in meaning, then by votes. Refine with a description →