skysight-inc/HackerNews huggingface dataset:
I have to admit your comment doesn't really make much sense to me. You seem to dismiss the corruption unless there is some how some grand narrative (some might say "conspiracy"?) that ties it all together and explains why Russia invaded Ukraine? I don't really think that's necessary. Biden's corrupt because he's corrupt. He wants money, for himself and his family. Not sure why that explanation sufficed to bash Trump for years but not for Biden. (Oh, I guess Biden was a "dedicated public servant" in the Senate for 40 years. LOL.)

Anyway, if you really want the big narrative it's there. I suggest you watch Robert Mearsheimer's talks. He's one of the most highly respected scholars in international relations and he has explained pretty well how a lot of western neoliberal fuckery in Ukraine led to the recent activity. One obvious piece is the broad expansion of NATO into eastern Europe despite US promised to the contrary in the aftermath of USSR collapse. Perhaps less credible but relevant are allegations of US State / CIA involvement in Orange Revolution and Euromaidan. Biden et al. perhaps didn't care for the strategic issues beyond wanting to ensure a sufficiently friendly / pliable government to continue their corrupt schemes.

(PS: despite username I am not Russian, that is not the source of my interest / bias in these matters.)
> because the whole program is immediately invalidated.

The problem is the program isn't invalidated, it's compiled and run.

The malicious compiler introducing security bugs from Ken Thompson's "Reflections on Trusting Trust" is real, and it's the C standard.

I will grant that trying to detect UB at runtime may impose serious performance penalties, since it's very hard to do arithmetic without risking it. But at compile time? If a situation has been statically determined to invoke UB that should be a compile time error.

