skysight-inc/HackerNews huggingface dataset:
WebGL is modelled after the worst part of OpenGL: hardware state is presented as something that can be altered by the application software at any time in any way, no matter how brain dead the change actually is. Instead of preventing the user to from writing slow rendering code on top of that interface, it actively encourages that.

The new generation of interfaces are based on the tenet that most of the state information is known in advance anyway and can be precompiled into static opaque handles which represent precomputed and sanity-checked hardware register values that the driver just needs to push when required instead of having to run the heavy checking again each time the user calls some glEnable/glDisable or other state altering shenanigans.

I think that a new JavaScript interface that is modelled like this, but is sufficently high level, might be faster, easier to use and safer to implement than what we currently have.
Well, this is another one of those weight loss articles that tries to say "calories in, calories out" and then laughs at the research that refutes that. I'm referring to this:

>There’s a lot of “science” that say low insulin levels in the fasted state lead to more fat burning.

That "science" he smirks at is the research primarily of Dr. Jason Fung, who specializes in diabetes and obesity. He wrote a book called the obesity code that advocates for intermittent fasting. I think I'll take the word of a man who has spent hours researching and analyzing over the snarky comments of some software engineer.

Some more examples:
> If you’re in a caloric deficit this will happen anyways.

That's not true. I could eat a reduced caloric deficit of bread every day and still not burn fat. The basis of intermittent fasting and the ketogenic diet is to force your body to break fat for energy as opposed to carbs. They take different approaches, but the end result is the same - to lower the amount of insulin. Keto is bit more restrictive in food because so much of the carbs in out food is sugar.

So, why did achieve results? Easy:

> I naturally started eating healthy foods because I could eat more of them. If you eat a chocolate bar, you will still be hungry. For the same amount of calories, you could eat a few bowls of vegetables and be full. That said, the best part about this overall approach is that you can still eat whatever you want – just count the calories.

There's a wide difference between how your body reacts to 100 calories of chocolate bars (sugar) and 100 calories of broccoli (fiber).

This is more junk science and using anecdotal data as opposed to research and science. If you want to lose weight, what you eat is just as important as how much you eat. End of story; caloric restriction alone isn't enough. However, this article is also incredibly short sighted. Losing weight is very much like getting married. People focus on the event and not the afterwards. You can't modify your diet, hit your target weight, and then stop. You need to keep going; fighting obesity is life long battle. I believe the majority of people who lose weight will regain that weight within 7 years. There's horror stories from the biggest loser.

My story, by the way, is that when I got married, I was 280 lbs. One night, I remember coming home from my in-laws house and deciding I was tired of being fat. I changed my diet. I cut out chips and soda at lunch and put in carrots and water. I stopped eating white bread and pasta in favor of whole grain foods. I cut the number of nights I had dessert to 1 to 2 a week. I picked up regular exercise. I tracked and measured my food. It worked. At my lowest, I was ~170 lbs. It's gone back up to 203 right now, but that's because I'm currently focusing on strength training. I will say that eating less is not enough. You have to pick the right food. As a friend of mine once wisely said, you simply cannot outwork a crappy diet.
Football penalty shoot-outs are unfair
I would wager that woman:

a) Doesn't really eat 1000 kcals a day if she's active, and should, instead of building a diet by counting calories (doing which she's prone to miscalculation), simply eat less of whatever she usually eats.
b) Doesn't need to lose half a kg of fat every week.
What the dickens is an API?
It's not. The material used for radioisotope thermoelectric generators needs to have the appropriate half-life (not too long so that it actually produces a useful amount of power per mass, not too short so that it's doesn't exhaust itself) and it needs to not produce destructive types of radiation (which will fry electronics in addition to killing people). The vast majority of nuclear waste doesn't have this property.

https://en.wikipedia.org/wiki/Radioisotope_thermoelectric_ge...

The closest thing to what you're looking for appears to be Americium-241, discussed in the above link, which apparently can be extracted from nuclear waste, but it's not a very good choice.
For people who are downvoting, these apps have a history of leaking personal data.

