skysight-inc/HackerNews huggingface dataset:
Property-based testing is good when there is a property to assert that emerges in a non-trivial manner from the code under test. If you do not have such a problem, property-based testing provides no value over a simple, example-based test.

In the case of the parsing code from the article, the emerging property is that a serialization followed by a deserialization should always yield the original result.

In the case of the 'binary or not' case from the article, the non-trivial, emergent property is that the function never fails with an exception.

Most modern software development is plumbing, stitching together platforms, libraries and frameworks, and there are rarely non-trivial, emergent properties where property-based testing is useful.
The counter argument is simple: Budgets cannot be planned out based on hoping people donate more.
I personally have found that AWK is a surprisingly good alternative to shells for scripts bigger than average.

Why?

1. Portability (AWK is a part of POSIX)

2. Very clean syntax

3. Powerful associative arrays

4. Super-powerful string manipulations facilities

5. Easy shell interoperability

As an example here is a simplistic build tool [1] I’ve developed in AWK. As you can check [2] it runs unchanged under Linux/macOS/Win (via Git Bash).

[1] https://github.com/xonixx/makesure/blob/main/makesure.awk

[2] https://github.com/xonixx/makesure/actions/runs/702594092
Neither is air conditioning representative of the world, or people with a "house" that have $2k to spend on a 40kg lithium battery plus more on the other stuff like inverters, frames, installation. But all are clearly noted in the article as part of the target audience.
Study finds nowhere on Earth is safe from satellite light pollution
How is it a leak? There is no information how the data leaked. My bet would be that it’s hoarded through FB api and passed around. Nothing new happened here is my guess
A quick image search for "farmed animal lifespans" (https://www.google.com/search?q=farmed+animal+lifespans&tbm=...) certainly points in that direction.
Generally OLAP databases are columnar or otherwise optimized for batch and aggregations.
i think they tried to create a common UI experience with windows 10 mobile; they even had the concept of 'universal apps' that could run as is on both the desktop and windows phone; They really tried to make it on the phone, but it didn't work out. Now the desktop is stuck with the result, as they decided to change priorities to the cloud, and windows 10 turned into the 'last good version'.
That's not a bad idea, but I think the problem is essentially solved.

C++ introduced operator overloading to the wide world, and it was promptly abused (with the stream operators, among other things).

But I believe the lesson was learned.

Few libraries hoping to achieve general usage will abuse operator overloading too badly, and if they do, potential users will resist adopting it widely.

There's an interesting class of language features, of which operator overloading is one, that are tempting to abuse which should really mostly only be used for what are essentially language extensions provided by a library.

I think what is more useful than even more language features to restrict the usage of these, is strong documentation and evangelism/marketing around the feature to help ensure it will be used appropriately.
All 533M Facebook records were just leaked for free
US manufacturers still see EVs as a premium option. Batteries are getting cheap, but it's not showing up in vehicle prices.

Jeep has backed off, yet again, from producing an all-electric Jeep Wrangler. They originally announced one for 2020. Then 2021. Then 2022. They shipped some "mild hybrid" things. They just showed an all-electric Jeep Wrangler, but it's a "concept car" only. And, for some reason, has a 6-speed manual transmission.

Even when Jeep was still talking about a 2022 Wrangler EV, it was announced as being available only at the highest "trim level", priced 2X over the base product.

Ford just slipped the electric Ford F-150 to the 2023 model year. "The estimation for the base price is $100,000" says one source. For a pickup truck whose current base price is $28,940. Ford's electric Mustang starts at $61,000. The base gas-powered Mustang is $27,155.

This seems to be a pattern with US manufacturers. Electrics cost 2x the price of the gas model.
> Can you

You have to use an atomic library function to do it.
I don't have the foggiest about the politician issues. I was shocked to hit up the bluez repo copyright in the README[1], from the beginning 2000, to 2001, then a Qualcomm email address for one Max Krasnyansky until 2003. Practically ancient history but still a very interesting detail to me that I would never have guessed

I really really really appreciate you writing in. It feels.lile there is so little to go on, so little available to understand the weird twists & turns of how the world, the software world especially, developed. A little bit of background & insight is so refreshing to hear. Thanks again!

[1] https://git.kernel.org/pub/scm/bluetooth/bluez.git/tree/READ...
> Suffix should always be static with SLAAC because it’s your MAC address.

Except for devices that randomize mac addresses. Normally even those that do that only try do so when connecting to a new network but that's not always reliable.

> Even if you’re using privacy extensions (and you should) you should still be able listen on the MAC address one.

I'm doubtful that all applications make that distinction and advertise the right address. If they just use some external "what is my IP" service to determine their address because that's what they did for IPv4 then they'll get the privacy address and advertise that to peers because that'll be picked by default for outgoing connections.

Being able to allow incoming connections to a port for any address belonging to a particular machine would be less error-prone.
And that's it, Linux allows to craft experience.

Different philosophy. Linux — everything is possible, some achievable. macOS/Windows — some things allowed.
Global Warming is changing that. Anecdotally in my observations, more new houses in France now have AC whereas it was rare only 5 years ago.
I disagree.

> There were leftists among geeks the whole time

Clearly a much smaller proportion.

> The environmentalism and the desire for justice is a genuinely held belief of many scientific oriented people of a humanist bent

Is it not interesting in how this is a new social good, especially for geeks working for large corporations in California?

I believe all behavior is based in self preservation: it would be career suicide for a young googler to be part of the christian right, or pro Trump, or try to pull off a Damore like memo.

So I am not surprise they do not bite the hand that feed. I am only surprised in the convoluted rationalization they engage in, instead of being more honest (at least online where they can be anonymous) and say "I pretend I'm woke because I like my job because I like the money and status it gets me"
You can imagine that, but it isn’t true. AC usage is relatively low in the middle of the day because people let their houses warm up while their at work. It jumps at the end of the workday.
Lithium is not scarce. There are other substances in current batteries that are more so. But I know a nickel mine that was founded on a new process and assumed high future prices that didn't work out. They had hard times. You can google Talvivaara. Mostly known as an environmental problem.

Prospectors have found even better new nickel sources since. One is right below a 64 square kilometer nature preserve. After Talvivaara it's quite hard to get people to think it won't have large environmental impact.

There's lots of materials around if you are willing to pay a price for the extraction. Does it make sense, to bet on high nickel prices for the next twenty years?
The Amazon Rainforest Now Emits More Greenhouse Gases Than It Absorbs
OK, we know these kinds of articles often get a lot of things wrong. I'm not interested in critiquing the article really cause it's boring even though I'm pretty sure the journalist confused about some things.

But i am interested in my own understanding. I don't know too much about these products.

Ordinary Firefox was not mentioned -- maybe he's only interested in things that run on mobile? It's not clear to me.

But my question about the actual topic is, is there any reason DuckDuckGo or Brave would be more privacy-protecting than ordinary Firefox, any features they have thus?
The main difficulty I have with this method is that I don't have an easy way to pass a Python array to bash as an array of parameters.
Actually it's quite accurate.

It appears that you have an extremely poor understanding of the history of slavery - limited the US only.

It's universally understood that slavery was happening over 10,000 years before the US was even discovered.

The term "slave" even predates the discovery of the US by hundreds of years.

Slavery has manifested itself in many ways throughout history, I'm sure one could make an argument that this is some kind of modern day voluntary slavery.
Yes it does describe a technological difference. Specifically, the kind of tasks that they are good for.

My very crude shorthand is that olap == optimized for time series (usually column oriented) and oltp == optimized for transactional processing (row oriented).
You shouldn't believe every conspiracy theory you read.

Basically one guy claimed lithium is the reason for a US backed coup. This is not proven and most expert don't believe this is true. Its neither proven that it was a US backed coup, and even if that was proven, lithium is very, very unlikely to be the reason.

Lithium is not gold or oil, lithium is everywhere, the reason you produced in this region of South America is because it is cheap to let the sun do a lot of the work. But the reality is, its still more like a complex chemical, more then a metal. The technology to refine it and get it to the grade needed to be valuable, is very difficult, and the outlandish claims made by the president about the government doing all of this extremely advanced processing (and even build cars) were simply political BSing.

It seems what is going on her is that a president made a lot of claims about the value of this resources, over-hyped its value and potential, and when opposed claimed lithium is the reason and its all the evil US fault. This is what I would call narrative building.

Lithium projects are happening literally all over the world, the waste majority of expansion of supply is not happening in South America anymore. If Bolivia ever wants to make real money from this resources they need foreign company that have DLE technology do it and tax them. With DLE much less manual work is required so it will not be an industry that creates massive amounts of jobs.

> salt flats that stretch across Chile, Argentina, and Bolivia and hold over 75%

This is flat out false.

> Bolivia’s Salar de Uyuni salt flat alone holds an estimated 17% of lithium globally.

Wrong.
Meat is also supplemented with B12, same as many vegetarian meals. And with a balanced diet (greens + legumes + seeds) you won't have any problems with nutrients.
The problems arise when people is monochoice ( only meat, only lettuce, etc)
Last time I tried (a year ago or so) I couldn't add new people to chat to. They had to contact me first.
Companies did what we collectively asked them to do through national governance?
The cited report is probably a better link. Posted article doesn’t add much value IMO, and it omits valuable information about the specific tactics these companies used for tax avoidance. https://itep.org/55-profitable-corporations-zero-corporate-t...
I found easyocr to be the most accurate.
Tesseract was meh.
So the article is wasting your attention to prove that you have enough of it to waste?
This article pissed me off so I went to check on uPNP and I had disabled it when moving into this home. Never had any problem where uPNP was the solution, we have gamers, video calls, VPNs, BitTorrent, etc etc. all work fine. We even have a printer that works. I think it is calling home to Google or HP or whatever.
Yeh I'm actually Scottish (I previously said I was British - it's context dependant ;). I always find the English rules around private land quite funny. Camping when cycling or walking in Scotland is way less stressful. Just find a remote plot and set down. In England every footpath has a notice beside it saying you really ought to stop for a moment and feel very grateful that the Lord Such and Such allowed you passage.
I use it and it clearly compiles each package. Please read the FAQ.

