skysight-inc/HackerNews huggingface dataset:
> I forgot to deal with division by zero in these math expressions. It is impossible for the compiler to detect such errors in the program.

I'm sure there's a general class of problem where it really is impossible, but you haven't found it.

All you needed to prevent this is dependent types, which Go doesn't have. With dependent types the compiler sees a = b / c and it immediately can conclude that c's type is non-zero, since if it was zero that's a divide-by-zero error. Having refined the type to non-zero, an attempt earlier to load it with a value despite not being sure if that value is zero will fail. The buggy qjson won't compile.
It remember that is was far more than that.

Without having invested too much time into this, Microsoft's market cap back then was around $270bn, and the stock rose by around 7% on 2013-08-23, the day is retirement plans were announced. So the stock jumped close to $20bn.

Historical prices according to Yahoo on 2013-08-23: closed at 34.75, previous close was 32.39.
He's been taking cues from Gavin Belson for years now.
Can anybody tell me what these tools are used for? Where’s the need? Who are the people using them? Thanks.
I don’t see how the weight change is relevant in this. Muscle weighs more than fat, so your strength training caused you to build up some muscle, making you heavier. The valuable metric to track would be what % of your body is fat mass vs. muscle mass
Ideas on being more creative
Counter argument is service providers just choosing to block anything that looks like Firefox since the market share is so small and it's being used to circumvent their precious protections.
I know some mathematicians print all the supporting material they need in advance and then work on paper for weeks without internet. Although admittedly that's a fringe option. And contrary to the expectation that they will probably need to look up things that come up later, they are actually very productive. (That's just an anecdote from second-hand, as in: I know a mathematician who knows a mathematician who does this.)

For my own coding, I usually don't use the internet anyway. I browser offline documentation of the stuff I use, vendor all my libraries (i.e. building doesn't require internet access), so maybe I'm going to try disconnecting my computer during those sessions. That's of course not counting coding at work, due to the tyranny of Slack.
Of fine running alone might not help you to lose weight. Also there might be a feedback loop to not eat too much crap for a serious runner. E.g. running with less weight is just more fun :-) But does that mean other activities where you gain muscle mass would not help to keep your weight in an acceptable range? I could be very well the case that burn more energy because you have more muscles.
Probably not a lot, but the idea of using 2k and 2k + 1 as indices for children is used in a lot of basic data structures taught in CS courses, e. g. for binary heaps.
I don't mean all communication, I just mean in the case that you aren't aware of what to do because you're new.
Hadn't thought about using uBlock Origin for this. I'll use the same technique to filter out Pinterest too then.
Think you have to deal with the world as it is, rather than as it should be, if you want to make progress.

I’ve always found accepting that ego thing to be very difficult as I’m quite happy for people to scrap my ideas if they’re bad, but a lot of people aren’t wired like I am and I don’t hold that against them. Could be a genetic thing. I have other faults that they don’t, so tolerance is needed in both directions. Humans are buggy.
You are joking but this place exists, in California in the middle between SF and L.A. and spent 5 months there. Didn‘t write an article about it though.
On the PPM side, a very easy alternative is to use stb_image (even though I abhor header only libs), or OS specific ones like GDI+ / CoreImage, if using something like C++.

On .NET side, I used ImageSharp.

Thanks for sharing the Clojure version of a RayTracer.
No, there's lots of calories in stool, but it depends on the type of food. For example, eating lots of fats and oils tends to "go through". On the other hand, rate of metabolism varies between people too.
> when adjusted for nonfat body mass

> when adjusted for fat-free body mass

The article is not cheating, but it's not underlining this bit which is essential. It's talking about aerobic exercise, which means "trying to run your way to being thin doesn't work". Which may be news for some people on HN from what I see, but is far from being new or controversial.

On the other hand, building muscle gives you a perpetual "eat more" card. It permanently increases your fat free mass, and thus your TEE. I haven't heard anything about a similar increase in appetite - if anything, bodybuilders struggle to eat enough calories. So, boys and girls, definitely hit the gym. Just stay away from the stepper and pick up some weights. Also don't forget protein intake when you do that.
> But thinking about the problem slightly more laterally, I don't understand why nobody's made inline SATA adapters with RAM, batteries and some flash in them.

Hardware raid controllers with Battery Backup Units was really popular starting in the mid 90’s until maybe mid 2010’s? Software caught up in a lot of features and batteries failed often and required a lot more maintenance. Super caps were to replace the batteries but I think SSDs and software negated a ton of the value add. You can still buy them but they’re pretty rare to see in the wild.
I wanna argue that not hurting people's feelings is better for getting shit done. Because you cannot do things on your own.

