JacobAsmuth

5 ms·

61.
by JacobAsmuth 3mo ago
Is Kimi 1/5th the price? Artificial analysis has it at the same price as GPT 5.6 Sol while performing worse.
62.
by JacobAsmuth 3mo ago
This is huge. I've always wanted to use Git in the terminal but never been happy with the underlying language that other TUIs were written in. Now that I know that I'm using developer-managed memory I can be much more comfortable
63.
by JacobAsmuth 3mo ago
Agreed 100%. This guy thinks there's a limit on the demand for intelligence. You think that Fable 7 which can run a billion dollar corporation on its own has no consumer demand just because we have fable 5 at 9k tok/s? Who do you
64.
by JacobAsmuth 3mo ago
The assumption that LLMs can't answer this question. You can pay approximately $0.000001 to correctly answer this question in approximately 50 milliseconds using Google's cheapest model.
65.
by JacobAsmuth 3mo ago
Are emotions actually salient parts of text or is that just because you have a human brain which is tuned to recognize emotions? You're using "I find it easy to recognize emotions in text therefore it is a simple task", but w
66.
by JacobAsmuth 3mo ago
Huh? This is from May. You guys should read the more recent notes. https://hypr.land/news/update56/
67.
by JacobAsmuth 3mo ago
Oh, you're talking about "AGI"! In the 90's we started using the term, you should catch up!
68.
by JacobAsmuth 3mo ago
Not a single LLM will do that. Why lie?
69.
by JacobAsmuth 3mo ago
Would you expect to find concepts related to emotions evoked by thinking those thoughts present? Or meta-descriptions of thoughts? Sounds like you're just post-hoc rationalizing to me.
70.
by JacobAsmuth 3mo ago
Gemini 3.1 Flash-Lite with web search disabled through the API and zero thinking gets it just fine.
71.
by JacobAsmuth 3mo ago
Hate to break it to you but Gemini 3.1 Flash-lite with grounding disabled (through the API) gets this first try, even with thinking disabled.
72.
by JacobAsmuth 3mo ago
That would make sense if the author specified a specific year's "year group" - e.g. if they had said "I spoke to the 6th year group". But they said they spoke to "THE year group" - which is very confusing
73.
by JacobAsmuth 3mo ago
First line of the blog the author states they spoke to the "year group" - what is that? I'm not familiar with the term.
74.
by JacobAsmuth 3mo ago
I think instead they should sell super hackers and get their product banned instantly and go bankrupt
75.
by JacobAsmuth 3mo ago
Anyone interested in this should check out my Qed project I've been working on, a formally verified web frontend. https://github.com/JacobAsmuth/qed
76.
by JacobAsmuth 4mo ago
You'd say that Google Maps hasn't improved much in the last 20 years?
77.
Qed: A verified web front end written in Lean4(github.com)
3 points by JacobAsmuth 4mo ago|0 comments
78.
by JacobAsmuth 4mo ago
Sounds like Jane Street would be interested in the Lean framework I've been working on for formally verified frontends. https://github.com/JacobAsmuth/qed
79.
by JacobAsmuth 4mo ago
Fable can beat pokeon red in 50 minutes with only visual input. https://www.youtube.com/watch?v=Ty_50J84fMY
80.
by JacobAsmuth 4mo ago
This is explicitly not what Dario asked for in his blog. Care to quote his post for me where you feel that he asked for this?
81.
by JacobAsmuth 4mo ago
No no we should push the limits until a bioattack happens, then when those people are all dead we comment angrily on the hackernews thread and say that someone should have seen this coming
82.
by JacobAsmuth 4mo ago
Reading comprehension failure on display here from maxall4.
83.
by JacobAsmuth 4mo ago
"Nobody I know is talking about censorship" is a certified HN banger.
84.
by JacobAsmuth 4mo ago
How does this instillation happen? Are they exploiting zero days to somehow force the phone to install an app unbeknownst to the user? Are they physically stealing the phone while the user is unaware, installing software, and then returning
85.
by JacobAsmuth 4mo ago
https://www.wheresyoured.at/peakai/ "I believe that artificial intelligence has three quarters to prove itself before the apocalypse comes, and when it does, it will be that much worse, savaging the revenues of th
86.
by JacobAsmuth 4mo ago
How speculative would it have been to say that it was anything more than $20/mo back in November?
87.
by JacobAsmuth 4mo ago
Now that you mention it, has Ed ever made a single testable prediction that came true?
88.
by JacobAsmuth 4mo ago
Divide both by 12 and you do not get the projected numbers. You get monthly revenue, a real measured number. It is the number being reported * 12 when they state a new ARR. E.g. When Anthropic stated $1B ARR (an extrapolated value) what the
89.
by JacobAsmuth 4mo ago
H100s installed 4 years ago are more expensive to rent now than they were on day 1. It is not at all clear that older hardware is losing its value in a world where the next gen model is smarter and faster due to improved training+inference
90.
by JacobAsmuth 4mo ago
Sounds like you're doing it wrong, to be honest.

More ›