Jhsto

19 ms·

181.
by Jhsto 5y ago
I hope this won't undermine the openness of the device. It seems quite apparent that someone will use the root access of the device to implement the paid features on their own and package it as an alternative UI. And at that point, reM
182.
by Jhsto 5y ago
I think G2A sends you a key of a physical copy, do they not? Haven't used them for a while.
183.
by Jhsto 5y ago
I wonder how much information do you get from arxiv regarding the dependency graph via citations. Could there be a way that I, as I upload my own manuscript, to tip the authors of the people I citated and conversely someday have the possibi
184.
by Jhsto 5y ago
How does the NFT thing work? I do not have Polygon tokens but I wonder what have you envisioned as the functionality of this to be?
185.
by Jhsto 5y ago
PokerStars. If you are based in the US, I have no idea what your options are. The format is multi-table tournament knockout games which heavily favors you having a bigger chip stack than anyone else.
186.
by Jhsto 5y ago
Playing a poker can also be an interesting mental exercise. I occasionally play 3-4 tables concurrently online, of which I ultimately focus on a single one I always-eventually get lucky in (it might take a dozen games but the single one usu
187.
by Jhsto 5y ago
I studied the screen capture topic some time ago with video-games. Interestingly, there are also direct APIs for Windows, e.g., https://github.com/bryal/dxgcap-rs
188.
by Jhsto 5y ago
Each to their own. I have a 6 disk HDD RAID server in my sleeping room, because I find the random read and write sounds relaxing at night. It's not disturbing either, as the sounds are muzzled by a noise dampening case.
189.
by Jhsto 5y ago
Array languages are arguably more abstract. Rank polymorphism allows semantically the same program to work over various array ranks, where the execution meaning is derived from the context which is the shape of the argument. You can find th
190.
by Jhsto 5y ago
Birds definitely do this to cats. My parents used to have a cat which could occasionally located by listening to where magpies were shouting. Now that the cat is gone, the magpies can often be located by listening to where the thrushes are
191.
by Jhsto 5y ago
Despite the low liquidity on the exchange, the market cap of the token was supposedly $250M: https://twitter.com/Mudit__Gupta/status/1409463917290557440?...
192.
by Jhsto 5y ago
> most IP generated by grad students is not worth much I have heard this a lot. My counterargument is that if that is the case, why do they want the IP anyway? Of course they can say that the IP is half created by the professor, but on t
193.
by Jhsto 5y ago
Had a similar experience with Oxbridge this year. They admitted me to a PhD program and asked me to pay the fees (which I was fine with, I had my own funding source), but they also wanted 50-100% of the IPR. Whether it is 50% or 100% depend
194.
by Jhsto 5y ago
> Would APL work as well with the unusual symbols replaced by keywords? Hot take: take a look at numpy. In general, I would say no. One of the main points is that the notation is terse so that the experienced readers can at a glance see
195.
by Jhsto 5y ago
Interesting, thanks!
196.
by Jhsto 5y ago
All YC companies are legally based in Delaware. Though if the work is done in California, I do not know if the Delaware laws are enforceable, even if the case is settled in Delaware.
197.
by Jhsto 5y ago
There are still many ways to complete a college education. At best, college can teach you about rigour and timely topics that are both worthwhile and necessary for independent study. Some shortcuts to these could be, e.g., to work as an und
198.
by Jhsto 5y ago
Has anyone else tried writing under some arbitrary restrictions? In case you did not notice, the blog subtitle is 11 sentence essays. The post as well, unsurprisingly, is 11 sentences (... I guess, but it has a number of complicated ones).
199.
by Jhsto 5y ago
Lets ban redundant computation. I see all these inefficiencies in everyday software engineering: container isolation spends unnecessary resources, hundreds of thousands of Wordpress sites run on their own servers instead of a single big Wor
200.
by Jhsto 5y ago
There's two persistence types: pinned and unpinned files. Pinned files persist, but someone needs to seed them at least occasionally. Unpinned files get eventually garbage collected. If you want to share a file, you don't need to
201.
by Jhsto 5y ago
After trying all these WebRTC options and the NAT traversal service (STUN, iirc) always being down, I ended up using IPFS instead. With public gateways from CloudFlare it is very easy to effectively drag and drop files and have them accessi
202.
by Jhsto 5y ago
Having a two year masters degree on the subject, I can give a go: - FAANG companies, top research universities, spinoffs of top research universities - Yes and no. Yes because FM orbits around philosophical questions like correctness, sound
203.
by Jhsto 6y ago
Note the difference between "I could not find any bugs" and "I proved there are no bugs". I would assume only the latter are hired. Yet, program proving as in formal verification is a very academic specialisation. The re
204.
by Jhsto 6y ago
The donate button on the front page takes you here: https://framasoft.org/en/#soutenir
205.
by Jhsto 6y ago
It indeed seems to be: https://arxiv.org/pdf/2005.01945.pdf
206.
by Jhsto 6y ago
Kind of, you can use a development network to which you can get free tokens to pay the gas fees.
207.
by Jhsto 6y ago
I feel like the real question here is what will the semantics of a programming language with dependent types look like without enforcing of GADTs all the way, and whether it will work. That is, thanks to GADTs functional languages with depe
208.
by Jhsto 6y ago
Well, oneAPI can be used to do that. This submission is most likely in reference of a post a few days ago [1]. Here, PTX which CUDA targets is retargeted into SPIR-V which is ran atop oneAPI [2]. [1]: https://news.ycombinator.com
209.
by Jhsto 6y ago
Then again CUDA is pretty accessible language to program SIMD machines. I am bit sceptic if most people would recognise subjectively well-done SIMD language (lets say from correctness and performance standpoint). The programming model for S
210.
by Jhsto 6y ago
Feels like the subscription model is an answer for popular games being free, which itself make a bank on the 1% who spend an enormous amount of money on in-game items. Seems like everyone wants to be Valve in a way or another, owning a plat

More ›