But I disagree with you more fundamentally. Getting shit done together is a way to enjoy spending time, but in the end, the enjoyment is more important than the result. A job where you are successful but miserable is not worth it. So a job where you are successful by making others miserable isn't either, unless you are somehow special.

That doesn't mean bend backwards trying to avoid any hurt feelings. It does mean putting in some effort to not be hurtful when avoidable.
I had a recent post about that which didn't see any uptake https://news.ycombinator.com/item?id=30366417 archive.org link to NY Times article.

Thinking about the slogan, interesting how Meta the company comes first, coworkers second, and in last place the individual.
> 1. then athletes wouldn't need a lot of calories.

Some don't. Think about marathon runners (which would be pretty close to the tribe studied), they have a muscle ratio that is way lower than your Phelps example and their body composition if also probably more efficient than yours (I don't know you, but let's assume). I wouldn't be surprised if a pro marathon runner would have be close to your 3.5K a day when going through light training.

Think of it through different angles: mountain trekkers aren't packing 80kg of sugar to go through their trekking, their bodies are way more efficient at doing these tasks and need less calories to work than what we'd expect from a random person. It literally means doing more with less.

> This often happens to people trying extreme calorie loss diets.

This happens to everyone. From your link: "In fact, your body is hard wired to maintain energy balance within a fairly small range."

> 3.

It seems well argued but just really nitpicky. It goes into the whole energy intake vs energy spent debate to explain why they don't agree with the methodology, but don't prove why they think the conclusion is wrong. It's as if I'd nitpick your use of calorie intake measurements and explain in great details how it's approximation of an approximation and we have no way to actually know someone's actual intake calorie, without ever engaging with your actual points.
I'm really having a hard time reading this. They lost me even before, when they said he likes hiking and he's not fat. Good science can come from the worst people. Show me the data, no need to sell me the authors.
This video covers it: https://youtu.be/wfm2xCKOCNk
People are still cheering for the Patriot missile in unwarranted circumstances.

Everyone calling for war with Russia seems to ignore the fact that the Patriot batteries that are 'simply defending a NATO members territory' are switched to attack weapons with a simple software change, meaning that the difference between safety and catastrophe is, as always with the Patriot technology, just a matter of software ..
That's true, but it takes a moment to realize the intuitive first thought couldn't work in practice. So it must be something like the centers. Plus the exact distance doesn't matter in this game.
I worked in the university library and a few times a year we had girls studying for hours on empty stomachs (brains consuming glucose is a different process from normal). They usually felt dizzy, were bleak and confused and were sometimes sweating and usually came to ask for some OTC painkiller or something. Usually gave them some of my dextrose tablets and someone's lunch and almost always it was fine a few minutes later. I'm pretty sure they had hypoglycemia. Though for (us) diabetics hypoglycemia where we start feeling it isn a considerably lower blood glucose level than for most regular people so there is some difference in how far you are gone down the rabbit hole already.
> but it's perfectly within their rights to do so if politics takes a hard left.

I don't see that happening the USA.
I don’t trust password managers — I use them to store only half of each password. I have a changing algorithm to derive the other half from the site’s name in my head.

This allows me to securely copy paste the first part, then securely type the second part. Also, even if someone has my password database and a full password or two, they still wouldn’t trivially have all the other ones.
As a fintech founder myself, I'm trying to understand how on earth a SaaS can be used to commit a financial crime. Is this a hacking tool?
Am I alone in being perfectly happy reading about science for the duration of an article, and not particularly caring about the scientist and what breed of dog he has etc.?

science.org is like a good quality popsci magazine. People read it for the science, but also for entertainment. The aim is to make science engaging to non-scientists. If you just want the science then you should be heading to Nature or Arxiv.
The drama-and-posturing could potentially come to an end if Nato would be willing to negotiate. The US arming Ukraine—or even putting boots on the ground—is not the only solution.
In the comment you replied to, I wrote:

> But still, I hope this topic will be noticed by Apple and they fix that low performance issue for fullsync
This looks fascinating, I wish I had found it sooner.

Am I correct that the cache invalidation logic is akin to pull streams, unlike computations in projects like S.js/Surplus, Solid.js or Sinuous, that are push-based?
I'm not sure I believe this represents state of the art in this area. I think they just have put enough hours into writing rules it does a passable job for the biggest languages it supports. If you get enough rules it can look like progress.

I looked at the engine for the Japanese parsing and it looks like they are parsing Japanese in fundamentally the same way they are English and it's has been known for around 20 years that is insufficient. Japanese requires tagging be done in order to tokenize it not the reverse as is done with English.

Take a look at spaCy if you're interested in what's possible nowadays, but it's not an end user product.

Edit: it's not quite that bad they're using GoSen which stopped being used only about 10 years ago.
> Why not both?

