skysight-inc/HackerNews huggingface dataset:
Somewhat unfortunately this is valid behavior according to the standard. Having to go through walls of text in a standard to prevent the compiler from deleting your security checks because of how you multiplied two integers seems a bit silly.

Having said that I’m of split feelings here. I work in a very performance sensitive industry and on one hand welcomes the ability of compilers to use the knowledge that certain things “can’t happen” to optimize, without me having to always do these optimizations be hand.

On the other hand, there seem to be so many cases like this one where the “undefined behavior code deleter goes brrrrrr” really overextends its usefulness. The “lalalalala standard say I can do this can’t hear you” finger in your ears attitude from compiler maintainers doesn’t help at all either.

I understand that the way much of this works, propagating “poison/impossible values”, can hide the root cause, so you can’t just say “please do the good undefined behavior optimizations but not the bad, so there’s no easy answer. The outcome in the blog post doesn’t feel like a local optimum though, and it’s not the only place I’ve felt that your options are “potentially slow code” or “pray you were perfect enough to not have your program deleted”
I have a recently-introduced Garmin model focused on multi-GNSS (gpsmap 66sr) and it only does GPS, GLONASS and Galileo. So I fear that that is mostly marketing copy from Garmin.
> The paper now consists of 10 Jupyter Notebooks and about 16000 lines of code with 1200 git revisions

I‘ve been there too! And about 1 year after the paper was finally published, fresh starters in my lab couldn’t run the code anymore because of an obscure Pandas error caused by a version change. Then Python 2.7 was shelved and created more problems.

In conclusion the considerable effort I put in to create Jupyter notebooks recreating every single figure from the paper was not worth it.
People watch videos in so different light conditions, places and devices nowadays. Phones, tablets, computer monitors, TVs. Public transport, car (even the driver!) park, restaurant, couch, bed, restroom.
Honey, We Shrunk the Nuclear Reactor
Are we talking about product managers or project managers? Those are completely different things. As far as I'm aware the tech giants have TPMs (Technical Program Managers) for very large cross-cutting efforts but mostly have engineers do their own project management. The PM discipline is about coming up with products and working out their details between all the stakeholders. They're not running the agile ceremonies. They're getting the copy signed off legal and working up an experiment plan with data science to choose between design's three different mockups.
Of course with well defined overflow you can still end up with a nonsense result that just happens to be in your valid range of values. If you don't plan to harden your code against integer overflow manually you need a language that actively checks it for you or uses a variable sized integer to be safe.
Of course they exist by this definition, but by default when someone describes an "X survivor" they obviously mean a person who actually went through that thing. Nobody says, "I was a cancer survivor" to mean "my grandma survived cancer".
I used to agree with you; but I think this line of thinking takes a (core) feature of money (trust in its value) and reduces the whole thing down to just it. Fiat money has another core feature in its definition: that you can pay taxes to a government using that currency. Similarly, equity in a company comes with dividends: a core cashflow that you can predict based on P&L. Trust in their current (and most importantly future) value, is a (big) aspect of it, but not the only one: there's actually a predictable "base" value that you can use to calculate a floor to that value. The future value is just the ceiling to that prediction.

Crypto is only trust. Without that social trust, there's no minimum value. That doesn't mean there is no value, just that the floor can go away, that the entire thing is much more volatile. So basically, gambling. This is not a value judgement btw, gambling and volatile assets can be fun and profitable; they are just not currencies.
I am sort of uneasy with what the optimizing doing in here.

But I would not ever write something like this:

int32_t i = x * 0x1ff / 0xffff;

Not because I am supersmart and will / can predict how optimizer will fuck it up. It is just that I am paranoid when coding and this type of code just simply hurts my perception for some reason.
Doesn’t work well on iOS. The white home bar overlays the input controls

https://i.imgur.com/VjcvtTD.jpg

Edit; also the layout is breaking my brain. Each pair of hole cards side by side like every poker website, book, or broadcast would be 50x better

Also also… don’t like the 2 step since it doesn’t make clear which cards already e its in the hand, and you’re already at 24 buttons… 46 wouldn’t be that much more, even
Speeding is way more common in US/Canada and the roads are really wide. Most don’t have a central reservation.
I had buddies in high school get cited for jaywalking across Fairfax Ave in LA.

They gave fake names to the cops and got away with it. Well done, legal system.
Considering David Cutler was instrumental in both VMS on the VAX and then eventually Windows NT this isn't so much a rip off as a continuation.
I don’t understand how the us military hasnt trained a model on engaging posts yet. With the amount of compute they probably have to throw at this you’d think they would have a sausage factory thats at least as good as your average reddit karma whore.
this is pretty cool. got the first one in 5 guesses. the rules are a little complex but understandable. I didn't quite pick up that the flop, turn, and river are their own little "lanes" at first but it makes sense.

