skysight-inc/HackerNews huggingface dataset:
> Companies, specially adtechs like Reddit and LinkedIn, do NOT want you to browse privately, to the point they rather you don't use their website at all unless without a condom.

That’s true in some cases, I’m sure, but also remember that most site owners deal with lots of tedious abuse. For example, some people get really annoyed about Tor being blocked but for most sites Tor is a tiny fraction of total traffic but a fairly large percentage of the abuse probing for vulnerabilities, guessing passwords, spamming contact forms, etc. so while I sympathize for the legitimate users I also completely understand why a busy site operator is going to flip a switch making their log noise go down by a double-digit percentage.
Because training employees is expensive & may not be obvious how the $ could be used. In the employee side it is a small % of total comp so it doesn’t make sense for them either.

It isn’t clear that they fired the employees to send a message. From the article, it doesn’t look like Meta told other employees, “we fired people who abused the free meal service,” so I don’t know how others would get the message. Instead it was posted on Blind and picked up by news which seems like a poor way to send a message from a PR perspective.
Students are adults. Teaching them that their choices have systemic consequences is not the same as forcing values on them. It might be factually incorrect, but it's not a value statement.

And I have no worries that the billionaires will make sure their views and values are aired and widely known, so students will be very much able to make up their own mind.
You absolutely can. Moreover, assuming enough technological and cultural evolution in e.g. 1000-10000 years, it will likely be done, if not completely replaced and redesigned.

The fact that conditions change doesn’t make your current form ideal.

Speaking of conditions.

In 5 billion years there will be no need for natural selection cause Earth will dip into the exploding Sun and evolution game will be over. Nothing will keep working. Even in 1B years it will be pretty hot outside. We’ll have no time for that “optimal” crap anymore, starting now tbh, considering our stupid tribal nature and the complexity of overcoming it.

Btw, if we fail to continue our current civilization, there will be no another civilization, cause we’ve drained all under-your-feet resources long ago. The next civilization will be forever farmers slowly burned by a star.

We absolutely can escape this fate by finding something much better than a bare minimum.

Edit: messed up numbers, fixed
Many of such issue were also fixed in languages like Ada and Modula-2, among others, which C and C++ folks used to call "programming with a straighjacket".

Many folks will complain about anything that breaks their beloved illusion that C is a fancier macro assembler, except even proper macro assemblers have less UB than regular C.
Why would you not fire someone who is stealing from the company? Not seeing the logic here.
For accidentally bundling a toothpaste with some groceries? That seems excessive but again I don’t know the scale of it.
FTA:

> Employees who had only occasionally broken the rules were reprimanded, but were able to keep their jobs, the newspaper reported.

It sounds like the fired employee’s abuse was especially egregious and most Meta employees doing this got off with a warning.
Does the Libra Colour support KOReader? That removes the need to convert to kepub and generally gives you better rendering, at the cost of having to do more setup.
It never even occurred to me that they could be talking about something other than the virtual memory manager. I was hyped to see if there was some new architecture being applied for cross-OS compatibility, novel memory objects, techniques to reduce fragmentation, stuff like that. Now I’m just sad.
Where did you see "accidentally"?
Aren't they just finding a good reason to save 400K/year * how many they fire.
Ada, Modula-2, PL/I, Mesa, NEWP, PL/S, Object Pascal, and many others are just as close with much less UB.
Is it actually illegal to sell an exploit to the highest bidder? Obviously deploying or using the exploit violates any number of laws.

From a speech perspective, if I discovered an exploit and wrote a paper explaining it, what law prevents me from selling that research?
That said, my BEV is currently in service due to the charger shorting out for some reason. Not sure which came first, but the battery cable harness also got damaged and had to be replaced.

A quick change once the parts arrived they said. The car is still under warranty so won't cost me a dime, but if the bill they presented me with is real and not some "medical bill" shenanigans, the charger alone would be 1/8th the price of the car as new, total repair cost 1/5th...

So yeah, still some expensive parts that can break. Was quite happy with very little maintenance costs so far, but if that price was real and charger breaks after warranty is out, the whole value proposition is quite different.
From some of the other comments, it looks like a rather recent addition by Amazon (around 2021). I got rid of my last Kindle after 2021, but maybe I never got that update.

If it takes some competition for Amazon to finally add some very basic features like this after a decade, I will keep supporting that competition.

I’ve grown frustrated with Amazon in a lot of areas, this was just one small one. I’m looking to divest my dependence on Amazon, and the Kobo isn’t leaving me missing anything.
If you value these employees so much that you pay them $400k/yr, be careful what message you want to send.