Also, if an optimizer determines that an entire statement has no effect, that should be at least a warning. (C lack C#'s concept of a "code analysis hint" which have individually configurable severity levels).
You missed the "Beidou" positioning system, your news is too out of date.
It’s not like if throw the shell back in it’s gonna grow a new crab.
There have been several cases where Rust's use of "restrict" pointers exposed bugs in LLVM, and the Rust compiler had to disable some optimizations as a workaround. But I haven't heard of anything like that happening with signed overflow. (Probably any bugs with basic integer behavior would get noticed quickly?)

Another thing to watch out for here (especially if anyone's trying to transpile Rust to C) might be C's strict aliasing rules accidentally getting applied to Rust raw pointers.
The same with Czech (and I assume all Slavic languages?). Would be interesting to track the etymological development of this meaning.
Jai looks interesting although it seems most information seems to be within several YouTube videos.
Is it worth the risk to give a fake name?
> This person is claiming "we can't directly probe a string therefore string theory is religion", but then she works on something which is worse than religion - something which we know is experimentally disproven.

Not sure what you are referring to here. If it is her work on theories involving a minimal length scale: Heisenberg and Planck also hypothesized about minimal length scales. Hardly controversial even if difficult to combine with Lorenz invariance.

Experimental testability is important in physics. It doesn't mean anyone doing something not directly testable is a hack, but I think it's good people have been raising the issue more recently.
I am on split here. Signed overflow is UB and it is pretty well known, yet author is writing code that depends on such overflow.

But is there are a reason for `i >= 0` not raising a warning if it can't happen? Or is there a warning that was not enabled? I think `i >= 0 cant be false` would save a lot of headache

edit: one post mentions macros. Which makes sense in that case I think. You can easily write such impossible conditions with macros, so making it a warning would add a lot of warnings I guess

Although there are warnings for `if (true)/if (false)` "this condition is always true/false"
What reasoning do you have for avoiding plastic?

BPA and BPS, I guess.
It's interesting that you consider what are solved problems in the world of RDBMS to be difficult, but currency conversions simple.

Out of curiosity, does your system use a NoSQL database?

> Right - and what happens when you raise or lower your prices?

The billing table has "CustomerID, ResourceID, HourID, Units, SKU_ID" columns. You raise or lower your prices on the hour boundaries. The new rows inserted after the price change will have the new SKU ID with the new costs.

Irrespective of when you send an invoice to the customer, the report simply does a "GROUP BY" over the (CustomerID, ResorceID, SKU_ID) columns and some range of the HourID column. You sum up the Units * SKU_ID.UnitCost value, or whatever.

This isn't exactly rocket science for any normal database engine.

I suspect the error people are making is not recording the change-of-billing-model as a "slowly changing dimension", and instead trying to do complicated rules-engines in code...
The whole point of TFA is that billing systems are way more complex than they appear to be. If you're trying to build a billing system, how do you "copy" what these big companies do, when most of the effort is neither obvious nor visible?
> This is a problem for people who are very proficient when using the internet, "computer experts", and not for many others.

I'd disagree. My mum is 83 and has complained about this in apps on her phone and when using websites.
Spotlight 100%
Using a film camera will force you to take the picture with your mind first.
You will understand exposure and light in a fundamental way.

You always can use your phone, computational photography will give you the best result, algorithmically speaking.:)
Is there any private application which can (or could potentially) auto download videos to a phone overnight?
Nick Fuentes, Cloudflare damage it
Bathing? They want people to boil water before bathing?? Also, they host the notice on mailchi.mp instead of a government site.
No. Just compile with -fno-strict-overflow, like I do.
Sorry!! I made some really fatal changes a few hours ago, that's why it wasn't working. You can try now.
Relatively speaking, sure, but in absolute terms isn't almost everyone kinda shit at programming? Ars longa and so forth.

I've been programming for creeping up on 30 years, since I was 7, and built a conga line of impressive software, but my designs are often some awkward thing I fumbled my way into discovering, my code isn't half as structured as it could be and my variable names are weird and inconsistent.
Seems like you are implying that there is some hardware they could move to where they would not have the problem, were they not stuck with their current one.

This makes me very curious. What hardware could they move to that does not have the same problem?

Or “consequence”, as you call it. Though in my mind performance problems are still problems. Were they characterizing it as a cache invalidation problem? The first paragraph says “a performance problem involving caching”. I read the title as being because their false sharing problem arises from the way CPUs invalidate cache lines, to ensure coherency, which is notoriously complex.
I haven't either
Let's do an informal experiment. In incognito I searched "how to seat a tire on a wheel"

The first result is 2:43 then 3:14 then a shorts drawer which are sub minute videos then 5:43 then 3:29.

It turns out that YouTube is not optimizing for showing 7 minute videos.

>YouTube optimizes for maximizing ads

While they do monitor for regressions of metrics like ad revenue improvements to the algorithm aim to improve the user experience as opposed to improving revenue.
Is there any containerd solution for macOS that makes use of the Rosetta binary provided to Linux VM's for x86 containers yet?
Thanks for posting this!! :)
No, it cannot, and UB is not a global program property. The C standard defines valid program executions according to the behaviors of the abstract machine. UB is a property of an execution of the program given some inputs.
Image search does a better job explaining it.
Huh, I'm surprised no one else brought up cellophane. I had assumed it was the same thing as plastic wrap, but a quick trip to Wikipedia reveals that it's biodegradable, compostable, and made from plants. Seems like a much better fit, and already commercialized!
Another issue with Medium is that you earn money for your content. The problem with this is it attracts a large bunch of people who have extrinsic motivations. When your goal is monetization, you tend to resort to any trick in the book that will move the numbers.

I find non-monetized content generally to have higher quality than monetized ones. The author is intrinsically motivated to produce quality and there is no other goal other than to share what they have with the world.
The point of learning Sunny 16 is that once you’ve internalized thinking in full stops, you don’t need visual feedback, which makes you faster, which can make the difference between getting your shot or not and having a happy or angry client.

> Or, you don't need to learn about optical filters (perhaps except for the polarizer) when almost all their functions can be accomplished in software without loss in fidelity.

