Viewing profile — sischoel

The issues with auto-translated Reddit pages unfortunately also happens with Kagi. I am not sure if this is just because Kagi uses Google's search index or if Reddit publishes the …

Dotted notation would not work because the keys in a dict can also contain dots. I am not terrible familiar with them but there is something called `lenses` that comes from functio…

Or use itemgetter: >>> from operator import itemgetter >>> dct = {'greeting': 'hello', 'thing': 'world', 'farewell': 'bye'} >>> thing, greeting = itemgetter("thing", "greeting")(dc…

I was looking a bit at the code for the shared memory implementation in https://github.com/3tilley/rust-experiments/tree/master/ipc and the dependency https://github.com/elast0ny/r…

The CUDA documenation tells me that there are more performant but less precise trigonometric functions: https://docs.nvidia.com/cuda/cuda-c-programming-guide/index.... Do you know …

I am not sure if this was the very first paper talking about attention, but https://arxiv.org/abs/1409.0473 from 2014 is a famous one. What is still missing there, is the idea of s…

Do you have any sources on that? The only thing I could find was that some parties want to ban digital billboard in the city of Zurich (not the whole canton).

A few years ago I was trying if I could port that code to Linux. I made some decent progress, but in the end I got stuck trying to convert the resources (images and audio files) to…

There are some very explicit images for the default prompt when one scrolls a bit around there, can't imagine that OpenAI would not filter these out.

When one talks about the average income, does that average only consider people that work? Otherwise, in countries with a high rate of unemployment, I would imagine that a single s…

It is indeed O(N). There is also a more efficient algorithm (in case the range is small) that uses binary search to find the first index. Such an algorithm would have time complexi…

From skimming the paper ( https://arxiv.org/abs/2211.09055 ), the proof seems to be amazingly short and relies only on a few theorems that one encounters in introductory class on i…

Why is that though? Wouldn't something like `mov eax 0` also work?

Isn't that the case for most programming languages? The only exceptions I can think of are C++ and Rust.

Do you know any sources on on how set equivalence theory is related to integer programming? Because I don't see the immediate connection and I could not find anything on the intern…

Such graph collections are super helpful when trying to figure out if some theorem holds for a certain graph class, although only up to a certain size. I think a lot of these graph…

C and C++ do not have labeled breaks - Java indeed has. But of course you are right, that one could just use goto for C/C++.

Genuine question, not a comment on OPs implementation: What is the reason that people so often use some external service for creating task queues (often backed by some kind of db),…

The page is from 2008 - unfortunately a lot of links to the original pictures do not work anymore.

One could argue that Julia is just Lisp with a syntax that appeals more to popular taste. There is also a secret option to get into a lisp repl in Julia "julia --lisp".

Indeed, there are quite a few application in cryptography, where one has to search trough a huge space. Wikipedia actually listens a few: https://en.wikipedia.org/wiki/Cycle_detect…

It looks as if this year only repos with the topic "hacktoberfest" or PR's with the the tag "hacktoberfest-accepted" participate, so this should limit the amount of spam. Source: h…

What about "data engineer"? There seem to be a lot of jobs for that title nowadays.

Yes, I hadn't thought about that before, but of course the difference here is that the Rust compiler cannot just produce a "good enough" result for pattern matching.

While this is an interesting result, isn't basically every compiler NP-hard, because of register allocation?