My assumption is that this is an excuse to get rid of some employees they didn't want anyway.
Welcome to the research field of program refinement. There are a couple of approaches one can take:
- Certify: the program isn't actually checked/proven to satisfy the spec, but experts in the field will pore over the code and try to find any disparities or edge cases.
- Top-down: given a spec, try to generate an implementation that satisfies it by construction. This depends a lot of the concrete framework, but e.g. Coq supports extraction of executable code from its (verified) source. The results are not very well decoupled from the spec and are often lacking in performance (single-threaded, unoptimised, etc).
- Bottom-up: given an actual implementation, prove that it behaves according to the spec. This can allow for optimised programs and concurrency, but both complicate the proofs. (This happens to be my PhD research topic.)

Some work to look at, if you are curious: Event-B, Trillium, IronFleet
Thanks! I missed that part.
> Mattel is looking over its various intellectual properties and imagining a Scrooge McDuck–sized swimming pool of cash.

Pah, these small reporters with their small ambitions! Scrooge McDuck didn't have a "pool of cash", he had a whole silo-sized building filled with cash, and the "pool" that he used to swim in was merely the visible surface of it:
https://www.duckipedia.de/images/archive/d/d3/20230517100725...
Not sure if I get this.It seems to me an RSS reader is as much of a bot as a browser is for HTML. It just reads RSS rather than HTML.
So the requirement is to pass the phone’s system validation process rather than having a Google account. I don’t love that but I can understand why they don’t want to pay the bill for the otherwise ubiquitous bots, and it’s why it’s an Android-specific issue.
The NHS is in an IT 'Stone Age', staff struggle with creaking infrastructure
>insurance rates are significantly higher

The insurance rates are higher because they gotta cover six months of rental car while some unobtanium back ordered headlight takes 3mo to ship to the one body shop in 100mi that won't actually get around to working on it for another 3mo (I'm exagerating a little here but not nearly as much as I wish I was).

We all pay for it on some level.
I guess I'm not totally sure what the canonical way would be, probably convolution with the N'th derivative of a guassian smoothing kernal where the smoothing response is chosen by frequency analysis, or something along those lines. You could also just smooth the signal then differentiate it numerically (probably equivalent but less efficient). I would personally go for this bayesian filtering approach or some kind of local polynomial approximation like splines or the Savitzky-Golay filter people are talking about this comment section because it would probably be easier to deal with missing data etc.
It's official. There are some perks that are better in relatively "shithole" countries than in Elysium. In that universe, they put allowance money on your food card that is mostly accepted by certain restaurants. But there are a few supermarkets that accept it as well and you're completely free to use the card "wherever it's accepted".

This facebook example by contrast is hilarious bean counting partnering with moronic principles.

And where is the quote from the person that bought toothpaste at the request of a homeless person? I'd like to be in the HR office for that conversation.
Makes sense, I think that will end up a solid approach.
My startup just fired a remote employee who was using our coworking space stipend to pay for her friends art studio rent. When asked for receipts, they got super defensive and the rest is history. For every person taking advantage of their companies generous perks, there is someone hard working and ethical willing to do that job. FAFO.
I think this is the first instance of a big "open source company" where it's getting competed by another company using its very own product. That's essentially the gist of it. Matt/Automattic made WordPress and (ehm) using open source as a distribution strategy. WPEngine is trying to profit from the product (the license does permit it). As they got too big, Matt now wants to get them out of the market.
I had this exact experience in the 90s, except I called them all Hot Wheels having no clue Matchbox existed. Shocking how much can change so quickly.
Bill Gates still runs product at Microsoft, bad counter example...
I'm sorry, as much I'd like to buy a e-ink smartphone, your recommendations doesn't read like a recommendation at all.

Notifications and a kind of recent android version are two deal breakers.
Isn't it interesting that plays like the thing industries cant offer beyond QoS 0? Why do you say the gap is?
I am almost sure that this employee in particular was not deemed especially important. If it was e.g.: an exec or some high level engineer, they would just be reprimand.
https://webpod.dev works almost the same, but via ssh.
Ada, Modula-2 (both available on GCC), D (available on its reference implementation, GCC and LLVM), Swift, Object Pascal (Free Pascal, Delphi, Oxygen), Oberon variants (Oberon, Oberon-2, Oberon-07, Active Oberon, Component Pascal), Zig, Nim, Odin,...
Ah yes the two types of computers, "ipad" and "rack mount".
I'm not a LISPer but this just seems more correct to me, since stricter is usually more correct.

Ruby (not a lisp but bear with me) started to do this more correctly IMHO where a nil would start throwing errors if you tried to do things with it BUT it would still be equivalent to false in boolean checks.
I'm pretty sure Linux does usb device enumeration/initialization already asynchronously and does not block booting
hmm, I don't think I'm familiar with the kind of problems you might be thinking about. Care to share an example?
No, really... Flat Earth would be BSV.