https://trac.macports.org/wiki/FAQ

> Is MacPorts Universal?
MacPorts works on Apple Silicon as well as Intel- and PowerPC-based Macs, but, by default, the ports you install will be compiled only for the architecture you're currently running on. This means that if you migrate from, say, a PowerPC Mac to an Intel one and use Migration Assistant to copy your data to the new machine, you should reinstall all your ports on the new machine to rebuild them for Intel.
I'm not going to weigh in on Apple but raising one of the most monolithic, insular, biggest capitalization companies on the planet to talk about software craftsmanship feels so so so so far from the point, from the question of software craftsmanship in the world. Icd rather not start the discussion by looking at extremes.
Hehe well, there were some pleasant surprises: Nextcloud works well (auto picture upload), imap mail, webdav, caldav all work with no extra apps needed (with Nextcloud as backend). WireGuard vpn works well, Home Assitant works. No extra app needed for podcasts. Element works, facetime is the best video call experience so far. I do really miss fdroid indeed and apps like GadgetBridge and OSMand (full version). Yeah it’s a walled garden but it has enough gates for me so far.

I do like the privacy notices a lot more though, often they’ll state that nothing is shared and everything stays on the phone. Android with Google play is not as open and under my control as I wished, it’s one of the reasons why the step to iOS is minor imho (freedom-wise).
The original Cisco IOS ran on 68000 series processors which lacked an MMU. Even the later 68K models used an "embedded" version of a processor which did not have an MMU. For example, the Cisco 2500 used a 680EC30. Regular 68030s had MMUs, but the "EC" model did not. Later versions did run on MIPS though.
Out of curiosity (not to question), is this on Xorg or Wayland?

