skysight-inc/HackerNews huggingface dataset:
The arc describes the full motion, and the solution we seek is when F(x)=0 which is when the ball hits the ground. There is no mathematical curve that starts at my hand at (x=0m, y=1m) and ends at the ground. We use the full quadratic curve just because its a suitable model for the motion, on the part of the motion we know the ball takes.

The use of a quadratic to solve the throw is a mathematical model. We say that "the value x describing the when the ball lands must satisfy the quadratic equation F(x)=0" but that does NOT imply the opposite, which is "all x that satisfy F(x)=0 describe a valid motion of the ball."

So when we get two answers, e.g. F(-1)=0 and F(15)=0 for the two points when the ball is at ground level, that means only this: if I had thrown the ball from ground level to follow the same curve land in the same place at x=15, then I would have stood 1m further back when I threw it. It does have physical meaning, but there is nothing curious about the physical meaning.

This throw is symmetrical in time though, in the sense that if I throw the ball with the same speed in the opposite direction starting at x=15 then it will land exactly in my hand. (But the equation here is y=F(x) and not parametrized on time).
>I assume that 20-30 years ago when juniors were using either ide-provided auto-completion or refactoring or gui designers some old graybeard developer had a similar reaction.

You assume wrong. Source: was there at the time.

This time is genuinely different.
Curious why a blog / release post does not include a date, when did this occur?
Before you do that would suggest you check out Boox.

I am very surprised to scroll this thread and see Kobo call outs but not Boox.

No need to jailbreak as highly customizable.
Buzzheavier.com
Then, advanced users should be able to deactivate it in a very simple manner.
Freedom of speech, at least in the US, is a concern specifically with the government censoring citizens' speech. The Twitter files are a recent example of the government partnering with private corps to censor, so that's a fair argument, but in general a private company can't violate free speech by deciding what kind of content they want allowed.

Is it shitty that they censor? Absolutely. But is it a constitutional violation? Not unless I've horribly misunderstood my rights for more than 35 years.
Starmer's nuclear reactors won't be small, cheap or popular
I do not have in-depth knowledge of traefik unfortunately. I tried it a while ago, but decided to switch to the setup mentioned above for the setup simplicity. For my use-case, the setup mentioned on github under "Basic usage example, using docker-compose" plus adding two lines to a docker-compose file has been enough for most of my use-cases, and never given me any trouble.