I would perhaps word it as "guess the flop, turn, and river of the game" - not "guess the 5 cards"

good job!
> To promote this and other narratives, the accounts sometimes shared news articles from U.S. government-funded media outlets, such as Voice of America and Radio Free Europe, and links to websites sponsored by the U.S. military.

This feels a bit shoddy for us gov. Its not like there is a shortage of sources saying russia is evil. I would have assumed that the us military would put more effort into appearing neutral in their secret propaganda campaign instead of being so obvious.
In New Zealand we have a government organisation called ACC (Accident Compensation Corporation) which provides insurance for accidents and injuries. It prevents you from suing in this case:

"ACC is the sole and compulsory provider of accident insurance in New Zealand for all work and non-work related injuries. The corporation administers the ACC Scheme on a no-fault basis, so that anyone, regardless of the way in which they suffered an injury, has coverage under the scheme. Due to the scheme's no-fault basis, people who have suffered personal injury do not have the right to sue an at-fault party, except for exemplary damages."
This is a very good time for this link:

https://ourworldindata.org/grapher/grocery-bag-environmental...
(look at the last graph, with averages).

This is the kind of misguided environmentalism that does a lot more harm than good. It's not fashionable to say so, but plastic is a trivial issue on pretty much every possible count - when you do the math. Trying to "fix" it on the other hand often makes our lives miserable (paper straws) or just plain backfires massively. Growing cranberries takes energy, which for the foreseeable future means oil. Want to bet how much oil is being burned to grow a ton of cranberry film, and compare it with just turning that oil directly intro plastic?
It's complicated because states diplomacy exists in a condition of pure anarchy, but "disarmament in exchange of security guarantees" is another option.

One might draw parallel with Ukraine, which is fair, but turns out it wasn't USA the untrustworthy party to the agreement, and they didn't get a defensive alliance out of it, which showed to be a necessity and raises the bar considerably
Happend to me lot of times on when I search something on Twitter web. Every time I search it shows relevant results immediately but after the network request it will reorder or position the incoming results on the top. Resulting wtf moment...
Why do you consider the US a good example of liberal democracy, what with its signifiant democratic deficiency problems?

The newspapers, the TV channels and web forums are heavily influenced by advertisers and companies, to the degree that this allows them to censor material they see as undesirable. On top of that you have a two-party system.

Then there's the fact the US is militarily aggressive-- the Iraq war is legally (i.e. UN charter-wise) very similar to the Ukraine war and the US has had secret torture prisons in Poland, Romania and some other eastern European countries.

Is that really liberal democracy for you, enough to make the US the liberal democracy?
Or russia is currently in crisis and needs to use its assets, where others are more biding their time.
The problem here is that the thing that "can't happen" isn't actually something that can't happen, it's something that isn't allowed to happen according to a many-hundred-page document that approximately nobody reads. It's not something that can be optimised because the compiler can prove it cannot happen, it is allowed to be optimised because the standard says "dear programmer, if you ever make this happen, god help you".
I created Docker Container Images for every versioned "release" of the paper that we maintain in our Gitlab Registry (a CI builds those images automatically from `.gitlab-ci.yml`, `docker-compose.yml` using `docker:dind`), so you can pull a specific Docker Image for every version of the paper that will definitely have the correct dependencies (because the Jupyter Notebooks were tested with each specific version), including Jupyter itself.
As others are pointing out, the C standard does allow this.
There is no safe way to check for undefined behavior (UB) after it has happened, because the whole program is immediately invalidated.

This has caused a Linux kernel exploit in the past [1], with GCC removing a null pointer check after a pointer had been dereferenced. Null pointer dereferences are UB, thus GCC was allowed to remove the following check against null. In the kernel, accessing a null ptr is technically fine, so the Linux kernel is now compiled with -fno-delete-null-pointer-checks, extending the list of differences between standard C and Linux kernel C.

[1]: https://lwn.net/Articles/342330/
With that in mind and with other comments here talking about how these attacks mirror others, and were somewhat naive even in their methodology, maybe they intended to lose these accounts to just evaluate some Meta detection systems. Apparently Stanford is writing up a full report on this incident which I’m sure will be well studied by the military departments involved.
systemd was necessary. In fact, Solaris did it first in the form of SMF.
What's a fortnight?
Why did GCC change x < 0 to -1 < x? I guess it is faster - but why? x >=0 would have also been a valid transformation to archive the same flow
Sure, but what is the advantage of using Freetube when you're running your own instance of Invidious? What extra functionality does it offer over what Invidious already offers? As far as I can see the advantages of hosting your own Invidious - or a similar application offering anonymous Youtube (etc.) access - outweigh those of using specific desktop/mobile applications like Freetube and Newpipe. I used to use Newpipe before I started hosting my own Invidious instance but more or less stopped using that app since then, not because there is something wrong with Newpipe but because there is no need for it any more.
> That sounds like the opposite of what GP (CWuestefeld) described. Am I misinterpreting the graph?

