tontinton

3 ms·

1.
Jev is good for agentic security use cases too(labs.vega.io)
2 points by tontinton 5d ago|0 comments
2.
by tontinton 5d ago
Comes across as this "I'm special", and kinda cringe...
3.
by tontinton 8d ago
Or https://maki.sh :)
4.
by tontinton 8d ago
I was really confused when reading the article that their claim is you don't know formal verification, I was expecting something way juicer.
5.
by tontinton 15d ago
Is it really? I'll need to check it out
6.
by tontinton 15d ago
They can do both, the model decides when to use code_execution like any other tool
7.
by tontinton 15d ago
I've made https://maki.sh for use cases such as this
8.
by tontinton 1mo ago
Are you freaking kidding me with YC throwing money at something like this? I guess I can fund raise just by having built https://maki.sh , and months ahead of other founders too...
9.
by tontinton 2mo ago
All the harness tools have been re-implemented as plugins in Lua: https://github.com/tontinton/maki/tree/main/plugins Here is the full API reference: https://maki.sh/docs/lua-api&#x2
10.
by tontinton 3mo ago
Mine sends even less - https://maki.sh
11.
by tontinton 3mo ago
Yep this is a glimpse into the future of 500+ t/s, which is in my opinion the next big thing that validates Jevon's paradox (the models are already smart enough)
12.
by tontinton 3mo ago
I meant harnesses / TUIs, sorry to confuse. Using fd/rg sounds interesting, honestly it would require little tweaks to the bash tool lua plugin, either add to the description to prefer these binaries instead or something like that
13.
by tontinton 3mo ago
Create an issue! :)
14.
by tontinton 3mo ago
It's a TUI you're right, but it's also a harness. As much as I hate to admit, T the tools you provide, the descriptions, and prompts, all amount to pretty big changes in experience, even using the same models.
15.
by tontinton 3mo ago
The biggest ones are: using tree-sitter to index code files as a tool, code_execution tool running a workflow of tools inside a python interpreter (monty), and not being a harness developed by the company profiting from selling you the shov
16.
by tontinton 3mo ago
Enjoy, I can't go back to other agents now, too spoiled by the speed
17.
by tontinton 3mo ago
Totally wrong, you underestimate the frontier's incompetence in anything other than building LLM models (ehm ehm flickering TUI for a year "written like a game engine"). I ran a bunch of benchmarks and there are proven ways t
18.
by tontinton 4mo ago
Yep exactly my thoughts, went and looked at the code for the deepseek provider in my coding agent. and basically all of what the author wrote there is implemented... http://github.com/tontinton/maki for the curios
19.
by tontinton 4mo ago
What's your moat?
20.
by tontinton 4mo ago
Yo that's really similar to my very own https://github.com/tontinton/maki only I'm MIT and you're GPL, cool
21.
by tontinton 5mo ago
Also easier to ship a binary like a cli
22.
by tontinton 5mo ago
or you can use a non vibe designed efficient Rust TUI coding agent made by yours truly, all my coworkers use it too :) called https://maki.sh ! lua plugins WIP
23.
by tontinton 6mo ago
Thanks! Currently the subagent chat windows don't allow to inject user messages like the main window, I want to change that soon though. Regarding tiered models, it currently caps the model use to the current tier you're on, so no
24.
by tontinton 6mo ago
Yes, you can use the dynamic provider to work with any local model you want (see scripts/providers)
25.
by tontinton 6mo ago
Is this a good time to tell you guys that there are many more alternatives, like my very own https://maki.sh ? Shameless plug, yes, but it's free, so I think it's fair :)
26.
by tontinton 6mo ago
I don't know why everyone is so attached to Claude Code you can just build your own little agent, like I did: https://maki.sh/ It will 100% be better than the 500k lines of code junk that is CC.
27.
Maki the efficient AI coder – Rust TUI (saves 40% tokens and low RAM)(maki.sh)
5 points by tontinton 6mo ago|1 comments
28.
by tontinton 6mo ago
Something I've been working on out of frustrations with the existing AI coder CLIs
29.
by tontinton 7mo ago
Yeah we all converge to the same workflow, in my ai coding agent I'm working on now, I've added an "index" tool that uses tree-sitter to compress and show the AI a skeleton of a code file. Here's the implementation
30.
by tontinton 7mo ago
Is it similar to rtk? Where the output of tool calls is compressed? Or does it actively compress your history once in a while? If it's the latter, then users will pay for the entire history of tokens since the change uncached: https:&

More ›