I think achieving a similar setup in traefik (e.g. https://github.com/tiangolo/blog-posts/blob/master/deploying...) would be more complicated, and I felt like I was not sure what all the labels did or how to adapt the setup.
I'm also german. Thats likely not it, german "Schatten werfen" works as the english "cast a shadow".
In 2015 Brazilians could do a lot in Argentina for as low as R$30.

Nowadays, buying food costs almost R$120 ($20 in todays rate).

Inflation can be stable, but cost of living has gone through the roof for almost a decade now, and Milei managed to speedrun it to a point that a lot of Argentinians are below the line of poverty.
I run a ghcr proxy server to avoid having to rent an ipv4 address just to pull the container images I build with github actions:

docker pull ghcr.proxy.orca.toys/kpcyrd/apt-swarm:edge

My services are often run behind cloudflare, who does ipv4 for me and proxies to my ipv6-only vps.

Should you use this? Well docker's security model is pretty much only https, so it's like using a proxy server from some random hackernews comment for your `curl|sh` needs, without end-to-end encryption.

I wish github would just step up their game, at least for ghcr.io.
Remember how he tried to get out of the twitter deal by claining there were too many bots?

How is the bot situation on twitter now?
> suddenly it is a new problem when Trump does it.

Nope.

January 29, 2021: "Biden has taken heat from critics over his early reliance on executive action, with Republicans saying it betrays his vow to work with Congress on to build a consensus on issues."[0]

February 6, 2014: "Executive Order tyranny -- Obama plans to rule America with pen, phone"[1]

November 2, 2011: "Obama uses executive orders as a political tool"[2]

February 21, 2001: "The Use and Abuse of Executive Orders and Other Presidential Directives"[3]

[0] https://www.foxnews.com/politics/biden-has-signed-40-executi...

[1] https://www.foxnews.com/opinion/executive-order-tyranny-obam...

[2] https://edition.cnn.com/2011/11/01/politics/obama-executive-...

[3] https://www.heritage.org/political-process/report/the-use-an...
MySQL is more user friendly. Examples are, autoincrement vs postgres sequences, case sensitivity, users ans databases are straightforward on mysql vs roles, dbs and schemas on postgres. Replications are also easy to setup on mysql.
You mean the cultural war between Britain and France that lasted hundreds of years? Yeah pretty sure the Anglo world won that one. Since you are writing in English in an internet forum and all
They salt the values and compute id = hash(daily_salt + IP + UA). Then they remove those every 24 hours. I think it sounds like a perfectly reasonable solution.
>>lol, there are “managers” making 40k a year (with 3 people reporting to them) that have huge egos.

Power trip has its pitfalls. It convinces nobodies that they are special. Its one of the big reasons many times the middle managers end behind their reportees.

Once you taste power its easy to convince yourself that you are coasting along the path of a guaranteed victory, and winning is a given.

There was once this interview of a man I watched who would be around the head of a army, his staff pretty much treated him like a god. And he even got used to that sort of stuff over time. You can't expect good things to happen from there.
We use them in AWS as IPv6 hasn't been feasible, though its become better in the last 1-2 years. AWS uses it internally, likely other big providers probably also do. If you can get away with IPv6 only, ie not constrained by provider/device, its likely worth going that direction instead.

Works fine in Linux, doesn't really work on Windows and some BSDs.

https://blog.benjojo.co.uk/post/class-e-addresses-in-the-rea...
Hard to imagine doing it any other way, which is probably fine up until you hit some larger files sizes.
> A couple of journalists broke Twitters rule on doxxing, and were briefly suspended.

That is a complete lie. Musk "updated" twitter rules to ban the tracking of private jets (namely his) despite that being public information, and immediately proceeded to suspend accounts having relayed that public information, and accounts which had mentioned or linked to such, or to aviation tracker websites.

Musk also routinely singles out individuals of companies or administrations he dislikes e.g. https://futurism.com/the-byte/elon-musk-bullying-federal-wor...
I've conceptualized this in the following way: be most skeptical of narratives that are strongly aligned with the mainstream narrative (more room for ignorance or malice; see Harvey Weinstein), and then most skeptical of narratives that are strongly contrary to the mainstream narrative. Binary categories of good and bad, us and them, right and wrong are an easy trap. To counter this, seek out many narratives (which are not made equal) and consolidate. To truly understand a perspective is the most we can expect out of someone, as they may not agree.
LLM Arena Leaderboard
That's not a new problem though, platforms have been kicking people off with no clear reason for years.
Good of you to admit that Musk is as bad as what you hated in the past.

I would even argue he's worse.
Glad they used Cypher. One of the best and most intuitive query languages I've used personally.
Would you entertain the idea of people generally living in the city, but needing to commute to at least the factories and logistics centres?
The owner is working for the government, can't play that card any more.
Another lie in the long list of lies from his mouth.
can it do `RefuseRecordTypes=A` as well?
Ah sorry, I did confuse you with the other person I was talking to. That explains the shift in topics. Really whether it was SQL or not is still irrelevant, hence my rather sharp tone.

I still stand by the other things I said though.
I've had luggage delayed far more often than that and I've also been able to rebook because of weather only because I had carryon. Usually luggage delayed for a day isn't a big deal--if you're staying in a city (and I often leave a little slack for that reason). But if you're heading off somewhere that you can't receive a luggage delivery, that can be a big deal.

Sometimes unavoidable to be sure--you're not carrying on all your camping gear--but I'll make compromises to just have carryon.
This time it must be me... Bilbo is not Frodo's father (Frodo is actually Bilbo's first and second cousin, once removed)
I'm sure the US system has a few cases of dead claimants. I mean, it's a country of 330m people.

