jahooma

7 ms·

31.
by jahooma 2y ago
We always reset the directory back to the project directory on each command, so that helps. But we're open to adding more restrictions so that it can't for example run `cd /usr && rm -rf .`
32.
by jahooma 2y ago
Yes, at least, partially. It will work, but maybe not as well as we don't parse out the function names from .svelte files. I can add it if tree sitter adds support for Svelte. I haven't checked, maybe it already is supported?
33.
by jahooma 2y ago
We actually don't use RAG! It's not that good as you say. We build a description of the codebase including the file tree and parsed function names and class names, and then just ask Haiku which files are relevant! This works much
34.
by jahooma 2y ago
Yes, unfortunately, Codebuff will only read files within one directory (and sub-directories). If you have multiple repos, you could create a directory that contains them all, and that should work pretty well!
35.
by jahooma 2y ago
Yes. Natively, the models are limited to 200k tokens which is on the order of dozens of files, which is way too small. But Codebuff has a whole preliminary step where it searches your codebase to find relevant files to your query, and only
36.
by jahooma 2y ago
Cool, it's probably about the same, since we're both using the new Sonnet 3.5 for coding. We might have a bit of an advantage because we pull more files as context so the edit can be more in the style of your existing code. One do
37.
by jahooma 2y ago
It's mainly from experience. From when I set it up I didn't have the feature to ask whether to run commands. It has been rawdogging commands this whole time and has never been a problem for me. I think we have many other users who
38.
by jahooma 2y ago
One cool thing you can do is a ask Codebuff to create these docs. In fact, we recommend it. Codebuff natively reads any files ending in "knowledge.md", so you can add any extra info you want it to know to these files. For example,
39.
by jahooma 2y ago
Yes, this is a good point. I think not asking to run commands is maybe the most controversial choice we've made so far. The reason we don't ask for human review is simply: we've found that it works fine to not ask. We've
40.
by jahooma 2y ago
Yes, he's the lead Manifold eng. Please discount appropriately.
41.
by jahooma 2y ago
Oh, it was a tool call I originally implemented so that Codebuff could look up the probabilities of markets to help it answer user questions. I thought it would be fun if you asked it about the chance of the election or maybe something abou
42.
by jahooma 2y ago
I hear you. This is actually a foundational idea for Codebuff. I made it to work within the large-ish codebase of my previous startup, Manifold Markets. I want the demos to be of real work, but somehow they never seem as cool unless it&#x27
43.
by jahooma 2y ago
Thanks for using Codebuff! Yeah, these edit issues are annoying, but I'm confident we can reduce the error rate a lot in the coming weeks.
44.
by jahooma 2y ago
Nope, if you go over the allotted credits on the $99 plan, then you pay per usage (with a 5% discount). We actually ended up not charging this guy since there was a bug where we told him he got 50,000 credits instead of 10,000. Oops!
45.
by jahooma 2y ago
Haha, it's because I used to work on Manifold Markets! Codebuff was originally called Manicode. We just renamed it this week actually. There was meant to be a universe of "Mani" products. My other cofounder made Manifund, and
46.
by jahooma 2y ago
We thought about making a VSCode extension/fork like everyone else, but decided that the future is coding agents that do most of the work for you. The terminal is actually a great interface because it is so simple. It keeps the product
47.
by jahooma 2y ago
Great question! In Codebuff you don't have to manually specify any files. It finds the right ones for you! It also pulls more files to get you a better result. I think this makes a huge difference in the ergonomics of just chatting to
48.
Launch HN: Codebuff (YC F24) – CLI tool that writes code for you
285 points by jahooma 2y ago|239 comments
49.
by jahooma 5y ago
>>> [Prediction markets] are not supposed to be self fulfilling prophecies. Right? And certainly the prediction market itself should not be the insiders. We've thrown out all the rules. Why can't the prediction market be
50.
by jahooma 5y ago
Great questions! 1) There are three insiders on this decision which would be the three cofounders of this site (including me and the OP). We wouldn't insider trade because we genuinely want to know the answer to this question. The mark
51.
by jahooma 5y ago
It sounds plausible, but our experience so far is that cheating is very rare. Out of hundreds of markets, we had our first clear incorrect resolution yesterday. But the argument is not simply that people won't cheat often. The argument
52.
by jahooma 5y ago
Oracles are cool, but I humbly submit user-resolved markets as a cleaner and better mechanism. As akrolsmir says, someone could commit to resolving according to an Oracle. But mainly, it allows for a diversity of approaches to serve differe
53.
by jahooma 5y ago
This is amazing!
54.
by jahooma 5y ago
Ours is also market-based, rather than simply recording your prediction.
55.
by jahooma 5y ago
You've actually got it backwards. User-resolved markets is the brilliant part of our platform, but most people are not able to figure that out.
56.
by jahooma 5y ago
Prediction markets : The Delphi method :: Classical liberalism : Liberalism
57.
by jahooma 5y ago
Today's the launch day for Manifold Markets, you can read our announcement here: https://manifoldmarkets.substack.com/p/above-the-fold-manifo... We've been working for the past two months to make the easiest-
58.
by jahooma 5y ago
Hi guys -- Mantic Markets co-founder here! Thanks for checking out our site! Most startup ideas are counter intuitive, but I appreciate the skeptical response here. The case for user created and resolved prediction markets is that it's
59.
by jahooma 8y ago
Thanks for posting, I thought we had already been rejected by not receiving an email... I'll keep waiting then.
60.
by jahooma 10y ago
It certainly fits the "Screaming" Eagles theme: Salt Lake Screaming Eagles, a football team controlled by fans with megaphones

More ›