I still think it’s a good idea to learn what they do, so you know when to use a (digital) BW red filter because you want brighter skin.
The pricing reflects how many sites you can create at that price point, such that it becomes cheaper per site as you move up in range.

And thanks for the tip:) I updated the title accordingly.
Isn't this how Operational Semantics works for describing formally a given programming language? You define what the state of execution of the program is made of, and how state transitions occur during one execution step.

The wikipedia link describing it is overly arcane but here it is anyway:
https://en.wikipedia.org/wiki/Operational_semantics
There was a website which would only display videos with close to zero views. It is endlessly fascinating what stuff tou get to see there. Stuff that you wouldn't be able to find on youtube if you actively searched for using their search bar.

Found it: http://astronaut.io/
Out of curiosity:

> It scans those columns and knocks out any blocks (technically granules containing by default 8192 rows) that do not values that match the filter conditions

How is that not just a sequence scans? Of course it pre-emptively filters away entire blocks that do not contain the data, but indexes typically work differently: they’re calculated upon write, so that they can be queried really fast.

Is there a detail missing here, e.g. like bloom filters being used or something else that makes it different from a regular sequence scan?
> Out of curiosity, does your system use a NoSQL database?

No, the last system I built was using PL/PGSQL. It's brilliant for this application.

> The billing table has "CustomerID, ResourceID, HourID, Units, SKU_ID" columns. You raise or lower your prices on the hour boundaries. The new rows inserted after the price change will have the new SKU ID with the new costs.

Like I said, this is a very simplistic way of viewing how to do billing. Sure, today you only have the hour dimension when choosing a price. But then sales asks you to give a discount to a specific, very large, customer. For only a single resource. For only the first three months. Suddenly, and very predictably, your billing is not so simple any more.

The problem is not that simple billing is difficult. The problem is that billing is not simple.
it's cool to know that students are doing this for fun and learning.

There are many mips cpus out there. It's very popular in China.
> You reversed cause and effect here. The former happened after the latter. Soviets invaded and then we supported the Islamic rebels to successfully win out against the Soviets. If we hadn't history would have taken a very different course. And as usual, one man's freedom fighter is another man's terrorist.

No, you reversed cause and effect. Russia didn't invade Afghanistan for no reason. Why did it invade? Because the nation was plunged into a civil war with armed islamic groups, funded by the U.S., pouring into the country attacking the existing government that had good relations with Russia. Strange how the U.S. always funds radical, destabilizing groups all along the borders of its rivals.

> You think the Soviets would have preserved Afghan society had they taken the place over and integrated it into the Soviet Union?

The Soviets didn't care about "preserving society" because they are not hysterical children trying to engage in a moralizing foreign policy with a huge body count. E.g., they are not the United States. What the Soviets care about -- what any rational nation cares about -- is stability. They do not want radical groups causing chaos along its borders. Which is exactly why the U.S. funds radical groups causing chaos along Russia and China's borders. The U.S. is now getting kicked out of Syria -- why? Because they have been funding and arming radical Kurdish groups that have been causing terrorism in Turkey, Iran, and Syria, and all the nations of the region are uniting in opposition to this US proxy, and are actually inviting China in to help them deal with the Kurds. So the Kurds are going to get screwed once again - just like the last time the U.S. urged them to rise up against Saddam. The U.S. uses these groups as tools to smash enemies, and then the tools are the ones that get smashed. The same thing happened to the Uyghers, which the U.S. was supporting in various terror attacks in China and Southeast Asia until China had enough and decide to crack down on them. Again, the Uyghers suffer as a result of this policy. All over the world, you see this pattern, whether it is supporting contras in Nicaragua, neo-Nazi groups in Ukraine, muslim separatists in China, Kurdish separatists in Syria, Turkey, and Iran -- the U.S. funds these groups to attack and weaken their enemies, but the result is always blowback, first on the tools of U.S. policy, and then on the U.S. itself.