Dead and 150? Bit harder to believe. It's an extraordinary claim, if you get my drift.
> * IPv6 clients can connect to v4 only hosts.

May I introduce you to my ipv6-only vps
Hardly bankrupt, but: none of this is going to make a difference without cutting into the big pie of military spending which is pork-barreled to individual constituencies. Or the large amount spent on retirees because they're an important class of voters who have no employment income. Or putting up taxes.
You need consent for (not functionally necessary) cookies because of the ePrivacy Directive (the "cookie law"). Additionally, you also need consent for processing, storing or sharing personally identifying information (PII) because of the GDPR. Usually you do both in the same consent popup.

Plausible doesn't store visitor's IPs or any other PII, and doesn't set any cookies. The reasoning given in the quoted paragraph is incomplete, but the result is correct. You only need to mention them in your privacy policy, they don't require any opt-in popups
It won't spin but there's probably forensics teams out there that can get the data off for a lot less than $800M.
Apparently the 150 year old Social Security recipients were due to a COBOL quirk where the zero datetime is 1875. Interesting, but not fraud.
While I agree a subtle racist undertone is there, perhaps without intention (implying that all off-shored tasks will be done lazily), the more important part is that the article does really read like an LLM-generated slop (perhaps with some editing afterwards). Has all the typical 'markers', such as bloated text and overemphasized structure, etc. with the highlight for me personally being the "conclusion". It is so clear that the first paragraph was spit out by an LLM.
Sabine Hossenfelder has recently released a video about it:

https://youtu.be/shFUDPqVmTg?si=xZAQZ725UEcO8lf_
This seems like a neat idea, importing something simple like a colour pallette to get a small project started with some sane choices. Not sure why the negativity on a project like this.
This shows the decline in Amazon's customer service. I had several Kindles starting with Kindle Keyboard. At that time, Amazon's service was beyond amazing.

At one point, I had some issue with one of the Kindle while it was past 1 year. Amazon sent overnighted new Kindle for free when I was just hoping they give me some troubleshooting steps.

I stopped using Kindle about 4-5 years ago mostly because of all the bad press especially around them removing purchased books. Now I mostly buy paper books. I also use BOOX e-ink tablet to borrow books from library or newspapers. (BOOX is not ideal but there is no other choice of e-ink tablets that can let you use 3rd party apps, sadly.)
Taproot Assets on Lightning: The Global Financial Interoperability Layer
Without themselves knowing it, or something? I don't get it. At this pace, the empire will crumble pretty soon.
> What is the appetite for self-hosting streams?

Problems are:

- discoverability is non existing, e.g. being somtimes on the frontpage of twitch does make a difference in how much you earn (through highly varying depending on how niche your content is), similar raids or even the neglected "viewers which watch this stream also watch" corner do help.

- Platform switching cost, a lot of users don't want to use other platforms then what they are already using. Most streamers have discovered that switching platforms will not carry over most users.

- Cross Platform cost, toady a ton of people want things in a app.

- payment systems, paying on twitch for a sub is one thing, but one some random website .. eh. Same but worst for bits, supper chats. With YT/Twitch people have their payment system potentially already setup. So it's just one click. On your website they don't and and might not want to.

- net neutrality not being a thing everywhere cost, i.e. you don't have to pay for bandwidth only once, but many times, including in places you don't even know you have to with consequences being subtle like some viewers streams always struggling etc. Which effectively will cost you viewers and with that money.

- live cross encoding cost, is also easy to underestimate

- software maintenance cost, especially if you aren't a system admin/software engineer this is huge

- reliability cost, if your stream is down to often it will make people leave
This is a flat out falsehood - jk rowling was spewing anti trans hate from the position of “feminism” long before the purchase of twitter, she was never “censored” or anything close to it. This is revisionist bs, framed in a way to make your dear leader look like the hero, and not the incompetent anti free speech nitwit he actually is.
The "Quite OK Image Format"
Remember the promises they made about Web 2.0 (interoperability, APIs, etc.)?