For example: https://www.theverge.com/2018/3/29/17177848/under-armour-myf...
Those things probably won't escape the atmosphere, however. It would be much harder to bootstrap an energy-hungry civilisation any time within the next few billion years, as we've used most of the easily-accessible sources of fossil fuels. If human civilisation falls, whatever comes afterwards probably wouldn't be able to build a rocket, unless they wait for fossil fuels to regenerate.
I have a $250 textbook that not only answers your question, but also has some good insights on the topics referenced in the aforementioned pdf document.
Show HN: Open database of available domains
> Have we really not understood OO at all so that we have to reinvent it all the time?

We haven't. I think the popular OO languages shows this. In both Java and .Net the focus is on classes, not on messages passed between objects. But class hierarchies are not essential for message passing. Classes are mainly a way of decomposing an application into manageable logical parts of interacting chunks. Looking at how many language features center around classes and class hierarchies (interfaces, abstract classes, generics, inheritance etc) as opposed to how many facilitates different forms of interactions between objects (you basically have method calls and arguably async/await) it seems clear to me that these languages are more "class oriented" than object oriented...
From Saturday's posts: http://catern.com/posts/docker.html An assessment of what Docker and similar actually are, and why they are unneeded redundant, insecure technology.
I think Nomad is a good solution when your unable to containerize your application, used it a bit at my last job in a prototype we were building to manage windows services, and it seemed to work pretty well
Intel embracing RISC-V would be a super-bold move. Given the support we can already see from the long list of RISC-V foundation members, it's bound to succeed. In the next couple of years it will probably wrestle a few royalties away from ARM.

Beyond that, I think it will end up a legit heavy-duty apps processor for Android phones. It might start out on the mid/low-end phones, but manufacturers will absolutely love the idea of cutting out ARM from their BOM.
Glad to hear it!

> - I wish the transcript text size could be increased without affecting the rest of the UI (which seems fine). Maybe it can and I missed it, or I need to be logged in?

Totally agreed we need this. I've passed this feedback onto the developers (I'm in editorial here).

> - I see “pause on try its” in the page options (it's checked and disabled) but couldn't find any videos that use this. This feature sounds like it would greatly enhance the learning experience and it should be part of all videos. I learn a lot more when actively trying things than when passively watching and reading, and few online courses combine video and text transcripts with hands-on opportunities well.

Yep, we're still experimenting with this feature. I think you'll see us using it much, much more in future content.
However, there are quite a few other species still around which are pretty intelligent (elephants, other great apes, whales and dolphins, octopi) so the development of intelligence may not be all that rare.
I concur, big fan of Radarr especially. ;-)
Losing weight is not without cost. Be it hunger, time/effort, boredom, or unmet cravings.

Everyone has the right to choose which kind of cost they are willing to endure in order to lose weight - this includes refusing to pay any cost at all (and not losing weight).

Nothing comes for free.
اجمل+صور+ضحك+تحشيش+ومرح+2018+صور+مضحكة+جدا
Because most of the time it is the professor who prefers writing them. At least that is my case.

A single source is not better than many.
I stand to be corrected, but I’m pretty sure Mosh uses SSH under the hood. Perhaps Mosh could be modified to support Oxy?
If it's just for 3 day, it's better to just get a little fasting experience and some water. A week without food is not that bad.
Obviously we haven't done it yet, but that we know how is the point.
Top 7 Gifts Newlywed Couples Will Love
> Sounds so trivial, but sadly true for a lot of things in life

It's often not that trivial, nor true.
There's a ton of litterature on the subject, here is an articla I like:

https://www.washingtonpost.com/news/wonk/wp/2015/07/28/why-t...

A good quote:

> The much bigger mistake Wishnofsky made was misunderstanding how our bodies react to weight loss. As soon as we start cutting calories from our diet, the number of calories our body expends begins to fall. "It literally starts happening on the first day," said Hall. "And it continues to mount as you lose weight."

