hebrox

11 ms·

61.
by hebrox 5y ago
Is this [1] perhaps the book you’ll work through? [1] https://homotopytypetheory.org/book/
62.
by hebrox 5y ago
I've picked up studying math. Right now I'm using "plain" markdown, but I'm starting to struggle with writing down formulas. Is this something that Obsidian (or something related) support well?
63.
by hebrox 5y ago
For me the problem is that if you focus only on one part of the entire problem, you will never fix it. You can do carbon capturing at a NG plant, but what about all the leaks [1]? Lowering CO2 emissions, will lower all kinds of emissions, s
64.
by hebrox 5y ago
I'm not sure if this is the case, but doesn't this create the option for somebody to remove the casing and directly connect to your network?
65.
by hebrox 5y ago
Would you say that they could collect way more data?
66.
by hebrox 5y ago
This has been an issue for me as well. I created https://github.com/wwwouter/typed-knex to mitigate this. At first I had to do a lot of weird things, but with the evolution of TypeScript, it is getting more and more li
67.
by hebrox 5y ago
For a time a really was into reading business books like “From Good To Great”. “The Halo Effect” cured me of my addiction :)
68.
by hebrox 5y ago
There is a subtle difference between "men did run the world" and "women didn't run the world". The first one skips over all the men that also didn't run the world.
69.
by hebrox 5y ago
I've been trying to wrap my head around this for about a year now. The two things that tripped me up the most were that there is not 1 calculation, and that it's not parallel. The way I understand it now, is based on the double sl
70.
by hebrox 5y ago
Dutch person here: it’s also “handen omhoog” in Dutch. This is probably a word for word translation of “hands up”.
71.
by hebrox 5y ago
I came here to recommend the same. This has saved me from sooo many silly mistakes. English is not my first language, or that of many of my colleagues, so it's very easy for spelling mistakes to slip into the code. And very hard to
72.
by hebrox 5y ago
With local energy sources, I meant, local renewables energy sources. So no chemical energy.
73.
by hebrox 5y ago
When I look at this chart [0], seeing that we’re wasting about 2/3 of our energy, I expect the energy demand to drop significantly if we electrify everything and have more local energy sources. [0]: https://flowcharts.llnl.g
74.
by hebrox 6y ago
Yesterday I read "What Bloomberg Gets Wrong About Bitcoin’s Climate Footprint" [0] where the writer tries to make a case that you shouldn't compare Bitcoin to VISA, but more to something like the dollar. While I don't a
75.
by hebrox 6y ago
Just replaced my 3T last week. Such a great device, still fast and only a few minor scratches. Too bad there were no more security updates. And although this is “hacker” news, I didn’t feel confident running non-stock Android..
76.
by hebrox 6y ago
Everything you ask for can be done with actual controls or are done automatically for you.
77.
by hebrox 6y ago
I think term "expert opinion" here is key. We want the results of the work of experts, not their opinion.
78.
by hebrox 6y ago
Finally the site's name makes sense
79.
by hebrox 6y ago
Since more than a year you need to connect to Wifi to get new updates.
80.
by hebrox 6y ago
It was an interesting business decision to begin with, trying to build a company around a simple spec and an LXC wrapper.
81.
by hebrox 6y ago
Reading this comment https://www.lesswrong.com/posts/N6vZEnCn6A95Xn39p/are-we-in-... I would say: "It could be"
82.
by hebrox 6y ago
I saw "The Unholy Trinity of Bridge Stupidity in Copenhagen" recently https://www.youtube.com/watch?v=McvZ68qlho4 and was shocked that this thing actually exists.
83.
by hebrox 6y ago
When getting external data, it always good to do a combination of casting and validating. There are a lot of good libraries to help you with this: https://github.com/moltar/typescript-runtime-type-benchmarks
84.
by hebrox 6y ago
Reading the description on Wikipedia, I would say it can be part of the dynamic analysis. "With a dam and reservoir it is also a flexible source of electricity, since the amount produced by the station can be varied up or down very rap
85.
by hebrox 6y ago
This also made an impact on me: "Traveling While Black" on the Oculus Quest https://www.oculus.com/experiences/quest/2121787737926354
86.
by hebrox 6y ago
I used Crouton. Support ended so I am looking for something to replace ChromeOS. Will take a look at PrawnOS, thanks!
87.
by hebrox 6y ago
I did some actual work on an ASUS Chromebook C201P, running VS Code, Postgresql, pgAdmin and Node.js. It was a little bit slow, but not too bad. I kind of expected/hoped this to be better than that old Chromebook, but reading this htt
88.
by hebrox 6y ago
Do you have a source for that 30%? I've seen that number becoming higher and higher as we get more real data.
89.
by hebrox 7y ago
We can test people who care for the elderly, so that people in that age group can be protected. We can tests a classroom weekly with one test. If it's positive, come back in three weeks, if not hear the parents cheer. We can let compan
90.
by hebrox 7y ago
US numbers in March: https://www.cdc.gov/mmwr/volumes/69/wr/mm6915e3.htm#F1_down

More ›