BCH is more like JW "truthers" or something.
Whether or not they intended to send a message, if I work at the facebook the blaring loud message I just received is "do not under any circumstances try to expense anything, ever."
From another post, if the content-type is correct it gets through. If this is the case I don't see the problem.
Palantir seems more Mechanical Turk-like than amazing tech. In my observations they could do some interesting things with data but there was no real secret sauce to dealing with the usual messyness of real world data beyond just deploying manual labor to sort it out and then do interesting, but ultimately pedestrian, analysis.

Struck me as not that different from many other consulting type engagements: It’s not something a company couldn’t just do on their own if they wanted but companies just choose to pay someone else to do a bunch of grunt work under the guise of some hand-wavy special expertise and IP.
Like trait implementations, and trait objects.
The CDN can choose whether to honor those. That hasn’t been an effective adversarial technique since the turn of the century.
MoonBit native, up to 15x faster than Java in numerics
I gave it a softball question and it got it horribly wrong.

"Cidr /17 is what subnet mask?"

Here is it's answer:

"A simple subnetting question!

Given: CIDR /17

To determine the corresponding subnet mask, we need to understand how CIDR notation works. CIDR (Classless Inter-Domain Routing) notation is a compact way to express the relationship between an IP address and its associated routing prefix. The number after the slash (/) represents the number of leading 1-bits in the subnet mask when it's converted to binary.

A subnet mask for IPv4 is 32 bits long. Here's how to convert /17 to a subnet mask:

Determine the number of 1-bits: /17 means the first 17 bits are 1.
Determine the number of 0-bits: Since the total length is 32 bits, and 17 are 1-bits, the remaining bits are 0. So, 32 - 17 = 15 bits are 0.
Convert to binary and then to dotted decimal:
Binary: The first 17 bits are 1, and the last 15 bits are 0.
11111111111111111 000000000000000
Dotted Decimal: Divide the binary into four parts (each 8 bits long, known as octets) and convert each to decimal.
11111111 = 255
11111111 = 255
00000000 = 0
000000000000000 (last 8 bits of the 15 zeros) = 0
So, the subnet mask for CIDR /17 in dotted decimal notation is: 255.255.0.0."

Yes it's a simple subnetting question and it got it wrong. Right answer is 255.255.128.0.
Safe Updates for WordPress
Updating your WordPress site can be risky, but with WPSAFEUP, you can update without the fear of losing important data or breaking your site. We offer a simple and reliable way to update by creating an instant snapshot before each update. If something goes wrong or the new update doesn’t meet your expectations, you can quickly and easily roll back to the previous version with our service.
1. Sourcing is difficult. Would you buy some random batteries from China? Do you trust the dealer that it won't fry your customer in few months after installation? Can you verify that what they are selling is what you have in your hand?

2. You need to know a lot about batteries and even more about battery management system and then know how to integrate batteries + BMS into a car. Sure you might be able to reuse existing BMS for a car you are targeting but it will quickly become a bottle neck in your manufacturing if you do so.

3. Pairing of parts. Related to point 3. You might be able to build a battery pack, are you able to also force the car to take the battery pack? Car might outright refuse to talk to it, because it is not paired and OEM won't let you pair it, because "safety", but more like safety of their profits.

4. Shipping of Lithium batteries in general is huge PITA. Try to ship battery of any size with Fedex/DHL/UPS. They either outright refuse to or you will pay a lot of extra.
That's fair. I think it's a big win, though. Macros, when the situation calls for it, are amazing. For example, I believe most of the UTF8 handling code in Elixir was done via macros which brought down the amount of code that had to be maintained by quite a bit.
CoTracker3: Simpler and Better Point Tracking of Real Videos
That's not quite the same as having a gun to your head. Again, I have a slavic name that's extremely difficult to English speakers and I live in the UK - no one is forcing me to change it. I understand some people chose to change their name so it's "easier" for English speakers - and I respect that choice. But let's not pretend that Mr Turyshev was "forced" to change his name - he wasn't.
You're underestimating how valuable Hamas has been to the Israeli right. Smotrich called them an asset in 2015 for a reason, and Netanyahu said similar in 2012.

With Hamas in charge, Israel could avoid making new peace agreements or concessions by saying that there was "no partner for peace". The more violent Hamas got, the more cover Israel had for expanding settlements. And now Likud is already talking about what they'll do with all the Gaza land they're taking.
> stealing from the company

Do you imply the person didn't eat that day or what? The company compensates employees food expenses. The employee's partner made the food and thus the food can't be expended, so they bought something else at the equivalent price to compensate for what would otherwise be covered by the company.

I can't find a logic by which this is "stealing". Please clarify.
Those are all very nice intentions. But let's look at the facts: you can have massive impact, and still fly under the radar because the way the law is written "large companies" is all about money.