> The reason Wishnofsky, and so many others since, have botched this biological fact is that it's fairly counterintuitive

Basically our bodies are not simple in any way, in particular when it comes to how it handles energy, which is core to our survival. There is a good amount of survivor bias in all the "that's how I lost weight" tales floating around.
For people interested in this I can also recommend Arcadia which unites Unity and Clojure: https://arcadia-unity.github.io/
I may be putting words into the parent's mouth here, but I think the argument is just analogical. That there are emergent effects to physical processes that are difficult/nearly impossible to predict from basic physical law. And therefore we should withhold judgement about the difficulty of life forming, given that we so far have a limited understanding of the relevant physics.
observable by us
After Spending $575M on Teacher Evaluation, Gates Foundation Says, “Oops”
I think there are three problems with most slow cooker recipes.

1.) My hi/low setting probably doesn't match your hi/low setting. From the get go, we're cooking the same meal at two different temperatures.

2.) A lot of recipes seem to call for low setting for 8 hours. This works well for a lot of people with a standard American work day, since a stew/soup will stay above safe warming temperature in a nearly sealed pot. However, the cook times are too long. Thawed chicken for 8 hours on low almost never turns out with the right texture. In this case, it's convenience > taste.

3.) The flavor is cooked out of the ingredients, and/or there isn't enough seasoning or too many ingredients. When you get the seasoning right, too long of a cook time can dull the flavor. When there isn't enough seasoning, then your meal is bland from the start. When there are too many herbs and spices, you get a mish-mash of flavors that are all competing for attention. There was an article on here a long while ago that categorized foods into low and high amplitude flavors. Something sharply distinctive was high amplitude (think nacho cheese Doritos), while a low amplitude food had weak, hard to discern flavors (plain grits). Too many different ingredients can lead to low amplitude foods, and when I see an ingredient list with 15 different herbs and spices, I almost always steer clear.
No process is ever this random. Its not like the infinite money theorem.

Infinite monkey take 1, Atlas Srugged written? yes : no
Infinite monkey take 2, Atlas Srugged written? yes : no
...
Infinite monkey take n, Atlas Srugged written? yes : no

In reality its more like what happens before effects what comes later. This is different in the case of Boeing because there is a degree of non-reactive stuff coming together there. In case of Amino acids and subsequent formation of life its just chemistry, and that gets progressively complicated.

And this process is happening between the most commonly naturally occurring elements. So these triggers and process would have happened in almost every star system.
And maintainability is exactly the argument here. I do not know everything about these new tires, but like many people advocating here, I would rather just let the air out of my tires to get through the mud and re-inflate them then deal with the complexity that seems to be shown here.
Discrete Mathematics with Applications by Epp?

