Viewing profile — ZeroCool2u

Domino Data Lab | Remote (US) | Multiple Roles Domino is hiring for a number of roles! Great pay, hours, culture, product, and mission. I went from being a long time customer to be…

I have this exact same problem. It's really the only annoying thing about my apartment. Would absolutely pay for an off the shelf solution to this problem.

Really cool! Just ordered one. Do you guys have an active lab in SB?

I used it for double checking some stuff while helping my friend build his PC! I had it in tight spaces and it helped me verify some details around which nvme slot to use first.

Gemini live has been able to do this for over a year now. I can just activate it on my phone and it really works surprisingly well, especially the interruption. I've tested it with…

The tutorial is helpful: https://model-checking.github.io/kani/kani-tutorial.html Reminds me a bit of hypothesis auto in its simplest applications: https://github.com/timothycrosle…

Having used it quite a bit when it was out, it's not. It's certainly better, but in some ways it's worse. It's trained to be more "agentic" and even in cases where I wanted to talk…

This one? https://www.cs.huji.ac.il/~nati/PAPERS/lmn.pdf

More information here: https://youtu.be/66QzlDewigE?is=WC9vt6LBtdWFPqfp

One can only hope The Culture is the trajectory the future bends to.

Zed is excellent. I know it's weird, but the last thing holding me back is being able to have a browser based Zed session the same as VSCode.

A crucial factor tech industry folks tend to ignore is how much executives value predictable costs. Cloud migrations got away with this, but still had to argue fiercely, because 't…

Interestingly, Anthropic uses Mintlify for their docs. Not Stainless. Obviously, the focus is on SDK generation, but still strange.

It is frustrating, because I really enjoyed my Valve Index and want a replacement and Meta has some of the best VR tech in the world, but I've waited 6 years for Valve to release t…

The quality of apps in the Google Play Store has dropped massively. There are still some gems, but for better or worse, the ecosystem is simply not as strong as Apples and it's cer…

There was a time where Google could've been competitive in this space, specifically against Apples MacBook product line, but that has long since passed. The 3rd party manufacturer …

Bedrock is both more expensive, less feature complete, and less reliable in terms of raw volume of 500 errors.

Interesting side effect of this is that Google Cloud may now be the only hype scaler that can resell all 3 of the labs models? Maybe I'm misinterpreting this, but that would be a n…

Benchmarks are favorable enough they're comparing to non-OpenAI models again. Interesting that tokens/second is similar to 5.4. Maybe there's some genuine innovation beyond bigger …

Whenever we get the locally runnable 4k models things are going to get really awkward for the big 3 labs. Well at least Google will still have their ad revenue I guess.