Absolutely fine and often good enough, these tests are typically very simple and easier to reason about, and make more sense in a whole range of situations (eg regression tests).

However, I would take a single input fuzzing test over one that uses hard coded inputs.
I wonder if the body is constantly hitting the upper limit of something, like temperature or kidney flow. If the parts of the human body are very elastic in their energy use, then this means we're overall maximizing energy expenditure. I guess that could make sense while there's an excess of available energy in the guts, which would otherwise go to waste.
Giving a talk in 2018 to say their new product might be ready in 2028 is maybe too hopeful, but that's not what fraud is.
> Usage of renewable power for Bitcoin mining is portrayed as being wasteful as though energy use is a zero-sum game, instead of Bitcoin being a flexible load facilitating increased investment and energy production.

What a pile of garbage. Bitcoin &co will rather destroy the environment.
With the introduction of cryptocurrencies, energy has become essentially the raw material to manufacture money without making products and/or services. Using the cleanest possible energy wouldn't change much as we would pump a lot of heat into the atmosphere anyway. And all that to produce money, not products or knowledge that would advance our civilization. In this scenario, the incentive to build more mining farms and produce more energy to keep them working 24/7 is just too high, for sure it'll be a lot more tempting than the natural risks when investing in real farms with real employees making real products, failing then learning and improving them, that is, generating knowledge.
We're also (not so) slowly approaching the day in which energy prices will be dictated by the richest bidder among those who invest in cryptocurrency mining, that is, making it even harder to afford for common people. I can't see anything even remotely positive about that.
I don't know too much about it, other than that a symplectic geometer friend helped out, but light field networks seem interesting: https://www.vincentsitzmann.com/lfns/

Something I've thought would be interesting is simulating the entire light field by some kind of finite element analysis, but where each element uses a neural network to more quickly converge to the correct lightfield -- and, perhaps like that paper, to use neural networks to give a compact representation of the lightfield at that element.

The stratospheric view of what a raytracer even is is a monte carlo sampler to evaluate a (fairly complicated) integral. It seems like many tricks for raytracing are about finding better ways to estimate good sampling distributions (for example, when scattering, a heuristic is to send more rays toward light sources). So, being able to simulate the light field more accurately and quicker could get the rendering integral to converge quicker, too.

It sort of reminds me of game-playing AIs like AlphaGo. There's a tree search: the AI is playing a game where a ray is bouncing in a scene, and whenever the beam is scattering it gets to choose which direction to send it -- its goal is to collect light that gives close to the correct pixel color with the least number of beams.
Yes there is a name i think for that rambling on with insignificant details about the person

At best it should be seen as a warning for possible biases in the science due to the person's background or upbringing, or random life anecdote.
Why does this person think they need to give him a reason? That’s not how hiring or promotions or tenure works. If you don’t get the job there is no obligation to tell you why.
Most 300 pound people I know cannot walk for an hour at a moderate walking speed.
Our experiences don't match regarding threading, and I don't think the author's are necessarily representative. Slack's threading implementation is an afterthought, a bandaid solution. With it, conversations usually end up as a mix of some replies in a thread and some in the default clutterspace. In this regard even Teams has a better approach, it's really obvious if you're in a topic thread or not.
1. Phelps seems to be guessing: "Maybe eight to ten thousand calories per day," he writes... Also, the research shows there is extreme variation in people's resting BMR (perhaps due to large variation in height, body weight, stress levels, etc), so you eating 3500 calories isn't decisive against the thesis of this article.

2. That is exactly his hypothesis, and he has produced evidence for this hypothesis in a recent experiment. I don't know why you are presenting this as some kind of counter-argument.

3. That blog post isn't a coherent critique. The post's two points are that the drinking solution is also used for measuring energy intake, and that the Hadza actually burn far less calories than Western people until such numbers are adjusted. This first point isn't relevant without further explanation, and the second point only serves to further support the thesis.
It also really helps if you were born in a time where all this didn't exist. Just remember how we did this in the 90s. I do a live-like-in-the-90s-day about once a month now, and it is quite relaxing.
Dan Bernstein (the famous DJB) asked exactly the same question when IPv6 was standardized:

https://cr.yp.to/djbdns/ipv6mess.html

There still hasn't been a coherent answer. The best approximation is that a lot of networking researchers saw their once-in-a-lifetime opportunity to bikeshed the lowest layer of the public network stack, and couldn't resist the urge.

