jmalicki

15 ms·

391.
by jmalicki 6mo ago
Over $2B ARR now. Why do you doubt $3k/yr? Corporate usage skews a lot higher, when it's evaluated against hiring, not as a nice to have addon. If $10k/yr means you get work done with one less hire that's an easy decisi
392.
by jmalicki 6mo ago
Claude has to use more tokens to read the grep output.
393.
by jmalicki 6mo ago
I mean they doubled revenue from $1B/yr to $2B in a month. At some point it can be valued as a high growth business, the code that backs it is almost irrelevant if the business is strong.
394.
by jmalicki 6mo ago
Their supply of being able to serve the models is hardcore rationed by their ability to scale up datacenters and GPUs. They really don't need to subsidize unprofitable customers at this point when there is a line out the door to pay th
395.
by jmalicki 6mo ago
This is superintelligence. The mixed signals are tested to increase their revenues. Superintelligent AIs wouldn't be honest.
396.
by jmalicki 6mo ago
In my wilderness first responder class they emphasized taking a cocktail of ibuprofen and acetaminophen - both are effective pain relievers, each with different dangerous side effects. The benefits stack, the side effects don't. So if
397.
by jmalicki 6mo ago
Wouldn't it have to have a negative effect on the security to be securities fraud? Causing an investor loss is a key point of securities fraud. "We made a ton more money with ads and the stock went up" lacks that key element
398.
by jmalicki 6mo ago
But America is personified by the Simpsons!
399.
by jmalicki 6mo ago
I'm not sure what the state of the art is today, but 15 years ago I worked on a cross-lingual search engine - a challenge with Chinese was that ngram-like models for detecting common language errors (such as typos) were simply ineffect
400.
by jmalicki 6mo ago
He can do that without being an elected congressman. If you are elected to congress, your job is to get bills passed. If you like his politics, there are other people like Elizabeth Warren that have remarkably similar political positions, y
401.
by jmalicki 6mo ago
And how has that changed anything? If he was not able to change policy in any way as a Senator, how would he be able to do so as a President? He can veto a bill then get it overridden. He has already proven 100% he lets the more conservati
402.
by jmalicki 6mo ago
One way of viewing this is that to a moderate degree, NASA has largely been outsourced to SpaceX.
403.
by jmalicki 6mo ago
It does! "You must be a human to create an Account. Accounts registered by "bots" or other automated methods are not permitted. We do permit machine accounts: A machine account is an Account set up by an individual human who
404.
by jmalicki 6mo ago
When klocs is approximately 0 that is telling.
405.
by jmalicki 6mo ago
Simulation is largely what traditional engineers do - I mean how many classes have you taken on finite element methods, discretizing PDEs, etc.? It's not web dev.
406.
by jmalicki 6mo ago
And regardless of your feelings on his political positions, in his extremely lengthy time in the House and Senate, he has only gotten three bills he sponsored passed - two renaming post offices, and a VA benefit increase. Despite having a p
407.
by jmalicki 6mo ago
It's a statement not offered to prove the truth of the asserted statement - non-hearsay. It would be hearsay if offered as evidence that you had meth in your pocket. It would not if offered in evidence you were enquiring about the leg
408.
by jmalicki 6mo ago
I do this so that AI can only have limited GitHub permissions. It can't merge, doesn't have admin rights, etc. This after I started catching it commit directly to upstream main without PRs among other things.
409.
by jmalicki 6mo ago
The fact is that he said it. You aren't repeating a fact you heard him say, you are reporting what you heard him say.
410.
by jmalicki 6mo ago
Reading the decision, they seem to say that online word processing software would be viewed similarly, since the TOS may allow Google to see your data, it is not confidential, so use of Google Docs or Gmail would not be considered privilege
411.
by jmalicki 6mo ago
Why? He heard you say it and can testify to it.
412.
by jmalicki 6mo ago
So I can't turn an unprivileged draft email into a privileged email by hitting send? At what point does my typing become communications with my lawyer?
413.
by jmalicki 6mo ago
Roughly anything that, say, has the complexity of a leetcode medium level problem that isn't already an extremely well known algorithm. Any moderately complex thread safety thing with a few moving parts (e.g. there are multiple mutexes
414.
by jmalicki 6mo ago
DARPA sponsors lots of things that aren't specifically about weapons or killing people - medical treatment, logistics, etc. that are useful for defense/war but generally applicable. Sure, Boston Dynamics is a bit more obvious ther
415.
by jmalicki 6mo ago
Fair! I guess I didn't mean language as such, but as used. But a lot of the monkey-patching kind of things and dynamism of python also means a lot of those sorts of things have to be re-checked often for correctness, so it does take a
416.
by jmalicki 6mo ago
I think that's a new thing from like python 3.12+ or something after I stopped using Python as much. It didn't used to. EDIT: python 3.11+: https://peps.python.org/pep-0659/
417.
by jmalicki 6mo ago
Every time I've rewritten something from Python into Java, Scala, or Rust it has gotten around ~30x faster. Plus, now I can multithread too for even more speedups. Python is absurdly slow - every method call is a string dict lookup (s
418.
by jmalicki 6mo ago
I have experience with similar things! But that's not saying the proofs are an issue - usually the spec you can reasonably prove in lean or another prover, say TLA+ or Z3 depending on your kind of program - has to be overly simplified
419.
by jmalicki 6mo ago
I saw this guy named Claude saying ajma is a genius!
420.
by jmalicki 6mo ago
Something under-appreciated: If you pretend a company is paying out 100% of profits as dividends (which it theoretically potentially could, and is useful as a financial modelling tool), then the inverse of P/E, E/P, is an interes

More ›