This is not a rational foreign policy, nor a diplomacy-first foreign policy. This is a foreign policy based on destabilization and terror - of spreading chaos all over the world that ultimately weakens the U.S. and carries a great human toll.

> Yeah this is pure lies.

These are the facts. There is no defending the death squads and Georgian trained snipers of Maidan shooting police, anymore than there is no defending the violence of the Orange revolution. These are just violent coups to install puppet governments, using them as a tool to smash geopolitical enemies, and the result is great human suffering.
Small point: but the _United Kingdom of etc._ is already a Union of 4 states (countries, whatever), it's not about to become a single state of anything.

If anything, each of those 4 states in increasingly looking to find an alliance that works for them individually. The UK exited the European Union, and that is in turn weakening the United Kingdom's Union. What a surprise.
I think the tracking itself is fine. The recommendation engine just has become really stale. It's hard to believe that out of all the hundreds of hours uploaded per minute (or whatever) there are only like 20 videos per week that I might be interested in. I feel like the recommendations used to be more dynamic.
Sounds easy enough. I've seen it before. I'll try to remember to use it. Thanks
1. In Google Search, if you mouse over the first result in an attempt to click the second result, sometimes an animated section below the first result with related terms appears which I erroneously click instead of the second result. At first I thought this was a fluke. Then I though a browser extension was doing this. Then I tried to get it on "camera" (via screen record). And now I just use Bing.

2. Cookie banners everywhere. A standard protocol needs to be created.

3. Software subscriptions without a one time payment option.

4. Electron apps because building using native toolkits is to time consuming.
>USD 50/-
Per User Per Month
Enterprise Support (Optional)
Starts at USD 1000/- Month

Are you Indian, perchance? How you write prices in India doesn't work in other places; this looks strange to someone who works in nearly any other currency.

Any of the following would look a lot less out of place:

$50
50 USD
$50 USD
50.00 USD
$50.00

Of these, I recommend the first one; dollars default to USD worldwide unless specified otherwise.
> If a situation has been statically determined to invoke UB that should be a compile time error.

That's simply not how the compiler works.