All of this could have been avoided by making NAT64 part of the original IPv6 standard (instead of wasting a decade pretending like it wasn't necessary) and making it a mandatory service provided by every IPv6 router, unless all downstream routers already provide the service. This would have forced an invisible-to-endpoints IPv6 transition, starting at the backbone ("no default route" region). Carriers would have very quickly pushed the NAT requirement downstream (away from the default-free region) in order to offload the burden it creates. Each step of the transition would have been a strictly local change between two peers, one of which is paying the other, and can therefore can be incentivized ("hey, if you run NAT64 for your downstreams so we don't have to, we will charge you less per month"). No global coordination, and the local coordination is always across a commercial relationship where a carrot can be dangled.

But instead we got what is basically a flag day, so "the transition" will never ever happen. We'll still be talking about it in twenty more years.
> Welcome to MS Teams...The chat platform for YOUR people, and not Those Others! lol

This is very true, and hugely problematic. As a consultant I have to use Teams with 3 separate clients right now, which means signing in to 3 different Teams tenants - Microsoft SSO does not like that at all.

I have a personal hatred for MS because of their long history of building shit like this, but I hoped that working for a different cloud provider would keep me away from that ecosystem - it was legitimately a positive benefit I perceived about this job when thinking about the move. Alas, the cancer of MS software gets everywhere by virtue of being effectively free for anyone using Office.
It's insane how these once affordable services like healthcare or university, that you could pay with a summer job, now take years off your life.

You may enjoy this article [0]. To quote from it:

> In the past fifty years, education costs have doubled, college costs have dectupled, health insurance costs have dectupled, subway costs have at least dectupled, and housing costs have increased by about fifty percent. US health care costs about four times as much as equivalent health care in other First World countries; US subways cost about eight times as much as equivalent subways in other First World countries.

Of course adjusting for inflation.

Thank you for the book recommendation.

[0] https://slatestarcodex.com/2017/02/09/considerations-on-cost...
The same question applies to oracle VPS: how to allow only few IPs?

A compromise of oracle VPS and attacking AWS VPS is same as attacking AWS VPS from internet. If oracle VPS is not compromised, neither will be AWS.

Don’t see the point in this case.
I still don't understand Meta's obsession with the "metaverse" and Zuckerberg going all-in. Or what exactly the plan/paradigm is. With the world largely reopening again I feel being in a virtual world becomes less and less appealing. Especially for this younger generation who lost roughly 2 years of socializing and doing actual stuff in real life. If this metaverse was ready and useful right around when the pandemic/lockdowns started it might at least see some adoption.
IBM and HP are still around, too.
I, like a lot of other nerds, play Magic the Gathering[0], specifically cEDH[1]. This process really speaks to my deck building process - after coming up with my archetype, color pie [2], and win conditions, I grab everything that I think could be applicable, and throw it in a pile. Then, on my first pass, I sort into yes, no, and maybe. Invariably, I end up throwing out all of the cards in the maybe pile, but the process of taking it aside, considering it, thinking "this could work", then coming back with fresh eyes struck me as similar to this process you've described.

[0] for those of you who don't know, MtG is a card game for two or more players who have a 'library' of cards they draw from, and play. It has a very simple premise - win the game by reducing your opponent's life total to 20, removing all the cards from their library, or playing a card that says that you win the game - and an insane amount of complexity; for example, one of the standard variants is provably Turing complete using the base rule set.

[1] One of the reasons for the longevity of MtG (been going strong since 1993) is that there are many variants of the standard rules that allow for a wide variety of play. Standard uses only the most recently released card lists, while Vintage lets you play with (almost) any card ever printed. cEDH stands for competitive Elder Dragon Highlander, which is a format where you have a 100 card library that has no repeating cards ("there can only be one!"), and they all have to share colors with a chosen 'commander'.

[2] MtG mechanically uses cards called 'lands' to produce a resource called 'manna'. Manna is used to pay for spells, which when resolved have some effect on the game state. Spells have color - 3 blue, for example - which can only be payed for by appropriately colored manna. There are 5 colors of manna, and each color is associated with different types of spells. Red is fast and aggressive, green is ponderous but mighty, etc.
that s terrible. I thought it would be common knowledge by now, the mixed really does a disservice to people who genuinely want to lose weight. I think the myth is perpetuated by sports goodS marketing
I hate that, and I usually just skip that part. No point fighting it, I guess.
Agree completely; if you've only used slack check out Zulip for an example of how a good threading model works.
Zerotier is the easy way around. Also remember to block all ssh access at standard ports.
GitHub Actions self-hosted runners with AWS CDK
If you remove the redundant letters, you'll get "me, me me, me" which is very fitting imho
Another why not-- you've just signed a tennancy lease. If they don't voluntarily leave on the assigned date, you need to run eviction proceedings.

where do you start? what grounds for evicition? Unpaid rent? You've already agreed that rent is zero...

Why would a REIT/Private Equity not care about this? Because their goal is to rent the property in any case. Professional landlords already have this in their risk models.
Point taken, but a 1 hour train ride into the city twice a week for social purposes is more manageable. Doing that every working day is the killer.