The stripped those promises from us, tried to flog memecoins to steal from us and now pushing AI garbage onto us.
The last time I was in San Francisco was 8.5 years ago. My family had a cabbie with a pile of new tube socks in front seat. When he’d have to stop at a light, he would look for any homeless near the intersection, get their attention, and hand them new socks.

We gave the cabbie a good tip.
Loken: An easy interactive way to better looking websites
Yeah Cypher was so good and made everything so intuitive. Loved working with Neo4J for a prototype and then had to face the licensing issues and huge costs and had to abandon it.
A stepping stone in the way that the Pesse canoe was the stepping stone to the creation of the modern USA.

Actually, not even that.

15,000 tons of mass to low earth orbit per day isn't nothing, but at the same time, rockets cannot ever scale to K2. Can barely scale to K1, but only if you don't mind catastrophic climate change from burning order-of one percent of Earth's atmospheric oxygen.

K2 requires a VN replicator. If you have one of those, you only need one successful rocket launch. Not one per day, one total. Just so long as the rocket is big enough to fit the replicator, that's it.

Hmm. 15000 tons, so 100 Block 2 Starship+Booster, per day. Accounting for fuel-rich engines and methane's greenhouse factor, launching that with rockets is ~150 million tons of CO₂-equivalent per year.

Seems small, but even all by itself that's 3x the maximum sustainable level of emissions — even if absolutely everything else, everywhere in the planet, was completely and perfectly greenhouse-neutral, it's too much.

Shame, really. Mars missions only work if SpaceX gets a Sabatier plant that fits in a Starship, masses less than 150 tons including power systems (or 200 tons on Block 3), and can produce 330 tons (for Block 2) in two years while on Mars, yet no talk from them about work on this because Musk is too busy Muntzing his government.
Dropped to 2.2% after a 120% inflation in the past years?

Compared to before Milei, costs are completely high and people who could live with their (now considered low) income are barely surviving.

You can say he's fixing it, but at the same time pretty much driving almost the whole population into poverty. And then the next president will have to deal with it and probably undo whatever Milei did. It's unsustainable.
Ask HN: Is it possible to perform compile-time checks for all invariants?
Static typing helps with compile-time checks for types. I'd like to know from the community here if it's possible to check for other types of invariants at compile-time?

Let's say, I've got a function increase_balance(increment_value: int) but instead of allowing all possible integer values, I want the compiler to check that anytime this function is called, it is called with increment_value in the range 1 to 10000.

Is it theoretically possible to do such checks at compile-time? I mean the compiler has to check every code path and verify that all code paths leading to increase_balance() leads to value that is neither <= 0 nor >= 10001. Is this is a problem that can be solved at compile-time? Does any programming language provide such features?

While I've your attention, are there other such invariants you're aware of that can be checked during compile-time?
This is the tricky line, isn't it?

Regardless of whether someone is entitled to free speech, is a private company bound to the constitutional protection?

My understanding has always been that its specifically the government that can't censor me, a private company or citizen can. The NY Times isn't required to write an article I submit to them for example, that's no different than Twitter deciding not to keep a post a write.
A quick search suggests SSD reads are in the milliseconds. I’ve found that, or microseconds to be roughly accurate. SQLite queries, however, can take seconds (or more in pathological cases) depending on how optimized the indices are to the query being run, load, etc. This is one of the reasons I don’t love using SQLite in Bun servers. It makes me nervous that a bad query will bring down the single thread of the app.
> If my guesses are correct, it’ll work just long enough for another administration to take over to deal with the fallout.

Assuming things have not deteriorated too much by then that it can still be fixed.

Further, if it completely breaks down by then they may get the blame, even though it was not their fault.

