fooker

44 ms·

931.
by fooker 1y ago
> Effectively every single H100 in existence now will be e-waste in 5 years or less. This remains to be seen. H100 is 3 years old now, and is still the workhorse of all the major AI shops. When there's something that is obviously
932.
by fooker 1y ago
True You can design a pretty decent version if your users are willing to write a tiny bit of boilerplate. In fact, the LLVM project sort of does this, for the sake of compiling with -fno-rtti - https://llvm.org/docs/How
933.
by fooker 1y ago
My hypothesis for this is the disconnect between mathematics and fields like physics and theoretical computer science. We likely need new mathematics for making progress in physics or ..say.. have a better understanding of the PvsNP kind of
934.
by fooker 1y ago
The posting date was two days ago. And not sure if you’re aware, but there’s like a few dozen visa categories that allow immigrants to work. The hype around H1B is entertaining though!
935.
by fooker 1y ago
> Visa Sponsorship Is not provided Your link specifically says visa sponsorship is provided.
936.
by fooker 1y ago
The tagging part is easy, the tricky thing is to unify this concept with constructors and destructors. Like Haskell, you’d want different tags to be constructed by different constructors. But it’s unclear how this will integrate with destru
937.
by fooker 1y ago
Usually as a specialization of GADTs
938.
by fooker 1y ago
About product types, C++ does try to implement that as a library too (std::tuple), and the result is equally disastrous :) I don’t really disagree with you, but consider that one of the main goals of an object oriented language is to allow
939.
by fooker 1y ago
> there is no reason why a programmer should need to concern themselves Agreed, hence my one liner version. > ghc will optimize away Haskell's flip Can you show me how? I am seeing 5000 lines of assembly. https://godbo
940.
by fooker 1y ago
> Then why is the language so ridiculously complicated? Mainly as an effort to not drop compatibility with 30 years old code. You could cut the C++ standard in half if not for this.
941.
by fooker 1y ago
You misunderstand why the C++ version is complex. Here's a similar version in C++ that is a one liner too. https://godbolt.org/z/dhsdoGcc4 Notably, examine the simple assembly generated. In comparison, most other
942.
by fooker 1y ago
Thinking about this a bit more, foo could be a ‘context’ object here! data |foo> bar |> baz This almost gets us to a point where you can express a dataflow DAG in code.
943.
by fooker 1y ago
There was an experimental implementation for uniform function call syntax in a clang fork, so it’s clearly doable.
944.
by fooker 1y ago
C++ has a philosophy of not doing anything with the language if it can be done in library. Now the question is : what can we improve in the language so it can allow you to define a sum type better and more usable compared to std::variant? T
945.
by fooker 1y ago
C++ is surprisingly close to being a usable functional language. The two missing pieces are - * structural pattern matching * uniform function call syntax that is : a.foo(b) vs foo(a, b) being interchangeable. With the kitchen sink approach
946.
by fooker 1y ago
> There’s a lot of people on the Left Great, I guess then it won’t be too difficult to name ..say.. five prominent politicians who have made this stance clear?
947.
by fooker 1y ago
Here’s a reminder to everyone that you don’t have to spend 300$ to use a great mechanical keyboard. Get a decent cheap one (ideally with switchable switches!) for 50, use it for a while, then figure out if you want better switches (20-30$ f
948.
by fooker 1y ago
> it’s probably a good idea to at least tell the healthcare professionals No, the pipeline to handle this feedback is completely missing from modern medical practices. There is not really any way for a doctor to make use of this informat
949.
by fooker 1y ago
In the compiler world, these HP compiler folks are leading compiler teams/orgs at ~all the tech companies now, while almost none of the Intel compiler people seem to be around.
950.
by fooker 1y ago
>Itanium wasn’t a turd It required immense multi-year efforts from compiler teams to get passable performance with Itanium. And passable wasn't good enough.
951.
by fooker 1y ago
> an analogue film camera is also a DSLR Funny you say that, as this is where the term originated. Electronic (as opposed to mechanical) control of focus and controls were called ‘digital’ long before the advent of digital sensors.
952.
by fooker 1y ago
Not having a mirror is not the most important characteristic of the hardware for this project. Being able to control it through an API is. What happens after you trigger the shutter is out of scope. Speaking of shutter buttons, a bunch of n
953.
by fooker 1y ago
Big tech has negotiated this H1B narrative very well. It kills two birds with one stone - * Easy excuse to reduce hiring junior engineers just as AI is getting good. People seem to think there are 'slots' to fill with reduced im
954.
by fooker 1y ago
Yep, the leap away from this exponential blowup is what has made LLMs possible. A few more leaps and we should eventually get models small enough to get close to information theoretic lower bounds of compression.
955.
by fooker 1y ago
Just in case you didn’t know, dude works at Apple now! (For about ten years now..)
956.
by fooker 1y ago
This is also something that is ideally fixed in hardware. Suspend to RAM should take extremely low energy (about 10 milliwatts). Apple has this down to an art while other laptops have quite of bit of random power draw from motherboard compo
957.
by fooker 1y ago
LLMs are just not the technology for 'search' and cite references, no matter how 'agentic' you make it. They are great for a large number of other things, like generating code for example. We are so focused trying to sho
958.
by fooker 1y ago
What's old is new again :)
959.
by fooker 1y ago
This sort of stuff is starting to have hardware support now, so you no longer have to perform this wizardry. Enabled on most iphones even!
960.
by fooker 1y ago
The paranoia stems from this being a suspiciously cheap device that is meant to be ordered in bulk from China.

More ›