cmrx64

17 ms·

211.
by cmrx64 3y ago
There might be an energy hit… but there are a LOT of compute cycles available between cache fills: https://www.blosc.org/pages/blosc-in-depth/
212.
by cmrx64 3y ago
Dollar General, universally understaffed, often with random shit stacked up in aisles, quite often just a single soul running the shop, is usually pretty depressing for me.
213.
by cmrx64 3y ago
The popular alternative (many paywalled articles will even have a top comment with this generated already) is to use the fabulous service https://archive.ph
214.
by cmrx64 3y ago
the curse of the defender: attackers just need one foothold into the system to defeat it.
215.
by cmrx64 3y ago
it’s probably the same as this chromium bug which impacts Opera: https://blogs.opera.com/security/2023/10/screen-capture-noti... basically it’s warming up a cache… i wonder what triggers it in the background,
216.
by cmrx64 3y ago
it might be a calque? seems unlikely, though.
217.
by cmrx64 3y ago
> Maybe an argument could be made that some security issues, for example, have been avoided thanks to Rust, but that's not really provable in any meaningful way. Google has some pretty good data on this: https://security.
218.
by cmrx64 3y ago
i’m very excited for the next generation of photonics accelerators, like https://lightmatter.co/ to give massive compute speedups for linear algebra
219.
by cmrx64 3y ago
You don’t need to cause extinction events in your mouth twice a day to avoid poor dental hygiene.
220.
by cmrx64 3y ago
use https://archive.is/UXyGN as an alternative, idk why people drop "phake" links ;)
221.
by cmrx64 3y ago
I’m someone who often takes trains when I can, over planes. The scenery is sometimes nice, but in the NE corridor it’s largely just backyards and tree-lined alleys through industrial areas. More pleasantly, I don’t need to interact with TSA
222.
by cmrx64 3y ago
Isabelle, an “Academial strength” theorem proving environment, is built on PolyML, and has many features for making ML development more pleasant. https://web.cs.wpi.edu/~dd/resources_isabelle/isabelle_progr... h
223.
by cmrx64 3y ago
Diacetyl contains no fluorine, it’s gotta be whatever lining they use on the paper.
224.
by cmrx64 3y ago
Tableau viewer that uses 3d visualizations for spatial dashboards ;)
225.
by cmrx64 3y ago
you forgot the link :) when posting, you can paste the url and it will autopopulate the title tag edit: i see you know how HN works
226.
by cmrx64 6y ago
psychologically i’m not convinced the wetware differentiates them. dopamine is a mechanism for motivating behavior, to increase survival outcomes. when it comes to empathy (understanding others) this is what’s key. status symbols are soci
227.
by cmrx64 6y ago
wants are wants because we imagine having the want fulfilled will ___________. what's your take on the blank?
228.
by cmrx64 6y ago
https://www.semanticscholar.org/paper/Evaluation-of-a-charac... is the closest work i found in only a few minutes of lazy research on phone screen. “ab initio” is the phrase you can use to index into the literature on
229.
by cmrx64 6y ago
portable grey map? precision guided missiles? idk.
230.
by cmrx64 6y ago
i learned to my displeasure that thick manuals are sometimes distributed with products as USB sticks these days, i immediately thought of this when i opened up an inverter box and saw a USB stick sitting there
231.
by cmrx64 6y ago
the square kilometer array produces a terabyte a second. 21tb/mo is peanuts. we’ll get there :)
232.
by cmrx64 6y ago
absurd bandwidth? try this on for size: the square kilometer array does online (“realtime” loses its meaning when the data processing latency gets long enough) interferometry on millions of antenna achieving an OUTPUT data rate of a few TB&
233.
by cmrx64 6y ago
current tools, verifying C code like seL4? never going to happen. but i'm hopeful about new techniques, things like the work Amal Ahmed http://www.ccs.neu.edu/home/amal/ is doing. you don't need to forma
234.
by cmrx64 6y ago
ty for the kind words! i'm hoping 2021 will bring a working demo of some basic goals :) the rust ecosystem has moved a long way since 2015, async/await finally being everywhere is a gamechanger because almost everything is async&#
235.
by cmrx64 6y ago
i've been working on and off (mostly off) on https://robigalia.org/ for five years now, and interned with the sel4 verification team. feel free to swing by freenode#robigalia if you you want to chat sel4 or trustworthy
236.
by cmrx64 6y ago
https://driveghost.com/ current users aren't very loud about it. RTI is implementing DDS for sel4. productionization is still early days. DARPA is pushing for it. you might look at the speakers, sponsors, and attendees
237.
by cmrx64 6y ago
is it though? come on. they’re changing one explanation on a webpage as the world around them changes. that IS how herd immunity is going to be reached. it’s unethical to continue to intentionally expose people to the virus when an efficaci
238.
by cmrx64 6y ago
> It takes a lot of energy to raise the temperature of a house - more than to maintain a given temperature is this true? the house is constantly bleeding off its heat at a rate proportional to the temperature difference between interior
239.
by cmrx64 6y ago
i think it would be best to optimize roughly for emitted VOCs as opposed to absorbed VOCs, if the thought is that the plants are putting good things into the air!
240.
by cmrx64 6y ago
c diff proliferating in the solid waste?

More ›