mochi
secai
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
mochi
-
LLMs as Compilers
Totally agree. It is why we're building Mochi, https://github.com/mochilang/mochi a small language that treats AI, datasets, and graph queries as first-class citizens, not just targets for code generation.
It's inspired by the evolution you mentioned: early compilers generating Assembly, now AI tools generating Python or SQL. Mochi leans into that by embedding declarative data queries, AI generation, and streaming logic directly into the language. Here is how it looks:
type Person {
- Adding SQLLogicTest Support to Mochi
-
Ask HN: What Are You Working On? (June 2025)
Repo: https://github.com/mochilang/mochi
I'm building Mochi, a small programming language with a custom VM and a focus on querying structured data (CSV, JSON, and eventually graph) in a unified and lightweight way.
It started as an experiment in writing LINQ-style queries over real datasets and grew into a full language with:
* declarative queries built into the language
- Mochi v0.10.5: A LINQ-style query language with a bytecode VM written in Go
- Mochi 0.9.1: A readable VM for learning compilers and bytecode
-
Implementing Logic Programming
- FFI bindings to expose `fact`, `rule`, and `query` to scripts
Example: [https://chatgpt.com/share/cd\_684d3e3c59c08191b20c49ad97b66e...](https://chatgpt.com/share/cd_684d3e3c59c08191b20c49ad97b66e0...)
Total implementation was \~250 LOC. Genuinely amazed how effective the LLM was at helping bootstrap a real logic layer in one go.
The PR is here https://github.com/mochilang/mochi/pull/616
- Mochi is a small, statically typed programming language
- Mochi Programming Language v0.7.0 – calling Python and Go in one file
- Mochi Programming Language v0.6.0 – LINQ syntax for querying datasets
- Mochi – programming language built using OpenAI Codex
secai
-
We hit a wall testing AI agents, agents simulations works better
Your question is “how to test opaque nondeterministic databases”. I test my agents deterministically, because I know how to IoC. Check out this code [0] and follow the usage. In the rest of cases, you assert with embeds. Good luck.
[0] https://github.com/pancsta/secai/blob/74d79ad449c0f60a57b600...
-
Show HN: Agents.erl (AI Agents in Erlang)
It's nice to see that BEAM is still alive. If you're into actor model / state machine agents, I can recommend secai, which is in Golang [0]. It does have a form of goroutine cancellation. Do you happen to have some screenshots of your devflow in beam? How do you debug?
[0] https://github.com/pancsta/secai
-
12-factor Agents: Patterns of reliable LLM applications
Thanks, terminal UI is an important design choice - it's fast, cheap, and runs everywhere (like the web via wasm / ssh, or on iphones with touch). The LLM layer is still fresh, and I personally use it for web scraping, but the underlying workflow engine is quite mature and ubiquitous - it was used for sync engines, UIs, daemons, network services. It shines when faces complexity, nondeterminism, and retry logic - the more chaotic the flow is, the bigger the gains.
The approach is to shape behavior from chaos by exclusion, instead of defining all possible transitions. With LLMs, this process could be automated and effectively an agent would be dynamically creating itself using a DSL (state schema and predefined states). The great thing about LLMs is being charged by tokens instead of a number of requests. We can just interrogate them about every detail separately and build a flow graph with transparent (and debuggable) reasoning. I also have API sketches for proactive scenarios (originally made for an ML prototype) [0].
[0] https://github.com/pancsta/secai/blob/474433796c5ffbc7ec5744...
What are some alternatives?
LangGraph-Swift - 🚀 LangGraph for Swift. A library for building stateful, multi-actor applications with LLMs, built to work jointly with langchain-swift
zenmodel - ZenModel is a framework for building LLM applications with agentic workflow
opennars - OpenNARS for Research 3.0+
agents
tablepilot - AI-native platform for tabular data generation via CLI, WebUI or app.
snek.ex - Calling Python from Elixir