baq

4 ms·

1.
by baq 6d ago
In short you built a model, typesafe built a product
2.
by baq 6d ago
The breakthrough is the product (maybe, haven’t tried it yet) just like the LLM breakthrough was ChatGPT. People were using the gpt completion api flying low for months if not years before, but it took that particular launch to reorient eve
3.
by baq 8d ago
I’ve felt like a warlock for about half a year now - talking to demons which summon code from the abyss. Exhilarating and terrifying, especially when you can tell the demons get better faster.
4.
by baq 8d ago
No, I have not, so I don’t post baseless dismissals. I don’t call authors sus af and I don’t call people’s work vibe coded slop.
5.
by baq 8d ago
It’s like saying Linus Torvalds isn’t an expert on the Linux kernel
6.
by baq 8d ago
You posted a passive aggressive as personam and are (or at least act) surprised for getting called out.
7.
by baq 8d ago
jemalloc is something you should be aware of if you do software for a living
8.
by baq 8d ago
> All these skeptics and nobody just tried it out? Welcome to HN! May I remind you of the Dropbox comment? https://news.ycombinator.com/item?id=9224
9.
by baq 8d ago
Wait what? Have you? Why are you posting passive aggressive unfounded dismissals posing as questions?
10.
by baq 8d ago
In my culture it was ad personam, not even trying, and it’s fantastic that it’s been pointed out in a respectful way and reacted to with calm by all participants. The author was very polite to even reply at all.
11.
by baq 9d ago
well a SAT solver is kinda sorta a theorem prover right...?
12.
by baq 9d ago
No worries, Astra already shows signs of improvement which should make you happy for the short time before you realize why they’re making it better at this and CAD in general
13.
by baq 10d ago
I don’t know what I don’t know. I know astra does go through Minecraft grief by farming potatoes.
14.
by baq 10d ago
Copenhagen is a beautiful city.
15.
by baq 10d ago
I don’t really care if the model is conscious or not tbh. I know that a happy dog does a better job than an unhappy dog and if the model needs to be happy to do a better job then why not make it happy, literally. On a related note, I’ve see
16.
by baq 10d ago
A quantum calculator answers in distributions.
17.
by baq 10d ago
There isn’t a single human in this world and hasn’t ever been that meets your happy-enough standard. Make of it what you will.
18.
by baq 10d ago
I’m making nothing of this, thanks.
19.
by baq 11d ago
True but it has a niche in SQL reviews for me. Looks like Google has a lot of good sql in their corpus and in their RL digital lobotomy factory.
20.
by baq 11d ago
it might know all this is my point and it can reason about it regardless.
21.
by baq 11d ago
you've just written down 'Busy Beaver' without breaking the universe. the concept is there and it's separate from its computed value. the LLM doesn't have to compute anything to be able to work with the concept of i
22.
by baq 11d ago
…are you willing to pay for it though? If yes, is there enough of you? If yes, is there a way to tell low quality from high? https://en.wikipedia.org/wiki/The_Market_for_Lemons
23.
by baq 11d ago
Fork Ubuntu and threaten their business model, that’ll get their attention. Only half joking.
24.
by baq 12d ago
On the contrary this couple paragraphs is aimed strictly at 'normies' as in people who are riding the current exponential with little history of thinking about this moment. Most people's beliefs and knowledge needs updating a
25.
by baq 12d ago
Yeah much paperclip optimization opportunities here. ‘Figure out fusion powered CO2 sequestration’ is much better.
26.
by baq 13d ago
Software is easy until it isn’t - the moment you need serious infra you’re in deep trouble and looking for an experienced partner or a saas solution anyway. The days of b2b saas subscriptions doing one simple thing well for 3 or so users ar
27.
by baq 13d ago
The technical term is ‘meat proxy’
28.
by baq 13d ago
I was just lucky to have found an ancient rhel box when I desperately needed one. Luck is not a process.
29.
by baq 13d ago
The answer is to keep the compiler and the OS image it is running on alongside the source in version control. (Docker alone won’t save you.) Unless you just have an axe to grind?
30.
by baq 13d ago
Surely it isn’t, solving millennium problems on a whim isn’t, either; actually, it’s probably much harder, which is the concern. How hard is it to maneuver an aligned LLM to splice some smallpox into a generic research virus? BSL4 labs do t

More ›