No. I was stupid in what I said above, getting the direction wrong. Where I said, "...will reset to a lower snr", I should have said HIGHER.
vc.ru has similar content but in Russian. It seems to be a bit more business focused than HN though.
He is a mathematical physicist and he seems not to think much about the relationship between the mathematical models and the physical world.

https://www.math.columbia.edu/~woit/wordpress/?p=10533

It’s interesting the reply from John Baez (another mathematical physicist) to Woit’s “The state of the world is described at a fixed time by a state vector, which evolves unitarily by the Schrodinger equation. No probability here.”:

“And perhaps no physics here, either, unless we say how the state of the world is described by that vector: that is, how we can use the vector to make predictions of experimental results.”
You'll find smaller editors like nano or nvi installed by default more often than vim.
There is no bar for the massive amount of plastic trash we are putting in the ocean there though. The cranberry film would be about microplastics and damage to wildlife, not greenhouse gas emissions.
It sounds compelling, but it's very difficult to convince free users they need to pay now if your software gets popular and you actually want to monetize it.
Ask HN: What kind of expedition data would be interesting to analyse?
Good day all!

Together with my girlfriend we are traveling with an electric car from the Netherlands to South Africa and back. We are currently in Morocco.

With the help of two partners we are getting an enormous amount of data out of the car via the OBD port of the car. If you can think of it, it is probably an paramater that is measured, liked G-force meter, if we buckled up, cellular reception of the car and so on.

What would be nice, beside the obvious like we already have on our website (SOC, altitude, speed and soon windspeed and direction), to show on our website? And what combination of data would be interesting to analyse?

At the moment one of our partners is making this dashboard with the help of students. We are allowed, to a certain extent, to share datasets, if you would be interested to play with it.

Soon we will share more facts and figures about our expedition after the dashboard is set.

Thanks!

Maarten
Artists will not have a common answer to "Are there any rules in art?". Personally, I think there are patterns in art, and there are often rules that can describe those patterns. Oddly, I think the word rule works out OK. 'guidelines' is problematic in another way as it also implies that one is being guided towards a certain aesthetic/end result.
AAX crypto exchange exit scam completed. Facebook, YouTube, LinkedIn deleted
Original story of AAX halting withdrawals: https://finance.yahoo.com/news/aax-crypto-exchange-suspends-withdrawals-015041886.html

Facebook (deleted): https://www.facebook.com/AAXExchange

Youtube (deleted): https://www.youtube.com/c/AAXExchange

CEO Linkedin (company page deleted): https://www.linkedin.com/in/wenn-sheng-chioh-5a76b67

Twitter (silence): https://twitter.com/AAXExchange

CTO resigned: https://twitter.com/BenCaselin/status/1597117107560656897
I agree. There are sites and apps where I need to make a conscious effort to put my mouse pointer in that one place where it does not trigger any hover actions, so I can just read the text. Incredibly annoying.
What the purpose of the / 0xffff?
I, a human being, don't know how to do these either.
It should be noted that in this particular case it only happens when optimisations are enabled (-O2).

With -O2: https://godbolt.org/#g:!((g:!((g:!((h:codeEditor,i:(filename...

Without -O2: https://godbolt.org/#g:!((g:!((g:!((h:codeEditor,i:(filename...

[Edited. I originally wrote "It should be noted that this only happens when..." but inserted "in this particular case" after @eru pointed it out.]
Related - Wordle for Stable Diffusion: https://diffudle.com/