There is (presumably, I haven't actually looked) no boolean function in GCC called is_undefined_behavior().
It's just that each optimization part of the compiler can (and does) assume that UB doesn't happen, and results like the article's are then essentially emergent behavior.

See also: https://blog.regehr.org/archives/213
It’s fun to guess cards that make hands better or worse, but it’s a bit tedious to make repetitive random guesses for the inconsequential cards.
If someone told me it was on purpose in this one just to be more confusing I would believe it.
Potentially more informative

https://mappinglondon.co.uk/2013/hexagonal-map-of-london/

Book PDF https://access.bl.uk/item/pdf/lsidyv3c0c937d
Water grids are designed to flow in only one direction; a drop in pressure allows potentially contaminated water to flow backward into the pipes, e.g., from a crack that allows a small amount of water out into the surrounding soil.
How about "Potato Puzzler", do we like that one better?
The trap in C is that you can't have overflow checks after the calculations testing if overflow happened by making assumptions about what the UB does. Once the UB has happened it's already too late. What you actually need is input range checks to ensure that following code can perform it's calculations correctly without hitting UB or you need to use helper intrinsics which perform checked math operations.
I think if we were trying to build a payment system for illegal use, what we would end up would look very much like crypto. This in itself should speak volumes.

Of course, for my part I certainly wouldn't be able to independently come up with proof of work chains, the major contribution of Satoshi. Something like Wei b-money with a super-peer network that broadcasts transactions and countersigns those that are legitimate/first. It wouldn't have the strong anti-double-spending features of Bitcoin, but it would work much as current proof of stake coins, as long as the super-peer cabal was not majority-compromised.

I know I could come up with it because I toyed with these concepts in the space of filesharing protocols before 2010, but decided the whole e-cash approach was too heavy. Always wondered what it could have led to if I implemented it back then.
Drag-and-drop genome insertion of large sequences
This increases accidental clicks on ads, so I would think there is a definite incentive not to fix it.

Even if you can't find anyone who specifically can be blamed or had a conscious plan, it seems like something that would be an emergent phenomenon.

"Invisible hand" as they say.
Yep. Every morning the play button on my FT podcast jumps due to variable sized slow banner ad. It’s still jarring even if you known it’s coming
One can only hope that this thread finds a way onto some responsible MS employee monitor.

Yeah, MS is not good at search, but I think having one engineer tackle windows search for over all these years would have brought us instant and relevant search results.

How many times I have to find the right keyword to find something I KNOW is there but that satisfies the search engine is more than I want to recount.
In addition to the points that other posts have made: it's also not especially new behavior. E.g. I see it at O2 gcc version 9.3.0 on i386. The optimization isn't performed by gcc 4.9.2 at O2 on i386. If I had to guess it probably shows up around GCC 5, but I don't seem to have any i386 vm's with gcc between 4.9.2 and 9.3 handy at the moment.

And 4.9 absolutely will do similar in other cases: fwrapv has existed since GCC 3.3 and fno-strict-overflow was introduced in GCC 4.2, which are flags to defeat these optimizations (and either of which avoids the crash on GCC 9.3)-- both introduced in response to increasingly effective optimization in prior GCC versions exposing errors like this. 4.9.2 just misses the optimization in this specific case.
You could change the color of one of the notes in the logo to violet (also used by your app).

To offer another opinion, I didn’t think about the Microsoft’s logo at all.

I guess I see MS logo as a single object (used to be a flag) with a pattern, whereas this one as a collection of sticky notes.
Not really, non-tech people don't know or care about reCaptcha. I still think its evil for reCaptcha to be so prolific and used for data collection, but it's a positive side-effect that its also used for less evil things like labeling for data sets.
I'm not talking about any specific show -- this problem applies to a lot of shows. I think what you're getting at is a little bit of a different problem; Specifically, the 'we can fix it in post' mentality.
> The problem is the program isn't invalidated, it's compiled and run.

Anything can happen with undefined behaviour, including exactly what you would expect to happen for five years, and then everything breaks.

Compiling and running as if nothing is amiss is exactly how UB is allowed to look like.
The existing name for this paradigm is "synchronous programming" (because such programs, like synchronous circuits, can be thought of as having a clock that ticks at every state change): https://en.wikipedia.org/wiki/Synchronous_programming_langua...

The first synchronous programming languages were, AFAIK, Statecharts and Esterel, the former designed by David Harel while he was working alongside Amir Pnueli, who would later win the Turing Award for introducing temporal logic to computer science. https://www.wisdom.weizmann.ac.il/~harel/papers/Statecharts....

Eve also combined synchronous programming with logic programming: https://witheve.com
That's the same as in europe, except perhaps that in europe often specific unions are associated with specific political parties and act in conjunction.
Hi

The main issue is that on my hosts where fail2ban are running, I see week on week activity and banned hosts.

When I look into cscli decisions or cscli metrics, it gives me the indication that nothing is happening which I don't believe is true.
Maybe it is doing the work it promises, but I can't easily see it.

This could be a false negative, and that there genuinely is less malicious connection attempts. The busy fail2ban are bastion hosts on AWS, while the others are hosted on DigitalOcean. For me as a user though, I wish there was a way to see historically blocked hosts. The last time I looked half a year ago, this was not available in CrowdSec.
Marketing nonsense. Sony was trying to sell the idea that the PS2 cpu had... magic in them.
I am not even sure it's the case. In explorer options, search, both "include compressed files" and "always search file names and content" are unchecked by default. And from the behaviour it seems to only search file names indeed.

I suspect it has more to do to explorer registering something with the file system to be notified if any of the folders being searched change or something like that. Something completely useless in any case, I'd much rather it doesn't do anything smart and gives me a result instantaneously.
So true. That combination is rare but indeed very powerful. Combine that with the ability to pave the way forward and you got a recipe for success.