I rarely use my external monitor, and I can't even remember the last time I had used it in portrait mode, so these comments made me realize there could be use cases (and not just hardware or drivers) that trigger tearing that I just hadn't encountered. But I just took a quick shot at it, and I didn't see tearing, at least not on YouTube, nor when moving a window around.

I'm on Wayland with Intel graphics.
Cancer is not a specific thing.

It's like saying: White People do X - not only not ALL, not often not even more than one. "White People" is a label that ignores individuals and no two are the same. Sometimes similar but never the same.

Each type of cancer is as unique as each human is genetically and behaviorally. So when you "get cancer" it's not unusual for the genetic profile and identity to change as much as human genetics changes in a dozen generations for the same reasons that bacteria can evolve super quickly. Most cancer recurrences are a genetic drift that takes over "the cancer" from the prior species that has been put into remission.

This is why cancer treatments now are increasingly including full DNA sequencing to figure out exactly what sub-sub-species it is to tailor to known genetic weaknesses and treatment strengths. Honestly it's a complexity explosion rather than any type of "victory". It's proven that there never will be a victory with some type of singular "magic bullet".

And in the end, we will all die. No "transhumanism" is NEVER going to change that or save the day. It's childish and reality ignoring to believe it will.

We are actually trading between cancer and lifespan - at a molecular level. There's a scientific paper about this from maybe 10 years ago I can't find easily but that's the actual trade-off of living at all. All living things have the same trade-off.
EV Companies Went Public with Big Plans. They’re Quickly Hitting Snags
"Over and over again courts have said that there is nothing sinister in so arranging one's affairs as to keep taxes as low as possible. Everybody does so, rich or poor; and all do right, for nobody owes any public duty to pay more than the law demands: taxes are enforced exactions, not voluntary contributions. To demand more in the name of morals is mere cant."
- Commissioner v. Newman, 159 F.2d 848, 851 (2d Cir. 1947)