You have millions of users, be cited 1000x/hour on public/private media, be the place where Europe commissioner announce their resignations, and be the origin of countless lawsuits entered around censorship and freedom of speech; if you are owned by a billionaire who is able to squeeze costs and is not in need to make money, you will never be considered to be worth of investigation by the DMA. Just because you don't generate enough money to be worth the EU time.

The way the law is written is all about money; the amount of revenue you make (and thus the amount they can grab) is quite literally the main criteria when deciding if you are subject to it or not. They just sugar coated it with the usual layer of "EU citizen protection" and "protection from abuse of power".
IME Clang/LLVM can be extremely agressive about inlining. Some of my home computer emulators are (almost) collapsed into a single massive function (the compiler can see all function bodies in my build setup even without LTO).

Also the CPU emulator tick function which is a single huge switch statement with several thousand case branches was actually running into a slow path in Clang a couple of years ago (it took like 30 seconds to build that one source file). This was fixed at some point though.

I also seem to remember that Emscripten had a build setting to break up large WASM functions into smaller snippets to work around such quadratic outliers in browser WASM engines.
Same for me but with text messages. I made the mistake of making a contribution on act blue 8 years ago and now every election season I get hundreds of text messages asking for donations with the most ridiculous content ever. "Act now to unlock the ultra rare 400% match...". There is no way to get off the list. I click unsubscribe, half the time I get no automated response, I now just report it as junk but they just keep coming.
Language is not essential for the cognitive processes that underlie thought
Of course - and I support their choice. People struggle with my name every day and I could change it to make it easier for English speakers - but I don't think that's quite the same as being "forced" to change it.
The one improvement I want from an ebook reader is better typography.

On current devices (especially Kindle, but from what I've seen of screenshots online, also other readers), the font selection is extremely limited and the rendering is atrocious. Nobody seems to have spent any time on kerning, word breaking, or anything else relating to typography and layout.

Even after 20+ years of ebooks, they still don't have the visual quality of paper books. Headings, drop caps, quotations, illustrations — all the beautiful stylistic choices that a paper book makes is just wasted on an ebook.

Anyone have a happy story to tell here? Like some niche device that actually has high resolution and beautiful font rendering?
And their product is so great..?
I'll mail you as well but I think public discussion is helpful. Especially since I have seem similar responses to this over the years and it feels very disingenuous. The problem is very clear (Cloudflare serves 403 blocks to feed readers for no reason) you have all of the logs. The solution is maybe not trivial but I fail to see how the perspective of someone seeing a 403 block is going to help much. This just starts to sound like a way to seem responsive without actually doing anything.

From the feed reader perspective it is a 403 response. For example my reader has been trying to read https://blog.cloudflare.com/rss/ and the last successful response it got was on 2021-11-17. It has been backing off due to "errors" but it still is checking every 1-2 weeks and gets a 403 every time.

This obviously isn't limited to the Cloudflare blog, I see it on many site "protected by" (or in this case broken by) Cloudflare. I could tell you what public cloud IPs my reader comes from or which user-agent it uses but that is besides the point. This is a URL which is clearly intended for bots so it shouldn't be bot-blocked by default.

When people reach out to customer support we tell them that this is a bug for the site and there isn't much we can do. They can try contacting the site owner but this is most likely the default configuration of Cloudflare causing problems that the owner isn't aware of. I often recommend using a service like FeedBurner to proxy the request as these services seem to be on the whitelist of Cloudflare and other scraping prevention firewalls.

I think the main solution would be to detect intended-for-robots content and exclude it from scraping prevention by default (at least to a huge degree).

Another useful mechanism would be to allow these to be accessed when the target page is cachable, as the cache will protect the origin from overload-type DoS attacks anyways. Some care needs to be taken to ensure that adding a ?bust={random} query parameter can't break through to the origin but this would be a powerful tool for endpoints that need protection from overload but not against scraping (like RSS feeds). Unfortunately cache headers for feeds are far from universal, so this wouldn't fix all feeds on its own. (For example the Cloudflare blog's feed doesn't set any caching headers and is labeled as `cf-cache-status: DYNAMIC`.)
*the daily mail has entered the chat*
Is it really an abuse? Oh no, he used meal credits to buy toothpaste and tea instead of food, so... what? It really irks me that this level of pettiness comes from the corporation that itself uses every single tax "optimization" scheme on earth (and also probably invented a couple). Apparently, quod licet Metae non licet famulo. This really is just a small monetary enhancement to one's wage, not a "we ration out your approved caloric intake separately; do not mess with its accounting — or else" system (although it seems Meta really would like to treat it like that).
Yeah but what role? 24h always at least a bit running brain has also crucial role in survival.

I get some form of maintenance is needed, but 8h every day seems like an overkill for very significant disadvantages. Many other mammals require significantly less sleep.
AFAIK Chrome already does the "function by function" ompilation approach that's hinted at the end of the article.