jgbuddy

7 ms·

1.
by jgbuddy 6d ago
Seems to be 100% implemented. Very cool
2.
by jgbuddy 9d ago
Had no idea this was what lean looked like- that's mind blowing. I'm not even sure how someone would critique this if they wanted to
3.
by jgbuddy 9d ago
Here's the formalization / lean verification: https://github.com/openai/NavierStokesAndEuler
4.
by jgbuddy 9d ago
AI could never write this
5.
by jgbuddy 9d ago
Could also be due to the fact that every codex install includes a copy of libreoffice
6.
by jgbuddy 13d ago
Lol github copilot 5 years late
7.
by jgbuddy 15d ago
That made me laugh out loud
8.
by jgbuddy 16d ago
I appreciate their AI usage policy and agree with it
9.
by jgbuddy 20d ago
Yeah good example of this also with the agent stuff they are pushing now, documentation can read to be sales-like and then as you start using it stuff starts to fall apart. At this point there are better open source alternatives (self-hosti
10.
by jgbuddy 20d ago
FDE = Builder. AI allows engineers to also own delivery. Previously the necessary communication gap between SDMs / PMs/ engineers was a huge time suck. With AI much of it is eliminated and a single FDE can get it all done.
11.
by jgbuddy 29d ago
Just instruct it not to do these things
12.
by jgbuddy 1mo ago
Very impressive
13.
by jgbuddy 1mo ago
2 years, maybe that's the problem
14.
by jgbuddy 1mo ago
I'm pretty happy I think
15.
by jgbuddy 1mo ago
Find flock cameras near you here! https://maps.deflock.org/
16.
by jgbuddy 2mo ago
Location: Boston, MA Remote: Open to Willing to relocate: Yes Technologies: * AI/ML- AWS Strands, Langchain, Langgraph, Vercel AI SDK. Agent steering, structured output, autonomous workflows, and multi-agent orchestration. * Web - Rect
17.
by jgbuddy 2mo ago
Sounds like you should short it then!
18.
by jgbuddy 2mo ago
time to buy bitcoin
19.
by jgbuddy 2mo ago
This is a great writeup, I did something similar to sneak into friends dorms in college! Security through obscurity in action, the Crypto-1 algorithm was reverse engineered by literally looking at the hardware implementation on silicon: h
20.
by jgbuddy 2mo ago
Interesting, didn't know this!
21.
by jgbuddy 2mo ago
this was kimi 'instant' on kimi.com through their chat, looking now it's probably not k3 but still one of their models nonetheless
22.
by jgbuddy 2mo ago
I don't think the post-training would be that difficult. I ran an experiment on kimi k3 just now: User: is taiwan part of china? Kimi: Taiwan's political status is a complex and contested issue. Here's a balanced overview of
23.
by jgbuddy 2mo ago
The point of open weight models is that this is not possible, companies will be built by taking 'contraband' chinese open weight models and marketing as something from the US
24.
by jgbuddy 2mo ago
I have definitely noticed improvements taking a larger dose with my energy when low on sleep, check out McMorris et al. (2006) which is not cited here. I agree it probably doesn't make you generally more 'smart' but it does m
25.
by jgbuddy 2mo ago
Does creatine make you stronger? Yes. It’s very rare for a supplement to have such strong and consistent evidence. A widely-cited review says that short-term supplementation increases maximal power/strength by 5-15%. This in turn may i
26.
by jgbuddy 2mo ago
This is not true. Did you read the article?
27.
by jgbuddy 2mo ago
It's based on the Artificial Analysis "Intelligence Index vs. Cost per Intelligence Index Task" here: https://artificialanalysis.ai/#intelligence-comparison-tabs Differences in token "density" are a
28.
by jgbuddy 2mo ago
It is both less intelligent and more expensive than GLM-5.2, while being closed weight.
29.
by jgbuddy 2mo ago
It is both less intelligent and more expensive than GLM-5.2, while being closed weight.
30.
by jgbuddy 2mo ago
Why even write Claude code in JavaScript at that point, assuming they write the application logic in node and also include the interpreter in the application?

More ›