I had the pleasure of working with Johannes as part of Google Summer of Code in 2020 and 2021 working on LLVM. He mentored me and many students over the years.

I remember in 2020 he would meet with us at 7AM his time to accommodate every student he was working in different parts of the world (Turkey, Greece, China, Japan iirc), I was the one from Turkey.

I had Coffee with him and his wife few months back. He was so full of life despite everything.

He touched the lives of many people. What a great life lived despite being so short.

Hello HN, I wrote a fuzzer that can generate ISA docs for NVIDIA GPU architectures.

Here are is docs for hopper(sm90a) https://kuterdinel.com/nv_isa/

and here is for 4090 (sm89) https://kuterdinel.com/nv_isa_sm89

I am here to answer your questions if you have any!

It looks like the future for laptops is ARM. I hope Lenovo makes a ThinkPad with this chip, there already is a ThinkPad with a Snapdragon SoC (ThinkPad X13s), but from what I have read it's not very good. I considered getting a MacBook to use with Asahi but some important features are still unsupported (like HDMI output support).

I did something similar for Instagram on android few years ago. The usual methods for bypassing certificate didn't work on Instagram, they were statically linking openssl into a shared library called libcoldstart.so. I Spent some time reading openssl documentation and ended up installing a hook to the function that configured the certificate verification.

In case you are curious. I used Frida for installing hooks to native functions.

The entire thing runs in the browser without needing a backend (unlike godbolt).

Fun challenge: Look at the source code and figure out how it works.

The deal breaker with obsidian for me is that it is not opensource. It's great that it's at least using a markdown derivative format.

I am using Emacs Org Mode and quite happy with it. You can link different files, include images, embed and view LaTeX, encrypt your notes with GPG and much more. I think it will stand the test of time better than Obsidian which is something I care a lot for note taking and journaling.

There's also Org Roam which adds some useful ZK-like features to Org Mode.

Few points:

- Not sure if people would want to "talk to" a device in public.

- Anything and more that this device do can be done by a smart phone that people already have.

- I feel like people prefer using a UI interface instead of speech.An example to this behavior might be using delivery apps instead of calling a restaurant.

- Looks too wide to fit into most pockets.

I too thought that was the problem, but th emovie "Her" made it look like it is not going to be.

I wonder if the recent departure of Kyle Vogt from Cruise is related. Emmett Shear and Kyle Vogt founded Twitch together.

Wait why would you think this is would be related to Kyle?

Kyle's story was brewing from the moment GM appointed their attorney to manage Cruise - everyone knew there was gonna be restructuring of the executive team after the incident.

If anything, it was a convenient time for Kyle to step down as it wouldn't get a lot of prime time thanks to OpenAI drama.

If Emmett has any say at all in the matter, Kyle's almost definitely under consideration.

It would make a lot of sense. Kyle knows the space, is already wealthy and has always been pretty altruistic.

And the fact that Emmett is only interim should give you a hint something is up.

On the other hand, if Kyle was ousted for pushing too hard too fast at Cruise, that seems like out of the frying pan into the fire. See https://archive.is/Vqjpr

> And the fact that Emmett is only interim should give you a hint something is up.

That they didn't complete the process of a permanent CEO over the weekend after firing and then negotiating with Altman?

It's probably because this is a very good time for tech companies to publish bad news, that GM chose to fire Vogt now.

And water is blue and so is the sky. Coincidence I think not! /s

Took a peek at the models they use. It seems to be a vision transformer encoder decoder architecture with a resent backbone. Looks really good. I had a similar idea of training a model and making a desktop application, but haven't had the opportunity. I wonder how much compute it took to train the model.

I think this paper was the first one to do OCR on LaTeX: http://cs231n.stanford.edu/reports/2017/pdfs/815.pdf The paper describes an Encoder-Decoder architecture with CNN encoder and LSTM based decoder.

Want to give proper credit to my former student for starting this: Yuntian Deng et al., 2016 (https://arxiv.org/abs/1609.04938). I believe this repo uses the dataset from that paper.

Some recent cool work he's been doing: https://www.youtube.com/watch?v=lx1XcTdhalU.

I am the author of the article, please let me know if you have questions.