HackerTrans
トップ新着トレンドコメント過去質問紹介求人

kuter

no profile record

投稿

Show HN: Float Gallery, visualizations for various floating point formats

kuterdinel.com
2 ポイント·投稿者 kuter·昨年·0 コメント

Nvidia Instruction Set Specification Generator

github.com
2 ポイント·投稿者 kuter·2 年前·1 コメント

Reverse Engineered Nvidia Hopper Instruction Set

kuterdinel.com
3 ポイント·投稿者 kuter·2 年前·0 コメント

Supplements I Take

near.blog
1 ポイント·投稿者 kuter·2 年前·0 コメント

Why the Matrix.org Homeserver Exists?

matrix.org
2 ポイント·投稿者 kuter·2 年前·0 コメント

Checking Causal Consistency of MongoDB

muratbuffalo.blogspot.com
3 ポイント·投稿者 kuter·2 年前·0 コメント

Microsoft admits Russian state hack still not contained

fortune.com
12 ポイント·投稿者 kuter·2 年前·0 コメント

Retired Army officer charged with sharing classified Ukraine info on dating site

cbsnews.com
6 ポイント·投稿者 kuter·2 年前·3 コメント

Epic Games hit by 189GB hack, including login and payment info

rockpapershotgun.com
25 ポイント·投稿者 kuter·2 年前·19 コメント

Genie: Generative Interactive Environments

sites.google.com
82 ポイント·投稿者 kuter·2 年前·16 コメント

Heap Building Algorithm

leimao.github.io
3 ポイント·投稿者 kuter·2 年前·0 コメント

Why Doesn't My Model Work?

thegradient.pub
1 ポイント·投稿者 kuter·2 年前·0 コメント

SDL3 Introduces a Vulkan Renderer

phoronix.com
3 ポイント·投稿者 kuter·2 年前·0 コメント

Show HN: Python Bytecode and AST Explorer

kuterdinel.com
1 ポイント·投稿者 kuter·2 年前·1 コメント

Spatial VLM: Endowing Vision-Language Models with Spatial Reasoning Capabilities

spatial-vlm.github.io
1 ポイント·投稿者 kuter·2 年前·0 コメント

Octo: An Open-Source Generalist Robot Policy

octo-models.github.io
2 ポイント·投稿者 kuter·3 年前·0 コメント

[untitled]

1 ポイント·投稿者 kuter·3 年前·0 コメント

Writing a simple JIT Compiler for x86 in about 1000 lines of C

kuterdinel.com
7 ポイント·投稿者 kuter·3 年前·2 コメント

コメント

kuter
·2 年前·議論
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!
kuter
·2 年前·議論
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).
kuter
·2 年前·議論
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.
kuter
·2 年前·議論
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.
kuter
·2 年前·議論
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.
kuter
·3 年前·議論
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.
kuter
·3 年前·議論
I wonder if the recent departure of Kyle Vogt from Cruise is related. Emmett Shear and Kyle Vogt founded Twitch together.
kuter
·3 年前·議論
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.
kuter
·3 年前·議論
I am the author of the article, please let me know if you have questions.
kuter
·3 年前·議論
Hello HN, I am graduating in a few months, last summer I was an SWE intern at Google before that I did a Google Summer of Code with the LLVM foundation working on the inter-procedural optimizations. I enjoy taking on deeply technical challenges. Although I have more professional experience towards low level programming. I enjoy experimenting with Deep Learning in my spare time. I am also very interested to learn more about finance when I have time.

Location: Turkey

Remote: Ok

Willing to relocate: Yes (Prefer to)

Technologies: C/C++, LLVM, Compilers, Python, Deep learning(Mainly Tensorflow but Torch is Ok), TS, JS, Rust(Intermediate).

Résumé/CV: Available upon request.

Email: [email protected]

Blog: kuterdinel.com
kuter
·5 年前·議論
For anyone interested there is something called fuzzing that uses usually code coverage based heuristics to generate data to find bugs.

For example LLVM's lib fuzzer uses instrumentation to track code coverage and mutates data to find invalid behaviour.

https://llvm.org/docs/LibFuzzer.html

It uses a compiler pass to insert code to branch points functions calls etc. I think it uses genetic algorithms to increase coverage by changing the data.

There are others that work in similar ways one of them is. https://github.com/google/AFL