I don't hate Nike or Amazon for paying no tax. I hate our tax laws for making it possible to do so legally. The previous administration spent tremendous energy cutting taxes for corporations and when they actually take advantage of that fact it's a bunch of shocked pikachus.
> Are there other languages than rust that supports it?

Const generics are essentially a really small subset of fully dependent types, which are implemented in Idris 2 and other research languages.
> It's 7.5 megs, it's Quicktime, and it's worth it.

I can't say I disagree. I got substantially more entertainment downloading this and watching the potato-quality trailer than I did actually watching Space Jam.
When a similar story came out about Amazon last year, it seemed that the main explanation is that this was due to increased employee compensation which in turn increased employee income tax (which is at a higher rate than corporate income tax). In theory this is better for all parties involved since employees are getting more income and govt gets more tax income, but the article was a bit short on details so I couldn’t tell if that was also happening here.
It’s just a really weird way of expressing the bet. This bet either has a positive EV or a negative one and if it’s positive it’s going to tend to infinity when repeated.

There is one assymmetry at the zero point (assuming people can’t recover from bankruptcy by borrowing another dollar) but that’s easily fixed by adding a simple bet strategy e.g “bet at most 1/10 your bankroll on each bet”.
> You probably shouldn’t be using += for your concatenation code

I agree. That's why D uses a separate operator for concatenation, ~=

That removes the temptation to overload +=.
Anarchist state is an oxymoron.
Archive link: https://archive.vn/gE7Fz
Well, unquoted strings work when a format is built for that. If the default was "it's text unless we see the special sequences" it would be better for unquoted strings. But even then there are too many special characters in this format IMHO.

