Jhsto

23 ms·

241.
by Jhsto 6y ago
LTE (and 5G on 3.6Ghz, I guess) signal can cover many kilometers. The protocols are built to be more reliable (a phone keeps a tab of access points to which it can quickly hop if access to one base station is lost) and the licensing ensures
242.
by Jhsto 6y ago
Yeah, I'm not an expert either, but there are initiatives to this as well. One such initiative is Nokia Kuha: https://www.kuha.io/ The problem is exactly what you described: there are currently no commercial UE or base
243.
by Jhsto 6y ago
For those interested, this project seems to be a rewrite of https://nextepc.org/ into Go. Alternative projects include https://github.com/facebookincubator/magma and https://github.com/
244.
by Jhsto 6y ago
> Go find your own subfield that you are interested in and go deep in it. Conversely, do know that this may not yield much appreciation from professors. BSc and MSc degree programs don't generally reward you for doing work that is s
245.
by Jhsto 6y ago
The weird-looking symbols also go the other way around: if your language uses umlauts, you can score very good .com domains. For example, I have the equivalents to email.org, entrepreneur.com, and hacks.com in my native language. Some of th
246.
by Jhsto 6y ago
I am indeed writing it in Go, but I have somehow missed the race condition detector... So thanks for reminding me of it! Once I get back to programming it more I'll look up how to properly make use of all the tooling -- the last time I
247.
by Jhsto 6y ago
In my case, I still have unexplainable race conditions in my software, so take it with a grain of salt. But yes, identification and understanding both the locking and synchronization are hard. I don't think there are many other definit
248.
by Jhsto 6y ago
From the anecdotal experience of developing such software as a side-project for myself, the hardest parts technically were dealing with concurrency and race conditions caused by it. Other skills for prosperity is understanding statistical s
249.
by Jhsto 6y ago
FWIW, there already exists LLVM to SPIR-V compiler: https://github.com/KhronosGroup/SPIRV-LLVM-Translator Alas, this supports SPIR-V to 1.1.
250.
by Jhsto 6y ago
Similar to one of my family members: she thought the Internet is a "thing" you just put stuff to, and it was available to all. She had no idea Facebook has an actual computer somewhere receiving her queries.
251.
by Jhsto 6y ago
Are you aware of Pi-calculus and ProVerif? ProVerif sounds to address at least some of your requirements. Links: - https://en.wikipedia.org/wiki/%CE%A0-calculus - https://prosecco.gforge.inria.fr/person
252.
by Jhsto 7y ago
Thanks, the answer with some examples was exactly what I was hoping to get answered! Thank you for taking the time to respond.
253.
by Jhsto 7y ago
Thanks for the video and slides, super interesting! One question: in one of the slides, you mention the Vulkan 1.2 / SPIR-V 1.5 Vulkan Memory model. What exactly is this and why do you think this is meaningful? Would you have any links
254.
by Jhsto 7y ago
I would imagine excited. Rust's affine type system is an application of logic theory. OCaml is initially French academic production and (from an anecdotal experience) those academics tend to dis how impure most software (and memory man
255.
by Jhsto 7y ago
I don't think it's that great for reading. It does not have a backlight. I own both the reMarkable and Kindle Paperwhite and I prefer to read books on the Kindle.
256.
by Jhsto 7y ago
Meanwhile, the Finnish government owns 55.8% of Finnair.
257.
by Jhsto 7y ago
Please do correct me if I'm wrong, but I've just recently researched APL and it seems like beyond J there really isn't anything else. There's a lot of recent research however, so maybe soon you'll see something new,
258.
by Jhsto 7y ago
When I have been stressed out for longer periods of time, I start to get weird problems with sleep. This has included hearing many indistinct voices when going to sleep, waking up to a sleep paralysis with the demon sitting on me / nex
259.
by Jhsto 7y ago
I remember creating a mobile app for Spotify before they did. It used a reverse-engineered API on a server to download songs and stream them to mobile devices. Most of my friends used it at my school. There were some issues with the server
260.
Can Twitter Save Science?(alexdanco.com)
1 points by Jhsto 7y ago|0 comments
261.
by Jhsto 7y ago
Any comment on the salary in these positions? Are they higher than for the average software developer, and if so, by how much? I am wondering since to my experience, the application and development of logics and verification procedures to b
262.
by Jhsto 7y ago
I got a herniated disc which went undiagnosed for a long time. I've been prescribed/taken/done alcohol, tricyclic antidepressants, ibuprofen, codeine, anti-inflammatory steroids orally and by injections, McKenzie, light deadl
263.
by Jhsto 7y ago
I've been guided to instead cycle. If your back pain is caused by muscle imbalance (e.g., another leg longer than the other) or herniated disc, then running will supposedly make it worse. Yet, activity is important, which might be why
264.
by Jhsto 7y ago
For me, I feel like caffeine is a constant reminder of how stressful my life is. The day I can forego caffeine is the moment I feel like I've made it in life. But for now, when I sometimes go cold-turkey on it, within days I will have
265.
Uniswap smart-contract PR: “block some countries”(github.com)
1 points by Jhsto 7y ago|0 comments
266.
by Jhsto 7y ago
How viable do you think SPIR-V is for computation? I am thinking of researching (that is, creating my own) DSLs targeting SPIR-V.
267.
by Jhsto 7y ago
The article notes that in some languages it is possible to form sentences by chaining appendixes to them. An example in Finnish: - jousta (normal form of the verb run) - juoksen (I run) - juoksentelen (I run around) - juoksentelisinkohan (I
268.
by Jhsto 7y ago
Much depends on the ad network. The default YouTube one, which is essentially the only network you can easily get into with a single video, paid me 23 cents CPM for video-game genre.
269.
by Jhsto 7y ago
Neteller has both physical and VCCs available for generation via their web portal. You can set a balance for each VCC, but I do not think they automatically expire. They do not offer an API to do it, but it should be possible to curl each e
270.
by Jhsto 7y ago
Any specific parts would you like to know more about? In general, "how/if 5G is actually going to enable things like this in a way not possible with 4G" can be done. But, from a software engineering perspective, this has more

More ›