Edit: this was only mentioned by the author in an HN comment (https://news.ycombinator.com/item?id=33728208), so it might still be work in progress - works for me however ;)
What funny is as recently as 6 months ago NPR was pushing a narrative that all the people were fully on board with being treated like cattle, forced to test daily and if positive spend weeks on end in a traumatizing mass quarantine center, where 1000s were forced to share a single bathroom and there was no privacy at all.

I guess NPR’s sources aren’t that pristine after all.
Well I hope they got some good ad revenue
The paper packaging of Wasa has a thin plastic liner, which you can see stretching by slowly tearing the paper. It is probably better that the thicker FinnCrisp plastic, but Wasa paper does not belong in the paper bin for recycling.
i play wordle regularly and really enjoyed this. was very satisfying and managed to get it on the 6th guess my first attempt. worked fine playing on iphone 13 mini.
I am looking for a Youtube Client or an API that takes me back to that time where you had an opportunity to go to the crazy side of Youtube. No, I am not looking for gore or conspiracy stuff - But you get the point.

You start looking at a video from vSauce and then some videos later you are seeing how zebras communicate and what we can learn from it (just an example)

Closest I have seen is an extension that adds an random button but I feel that also lacks what I feel I have been looking for.

Going through screenshots of this client, I couldnt find it (or maybe not listed on the page). Anyone has anything similar they have been using?
I resemble that remark
Using AWS Lambda to Create a MongoDB Connection Proxy
As capitalism is
It's still braindead and idiotic. Every relevant platform nowadays has well defined overflow for signed ints. A sane C compiler should go with that and base its optimizations on it. GCC has been a pile of garbage in this regard for many years now. Its devs get further removed from reality with every year. Treating signed int overflow as undefined should be hidden behind a flag.
Yea. My elevator pitch for this is “shipping containers for everyday items”.

If we standardize on reusable container sizes then they can be returned, washed, and reprocessed back into the supply chain.
Maybe I will pull the video a dozen times before actually watching it now just out of spite, since my bandwidth is unmetered and theirs isn’t.
It's just an artifact of decompilation. It's the same operation in machine code (checking the MSB), there's no way to tell which one was used in the original source code.
I think the lesson here is to stop using signed integer as an index into an array.
Why is wrapping in thin plastic a problem if it prevents food waste? I think of the cucumbers covered in plastic. It’s a very small amount of plastic—and I imagine that it ends up saving energy if it means fewer cucumbers are wasted. Perhaps there is a way to model when plastic is “good” or “bad?”
I think this view is slightly unfair. I think of UB as the compiler saying "when you promised this thing wouldn't happen, I took you at your word. If bad things happen because you lied, they're your fault, not mine."
I understood that P2P is delivered by the Pinecone overlay network which is in the makings and none of the available clients yet provide P2P communication?
The counterpoint to the “fiat mindset” (not to criticize you, but how I categorize it) is gold. There is no reason why gold is valued so highly other than historical and traditional reasons - its industrial utility is far lower than its monetized value.

IMO Bitcoin is superior to gold in nearly every single aspect. The only thing it doesn’t have is 5000 years of human belief in its worth.

If you understand logically why gold in 2022 has a monetary premium above its industrial value, then you can logically reason about Bitcoin and its value.

If you accept that Bitcoin has long term utility and value, then it isn’t a stretch to start analyzing other coins on similar valuation heuristics.
It's also a matter of just getting used to it over a (probably fairly long) period of time. I've been watching anime in Japanese with English subtitles since I was 14 years old, so it's just normal for me to have subs/CC.

(Fun fact: This only works for me if the subs are in English. If they are in my native language, German, I get really distracted.)
C standards fault. GCC has intrinsics that let you do arithmetic safely with overflow checks

Just use them

https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins...
I’d be willing to wager this extends beyond America, if it were properly studied. Perhaps to a slightly different degree, though not by much. Just swap “jew” with some other minority relative to that culture and boom, QED.
What an odd strategy: accuse someone else of deflection while engaging in it yourself.
Most software sales are more elastic and would sell closer to half the number of units at twice the price, not meaningfully increasing revenue. (This can be good or bad, depending on the industry and the competition.)
Best Spotify Wall Art Maker – Convert Your Spotify Song PlayList to PDF Printer
In gcc you can use the -ftrapv or -fwrapv compiler options to get defined signed integer overflow arithmetic.
> Water hardness graph:

Interesting graph, but I was missing some explanation. Here's the figure text, from [1]:

"Water properties for various recipes, cities and bottles. The dashed line represents a 1:1 relation, and color lines correspond to different recommended ranges.

In the figure above, you can see the range recommended by the SCA (green bar), the region recommended by the Colonna-Dashwood & Hendon (2015) Water for Coffee book (this mythical book is now pretty much impossible to find, but it is said by the ancient ones to go much deeper in the chemistry of coffee extraction than what I could ever write in this blog post), and the more constrained region recommended by the Specialty Coffee Association of Europe (SCAE), which is mainly based on avoiding regions of significant scaling (upper right) or corrosion (upper left), two aspects that are mostly important to the delicate internal parts of espresso machines."

[1]: https://coffeeadastra.com/2018/12/16/water-for-coffee-extrac...
Fedora made nano default in 2020: https://fedoraproject.org/wiki/Changes/UseNanoByDefault