I saw there's a 'Media' type in the spec. It's seems the type is actually for serializing files. But there's no "name" (or we can call it "description") field. Of course we could accomplish this with a separate field - but than again the entire type's functionality could be accomplished with a u8x array and a string field. So if you're specifying this type at all, might as well add a name field to make it useful.
Well, you're doing a pretty rubbish job at it. If anything you've just given some one more eloquent the chance to convince an audience of their position, while refusing to yourself offer up any coherent argument. Your strategy just seems counter productive is what I'm getting at.
Are you sure? When I read the article it seemed to make a big deal about how part of the reason the companies got tax rebates is that the CARES act let companies apply their negative profits retroactively for a tax rebate instead of having to carry them forward.
Telemarketing or political campaigns. Check out the Robocall article on wiki. In Europe it depends on the country. In Poland I receive a few calls daily but they are people calling me, not bots. Never received a robocall here.
Article is missing a lot of information - Like why with a 21% rate companies didn't pay taxes, or , what was the 'tax rebate' for? Also it shows the stock price change as if the company get's that money. Companies only get the initial IPO money for shares sold.

Taxes are passed through to consumers anyway; Corporations don't pay taxes - they collect them from the customer.
I have a project going on which aims to create a small backup utility for using the latest features added to libvirt/qemu:

https://github.com/abbbi/virtnbdbackup
The type systems underlying computer algebra systems like Sage, GAP, etc. are immensely more complex than this. Read the source of Sage (lots of python/cython) and the source of GAP (pure c; everything is basically a void *). Operator overloading is immensely helpful for entire classes of objects -- groups, rings, fields, categories, combinatorial objects... some of them are kinda number-like, but for example groups can support multiplication and division but not addition/subtraction (unless it's an abelian group and you'd rather represent it that way). I've been writing C for nearly 30 years, and GAP is a slog to read. Sage makes this stuff way easier.

In short... math isn't just arithmetic, isn't even arithmetic of complex tensors. Math is way bigger than most programmers seem to comprehend. I'm on the other side of the DK curve; I know that I've only scratched the surface despite a decade of dedicated study
We could also say that much of the beauty of the open-source ecosystem comes from top 1% earners (software developers) having cushy jobs and some free time to invest in common good.
Do you compare FB to SS and Stazi ?
> How often have those opportunities been one-and-done, "if you don't do something to protect your privacy in this particular instance at this particular moment, it's gone forever?"

I don't think that question really captures it, because an easy response to that is "Why do I care? Why is my privacy so important that it's a problem that it's gone forever?" To some of us that might seem like an absurd question; we see privacy as an obviously valuable thing that we are struggling to maintain.

But I don't think that's the case for most people; I think most people adopt the "I have nothing to hide, so what does it matter?" attitude. Especially when they (likely correctly) believe that online services that are central to their lives (like GMail or GDocs or Facebook or Instagram or WhatsApp) wouldn't be free to use if they didn't give up their data (and privacy) in return for the service.

You can try to point to data breaches, but, even then, most of those don't have a tangible effect on people. 533M Facebook users' phone numbers and personal data leaked? Most of those 533M probably won't notice anything bad happening because of it, and any bad stuff that does happen... well, they probably won't be able to draw a causal line from the FB breach to the bad things.
No, it's a function of companies following the law instead of doing what the article writer thinks is "fair".
Oh wait, I left that part out! I'll edit my post.

... there we go.

You use Z3 objects that represent unknowns of particular types, like Z3.Int, Z3.Bool, etc. Each one returns an object representing a variable of that type, which can then be used in (Python-formatted!) expressions that you give to a solver.
I've noticed that some people who don't have personalised social media seem to assume that other people do because they're mentally deficient or ignorant.

It's the same as how unsympathetic people ask why fat people don't just stop eating, or drug users stop getting high, or the cyberbullied don't just turn off their phone.

It's a lot more complicated than "just don't use facebook".