This also assumes that an administration with a different philosophy gets in: if things are still "fine", another bunch of GOP deconstructionists could get in and continue things. In addition, DOGE is not about cost-cutting but about ideological purging, and so what's left of the civil service could act to sabotage any 'recovery efforts'.
Horrible stuff really, half-way through between explaining the basics of MySQL and somehow merging that slop that into describing the architecture they are apparently using (+/- hallucinations).
Hijacking Bitcoin: The Hidden History of BTC
I don't know if latter news are just entertainment or history-making events.

Whatever is happening in Washington, it doesn't sound like the president's opponents are going to try to stop him, for now. It sounds like this will keep going.

This news cycle is going beyond anxiogenic like it was around 2017-18. I never know if I am witnessing something absurd or if it's the beginning of something serious.

I generally prefer to think that my anxiety is blowing things out of proportion. As any adult would say, I keep saying "it's going to be fine".

I am french, not american, so generally I am just more worried about NATO and Ukraine.
Nah I think the ship has sailed on lip service. He is/was all about defending the "right" kind of free speech, anyway.

They don't have to pretend anymore. The man saluted at an inauguration, I think all pretense has left the building.
The worst thing about Germany is how the conservatives have brainwashed their citizens into believing that Hitler came to power “because of high inflation” because they wanted people to forget that Hitler came because of their policies (especially Brüning's deflationary policies). And in the end, with the debt break they just constitutionalized the economic policy that put the Nazi to power, and now unsurprisingly the AfD is booming.
Nasal irrigation/sinus rinsing. There are accessories that make it more comfortable too. I think salt water in particular is just because non-isotonic water inside your nose hurts and irritates the membranes.
GIMP's initial release was in June 2, 1998.

ZeMarmot's announcement was in 05 February 2015.

The GIMP was an at least 17 year old software project, when the animated movie was announced.

Of the two main GIMP maintainers, one of them works on ZeMarmot.

What this all says is that yes, there is an animation movie 10 years in the making, by some of the people who also work on the GIMP project. It says nothing about GIMP being made for any particular purpose, either or not for coders, and/or for animation or for visual creatives in particular.
Thank you!

As far as I can tell, PINNs are promising and an active research area, but they are also young and far from being as widely adopted as finite element methods (at least that's my experience academic environments).

I do see great improvements are being made both on the performance level but also on the applications.

One aspect I didn't discuss in the post is the use for inverse solution search, where you fit experimental data to your equation, and where your parameters and your initial conditions can also be trainable parameters. This has great potential to improve the methodology of experimental results analysis.
Do you utilize ChatGPT a lot? Curious because I do and while I knew the autocomplete was there, I have never even looked at it.
Windows 95 was also shipped on like 15 floppy disks so there was no live booting beyond the dos bootstrap disk
Free speech does protect you to say whatever you want from government censorship. That's getting blurred here with most of the discussion circling around Twitter censorship.

I would still argue, though, that saying literally anything should be legal. Acting on hate speech, by plotting to commit a crime, may be illegal. The problem there is that you plotted a crime and in certain case that plot itself is illegal, it isn't about what you said but what you did.
I don't see how that changes anything. Especially since in practice "rioting" tends to mean "a protest that the police or those in power don't like".

All of those situations still have the problems associated with deploying the military against civilians: The military isn't trained to carry out appropriate law enforcement. It compromises trust in and support for the military. It tends to be used disproportionately against the left rather than the right. It is easily abused to suppress dissent. Etc.
Not to be deliberately obtuse, but, what exactly is interesting about a new car game?
The binary would only contain the database engine; not the database. It’s probably a few MB, if I had to guess.
The missile knows where it is at all times. It knows this because it knows where it isn't...
Those platforms have not, however, been billing themselves as champions of unfettered free speech before handing out arbitrary unexplained bans when their feelings got hurt or they disliked the speech.
Hahahhaah yes, true.
This is definitely true, however many of us remember Musk declaring himself a "free-speech absolutist", so in most cases people are referring to his hyprocisy rather than his legal rights.

[0] https://x.com/elonmusk/status/1499976967105433600