(I just finished Discrete I & II)
- There is no reason to believe that species want to colonize the whole Milky Way. In fact, our current value and belief systems would not recommend such an expansion either. (The same for self-multiplying robot ships - if you think it's a bad idea, why would aliens think otherwise?)

- Cyclical cultures, filters, and large time frames are not properly taken into account. If you take them into account, colonization of the whole Milky Way seems unlikely.

- Life could occur only very rarely.

So basically, the missing premise is that if all of your conditions are fulfilled, then a civilization will colonize the Milky Way and has done so far enough in the past that we can easily observe it. There is no reason to think that.

Now here is the bad news: Even if we accept your original line of thought, that would still be entirely compatible with the view that some intelligent species is just about to colonize the Milky Way and just in front of our doorstep...

I'm just kidding, of course. Like others have pointed out, this "research" is almost entirely based on speculation. We don't even know how likely life would arise if all conditions for life are fulfilled, let alone whether that also means that intelligent life will arise or with which likelihood. We know nothing.

The only thing that we can say with relative certainty according to our current knowledge is that if intelligent life develops with high probability whenever the conditions for life are met, then it is a bit harder to detect then we thought or Xenoarchaeology will be booming some day in the future.
The Many Worlds of QM: A Hylomorphic Critique and Alternative (2016) [pdf]
i got a sql database :

Recipes table : it tooks some months to fill it with our choices (prefered recipes) and add attributes to that : cold/warm meal, difficulty, time taken, kind of meal (junk, bistrot, classical, exotic...), does it scale (x0.5, x2, x4...).

ingredient_table : each receipe got ingredients. Every kind of ingredrients are on a separate table.

product_table : it is there i display what you can buy from stores : 6/12/24 eggs bundle, 250/500g butter

Then it starts to be ugly, cause there is constraints : loose and hard.
Timetable is a hard constraint (i don't want to cook monday evening), so it will be double ration one of the day before,
Season is a hard constraint (you buy vegetables when they are in season)
Tastes are a hard constraint : you decides what kind of meal you want to eat during the weak

With that you get available recipes and a timetable for cooking and quantity to cook.

Price is a lose constraint,
leftovers are a lose constraint,
time spent cooking is a lose constraint (could be a hard, if you have enough recipes, but as i like cooking, it's no matter for me)

After, i enumerate all possibilities and each one get a score based on lose constraints : you can use a simple weighted average, exponentially weighted average... You tweak coefs to prefer a nice price or a little time spent and then it's done. Usually a chose randomly between the ten best solutions.

I got enough recipes to cover all hard constraints. I avoid lot of problems doing a big enumeration for all possibilities (it takes a couple of minutes at my scale for 200 recipes), also, hard constraints are pretty easy to deal with, it could be a lot more complicated if user become picky on meals. I'm no coder so i don't know any design pattern or anything that could help me to design a better algo. But, as far as i know, when you can't evaluate all possibilities you have to go the optimization road.

Answers to questions :
- Yeah, there is this website : https://fr-en.openfoodfacts.org/ (broken TLS it seems) that could be used to pull data on ingredients,
- I don't have plan to open-source it : it's pretty hacky, ugly and probably defy any coding rule (except 4 space ident PEP8). it's not even packeged (i've never done that before...)
Idea is to treat (ip, port) pair as single 6-byte endpoint address. Each endpoint would be able to run just one service (well, two, one for tcp, another for udp). Type of service would be determined by looking up PTR record.

On the downside you won't be able to easily tell if two services run on a same machine or not. SSH and HTTP endpoints would be related only through DNS.

I think doing it in compatible way that doesn't require replacing routers would require NATs on both sides, and client that looks up PTR records before connecting.
It doesn't matter. The point is that the only local-galaxy civilizations we would fail to detect for being "too far" would be those that were born only yesterday, on the timescales involved. All things being equal this should be an irrelevant fraction of the total.

A different matter is "too short lived", which is taken into account in the Drake equation (the last factor, L).
Well, there are books on subjects that are widely used in different countries, Sheldon&Ross for probability, Cormen for Algorithms, etc;
Usually a professor choose his own way to teach things, with different example using maybe his own experience in the field, putting more focus into certain things, and students can just do better with a (usually free) reference of what is done in a particular class

We can argue if this method, where not every class on the same subject is equal, is good or bad, but till this is what is widely used, it's good for both students and professor to have a reference.
The Ethereum Mist Wallet: Secure and Easy-To-use Ether Wallet
Ethereum Wallet allows you to interact with other assets securely. Read an interesting Ethereum Mist Wallet review here!

https://coinpedia.org/crypto-wallet/ethereum-wallet-review/
> Presume that even with something like travel at 1% o speed of light, the Milky Way is colonizable in a couple of million years

Imagine an intergalactic astro physicist raising three eye brows, wondering, "only?!"
First of all, congrats - that is amazing and really shows true commitment. As somebody that lost 30+ pounds (I am 5ft 65 and went from 205lbs to 172lbs), I definitely understand can sympathize with the work it takes.

For anyone else embarking on the journey, I would add a few things:

- When you are in caloric deficit and thus loosing weight, you can choose not to go to the gym, but you will lose muscle mass faster. If you want to maintain muscle mass as much as possible you are better off doing some weight lifting instead of running. You won't gain muscle mass, but you'll reduce the loss.

- Ghrelin is the hormone that you will need to control. It is what makes you hungry and ultimately ruins your diet. Funny enough, you control it by constantly eating low caloric foods. You want to eat a lot of veggies, fats (avocado will be your friend) and protein throughout the day in low amounts. Just stay under your target caloric intake.

- The most difficult part is not eating out. Meal preparation is key, and this takes time. When you eat out, you just don't know how people prepared the meal you are eating. Sadly, meals that you eat outside have a huge amount of oil and counting calories will be next to impossible most of the time. Even in the cases where a restaurant lists caloric numbers with their plates, you can be certain that the cook is less interested in your caloric intake and more in getting your order out the door. Six tablespoons of olive oil instead of the one you are counting and you are off for the day already. The best you can hope when eating out is maintaining weight.

- Your body is designed for homeostasis and will fight you back to get you to regain it (through Ghrelin, mood swings, etc). After loosing the target weight, increase your caloric intake to stabilize it. If you can keep your weight for a year, it will be easy to remain at that weight later on.

Good luck!
How many Asian technology workers are on Visa?
I don't think it's being called out as a bad idea. It seems to me that the author sees it as a feature to provide this in the tool and protocol, and is mentioning it. Whether it really is a good idea remains to be seen.

[edited when I re-read the blurb and realized that oxy does more than ssh in this case]
Showing the proofs to the theorems taught in university-level math classes is expected. For starter, being that there can be many proofs to the same result you can't expect the teacher to show them all.

Opinions also differ on what is valuable and should be taught (you can't teach everything in a finite time), if the teacher can skip some partial result he doesn't find interesting he can opt for a different proof altogether.

Thus there'll always be some treasure left for the most ambitious student by tackling various such works.
DARPA's PERFECT Power Efficiency Program
It sounds easy, but often isn't.

Maybe radio spots are a little different because they're cheaper and usually more low-quality than TV ads, but it doesn't really work for TV ads - they often have small variations, e.g. 10sec identical, 5sec different, 10sec identical (easy example). Also depending on your method of analyzing the audio it's sometimes broadcast with an unhearable fingerprint that distorts the waveform (let's say like MP3 versus WAV, but worse).

So yes, you can find some patterns - but the commercial breaks are highly mixed up and you wouldn't believe how many distinct commercials per channel are there, even if you think you hear the same ones all the time :)
I’ve had the same issue and how I approached it was to watch the scale. If I wasn’t losing weight, knock another 100 calories off my diet each day. Eventually you’ll find the sweet spot.

The other challenge is estimating how many calories you burn each day. There can be a large variation in resting metabolic rate let alone how many calories you burn with exercise.
I’ve been doing intermittent fasting (4h eating) for two months now and I’m struggling not to lose weight. It never was my goal, but now I’m actively trying to curb it, yet still shedding pounds like crazy. Especially if you try to get fibre and carbohydrates in.

I can completely believe that helped in his endeavour.
I interpreted this as not being a ‘bad idea’, rather, the implementation of rsync’s feature could be simplified if OpenSSH behaved in a similar way to Oxy.
Glad to hear it! :)

It's in-house, yes. Interestingly, the original code base was designed to tie book text to audio-book readings, which we use in our liveBook platform. There's various third-party libraries in play for some of it, but other than that we've built it all in-house.
Didn't read it, but that it's taken us ~4 billion years on this rock to git gud enough to send interstellar transmissions, it's probably taken other civs that long (because we have no evidence to the contrary).

Given that we're looking at systems thousands to millions and if "visible" literally billions of light years away, even if they beat us to interstellar radio, we're still getting messages from them which are hundreds, thousands, millions and billions of years old.

So they might be there just like us, but the Pony Express can only run so fast.