Seems to be 100% implemented. Very cool
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
Here's the formalization / lean verification: https://github.com/openai/NavierStokesAndEuler
AI could never write this
Could also be due to the fact that every codex install includes a copy of libreoffice
Lol github copilot 5 years late
That made me laugh out loud
I appreciate their AI usage policy and agree with it
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…
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…
Just instruct it not to do these things
Very impressive
2 years, maybe that's the problem
I'm pretty happy I think
Find flock cameras near you here! https://maps.deflock.org/
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…
Sounds like you should short it then!
time to buy bitcoin
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…
Interesting, didn't know this!
this was kimi 'instant' on kimi.com through their chat, looking now it's probably not k3 but still one of their models nonetheless
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…
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
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 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%.…
Seems to be 100% implemented. Very cool
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
Here's the formalization / lean verification: https://github.com/openai/NavierStokesAndEuler
AI could never write this
Could also be due to the fact that every codex install includes a copy of libreoffice
Lol github copilot 5 years late
That made me laugh out loud
I appreciate their AI usage policy and agree with it
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…
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…
Just instruct it not to do these things
Very impressive
2 years, maybe that's the problem
I'm pretty happy I think
Find flock cameras near you here! https://maps.deflock.org/
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…
Sounds like you should short it then!
time to buy bitcoin
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…
Interesting, didn't know this!
this was kimi 'instant' on kimi.com through their chat, looking now it's probably not k3 but still one of their models nonetheless
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…
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
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 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%.…