elcritch

48 ms·

901.
by elcritch 3y ago
I’ve lived in a few areas in the US where internet was and still is horrible if available at all. Visiting my mother to help her out for longer than a few days was a pain since she had traditional satellite internet and terrible cell which
902.
by elcritch 3y ago
Ah my mistake. I misread and was thinking in regards to just doing the CO2 capture portion of generating fuel. Yes making new fuel from captured CO2 will take as much or more energy than released from burning it.
903.
by elcritch 3y ago
> This is compounded by the fact that the energy it takes to turn CO2 back into fuel can never be less than the energy released by the fuel. That doesn’t seem right. Most fossil fuels have multiple CH3 complexes. Even without pulling up
904.
by elcritch 3y ago
See "ex cathedra" https://www.newadvent.org/cathen/05677a.htm
905.
by elcritch 3y ago
Yep, that’s it.
906.
by elcritch 3y ago
Sometimes it feels like that here.
907.
by elcritch 3y ago
Perhaps because South Korea started marketing their food and culture? https://blog.hubspot.com/the-hustle/the-40m-bet-that-made-so...
908.
by elcritch 3y ago
I'm reading (well listening to) a sci-fi novel based on that premise called "Quantum Radio". Pretty classic techno-thriller, complete with shadowy organizations. I really enjoyed the premise and setup of CERN data being used
909.
by elcritch 3y ago
Yah, but that's definitely not the default in Rust land.
910.
by elcritch 3y ago
Yah, it's nice reading some balanced takes.
911.
by elcritch 3y ago
The worst part IMHO was that most of that stuff was backed up by saying “trust the science” and anyone who criticized it was accused of being “anti-science”.
912.
by elcritch 3y ago
Even transient probiotics provide benefits too. Even when killed by stomach acid they trigger certain beneficial pathways. Many, perhaps most, traditional diets from around the world featured some live-culture fermented dish as a staple. Li
913.
by elcritch 3y ago
That portion of the books didn’t seem too well reasoned. Digital encoding with high redundancy error correction and carved into walls would be superior to analog encodings for long term archival IMHO. Though more difficult to decode, any al
914.
by elcritch 3y ago
On Mac there’s ‘Kap’ which has plugins for recording keystrokes and mouse clicks. https://getkap.co/
915.
by elcritch 3y ago
> Some researchers now believe that many if not most of the benefits come from all of the microbial action prior to consumption. That seems counter to the whole idea behind modern research on the importance of the gut microbiome and a th
916.
by elcritch 3y ago
Move to ipv6 and drop ARP and DHCP, which eliminates a good chunk of the older cruft. IPv6 builds everything on top of multicast support which is required for IPv6 switches/routers. It's so much cleaner. You could even avoid DNS i
917.
by elcritch 3y ago
One could say he was giving the owners a chance at recovering some value rather than nothing. Also, it’s probably a more apt analogy for modern US hospitals: when you’re having say a heart attack you can’t exactly “price shop”.
918.
by elcritch 3y ago
> This is a real trade-off. The feature I have here provides strictly less static safety than using sum types. There is a slight performance cost to checking the type tag when accessing case-specific fields. In return, you get simpler, m
919.
by elcritch 3y ago
I find that Firefox consistently uses less memory. It might be a bit slower on some things, but the slimmer better memory usage is nice.
920.
by elcritch 3y ago
NIH study: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9579879/
921.
by elcritch 3y ago
Is it hard! Font rendering is handled by Pixie and the guys who wrote it made a great NimConf video showing that https://www.youtube.com/watch?v=8acDfUIwLnk Pixie can render svg and ttf fonts with unicode in addition to dra
922.
by elcritch 3y ago
Not currently but it's on my mind and I'm using utf8 for text with utf-32 for rendering. Good links for screen reader info are welcome! > If the latter, you're in for a word of pain with screen reader compatibility, intern
923.
by elcritch 3y ago
That's good to hear! I've been considering it. Not sure if as a commercial product in it's own right - what to sell, maybe first class mobile app support? At least I personally would like to use it to ship commercial cross-pl
924.
by elcritch 3y ago
P.S. I went through Wikipedia's definition a bit more. Not sure it's a full dependent types with the type pairs and stuff. Nim does let you do (constant) value to type conversion with expressions: https://play.nim-lang.
925.
by elcritch 3y ago
> What does this mean? There's a runtime VM or compile time VM? Compile time VM. It's used to run macros / templates / concepts. You can also run most code at compile time in a `static` block except for stuff that nee
926.
by elcritch 3y ago
> Ya I don't think this is a good definition of dependent type - the prototypical example of a dependent type is a k-length vector. Yah that's why I qualified my statement as dependent type like setup as I don't know a goo
927.
by elcritch 3y ago
> I don't get it - if empty object doesn't act as a top how does what you wrote demonstrate flexibility? To quote from Wikipedia: dependent types are used to encode logic's quantifiers like "for all" and &
928.
by elcritch 3y ago
Nope, it's just an empty object, aka an empty C struct. Generics would be like: type MyObject[T] = object val: int other: T
929.
by elcritch 3y ago
I've been meaning to share this for a while, but always put it off. A few years back I wrapped most of the ESP-IDF in Nim for an ESP32 project for a startup. I had to add FreeRTOS to Nim's standard library to get networking which
930.
Show HN: Program ESP32s in Nim(github.com)
5 points by elcritch 3y ago|1 comments

More ›