skysight-inc/HackerNews huggingface dataset:
offtopic:

sqlite is bad example, for example features like the FTS tokenizer code (https://research.checkpoint.com/2019/select-code_execution-f...), which were probably paid by commercial requests or sponsors.

That is not to say sqlite does not have 100% coverage, it of course does, but you are building on top of infrastructure which is really really hard to be kept safe.

Rust somehow makes it harder to make certain kinds of bugs, which comes at its own cost.

PS: I don't like or dislike rust, just I have seen the sqlite example being brought a lot, and a lot of people didn't expect sqlite file to be an attack vector :) so nobody is even looking there.
I grew up near the heroin junkie city of The Netherlands (Heerlen) which also attracted a lot of junkies from the Aachen area. I got a fear of needles likely influenced by the needles on the streets. Thanks also to everyone mentioning which cities contain needles on the ground, I forgot about it being a possible thing (I would not visit such a city, and I live/work near Amsterdam, go figure). Getting my COVID-19 shots was a serious hurdle because of my fear of needles. It also likely influenced my disgust of prostitution (a lot of the female heroin junkies turned to prostitution). Most of these people were homeless, too.

They (local gov) tried a lot of things to fix the problem. Play classical music at the gathering area (the train/bus station). Free methadone. Free needles. Free heroin I don't believe was tried. Give the homeless a task like selling a newspaper called 'street journal', watching everyone pass by looking down on the seller. Cynical me would say these people passed away. I met one of them at a work reintegration company, and I recognized him right away. He had HIV. Though this was in ~2006. I let him listen to one of my favourite music at that time, and I remember he enjoyed it.

I learned of the popular drugs in first of high school (age 12), as part of education (alcohol, cannabis, XTC, heroin/cocaine). In my late young adulthood I ended up trying quite some drugs. Mostly psychedelics, never heroin (or cocaine), and amphetamine only once (from which I know how it feels to be an asshole). They are far too addicting, and destroy lives. I've been addicted to nicotine/cigarettes though, but so has 25+% (?) of society. It was tough getting rid of that habit (I am probably still 'addicted to it' just not practicing).

Lots of good movies (and books) were made about heroin addiction. Wir Kinder Von Bahnhof Zoo. Requiem For A Dream. Trainspotting. Just to name a few. The social setting a (young) person is in is going to have a huge influence. Sure, its also a matter of morals and values and parenthood, but how can I affect which friends my children are going to have in school?
Which is exactly what I said?
It's what we used to do in the days when 4MB was a lot of memory. Batch programs would just abort but interactive programs had to have enough reserve to fail gracefully, possibly unwinding and releasing things until they could operate better.

Now that I see interactive programs taking a gigabyte and the system being ok, I guess we're in a different regime.
If Engineers are teached humanities. Why not humanities are teached STEM... Like basics of math, physics, chemistry, engineering and son on... Would in general make our society better if everyone understood these things.
When the media insists that they are the only source of Truth even as their story changes, on issue after issue ... could that maybe have something to do with "Covid Conspiracy Theories?"
They kind of can.

Example: the australian PM who repealed their carbon tax, is now working with his coal baron buddy on a green hydrogen plant. He's now calling for a ... brace for the irony ... carbon tax to help his new business.

edit: correcting myself, getting two PMs mixed up, Turnbull scrapped new Carbon Tax plans while PM, under pressure from Abbot (who he replaced as PM), who in turn had scrapped an existing carbon tax. Still demonstrates the slow shift of the well-connected politicians to follow the money.
Europe's biggest climate VC just came out of stealth
Air source heat pumps are more efficient than gas boilers so total energy usage would decrease [1]. Running costs are also lower, but installations cost are currently higher.

You would need to generate more electricity, although this could be mitigated through improved insulation and smart control of heating systems (for example turning off the heating for 30 minutes during spikes in usage, assuming the temperature is above a certain level).

[1] https://www.edfenergy.com/heating/advice/air-source-heat-pum...
Where was this person when Windows 10 was released
> but rather they make their money on the service and repair of cars. Even then, they're not really rolling in the dough.

Car companies already make huge money on service. Plus in sum, all dealerships combined make huge money on service.

Once Tesla has an large aging fleet they will make an absurd amount of money. Something people don't yet consider is that Tesla has been losing massive amounts money building out their global service network and because of having no fleet, making little money from it.

Tesla has industry leading margin now, while having negative margin on the highest high margin business for traditional companies.
Localize your React.js App the simplest way you've ever seen
Meritocracy on Trial
> I just wonder if our time would be better spent developing tools to formally verify memory safety of existing languages, instead of trying to "rewrite everything in Rust" to get safety.

In theory, that makes sense.

Now, as a sibling post points out, such tools have been around for dozens of years. Microsoft started using these tools for drivers around the time of Windows XP, if I recall correctly. I've used such tools. Heck, I've developed such tools. In my experience, they require orders of magnitude more experience (both of the tools, of the underlying theory and of the codebase) than Rust (or Ada, or other safe languages) to achieve comparable levels of safety.
I have tried the schema recipe schema but it was too complex for me.
CookLang looks promising in that it might be simpler.

I cook and I write code but never at the same time :)
Which version? For me 90.0 shows the "Please wait" message which some JavaScript or something is supposed to replace, and 93.0 force downloads it, even when I try to open it from a local file.
The 'bezel' (im assuming you're talking about the notch) does not impeed the screen real estate. The section where the menu bar is rendered and where the notch intrudes is actually extra screen size on top of the 16:10 screen.

People are complaining about getting extra screen real estate.
Apple likely to face DOJ antitrust suit- The Information
“Many IT guys in the dental industry know that the Patterson FTP site has been unsecured for many years. I actually remember them having a passworded FTP site back in 2006. To get the password you would call tech support at EaglesoftPatterson Dental and they would just give you the password to the FTP site if you wanted to download anything. It never changed. At some point they made the FTP site anonymous. I think around 2010.”

So literally this is about anonymous access on a publicly accessible FTP server? I thought before reading the article that maybe he had hacked into it using a weak or guessable unchanged password (which would’ve been required back in 2006). The FBI response seems very excessive to say the least.
Indeed. And those people used to come to me for help when they upgraded their windows prematurely.
If I had a nickel every time someone posted on a random internet forum id have a lot of nickels
But metadata is needed for proper formal reasoning, and C has barely any additional information content over some very vague “typing” hints, everything else being only conventions enforced more or less by the linux community.

So Rust’s lifecycle annotations are what makes proper proofs possible in the first place.

(As for proofs though, they are no silver bullets either — a program of linux’s complexity is unlikely to be ever completely verified, but rust may indeed give valuable guarantees for most of the program)
That was the one, yes. Thanks for looking into it!
Check this out:

https://arstechnica.com/gadgets/2021/10/samsung-tablet-leak-...

The notch is already being copied. Perhaps the wrong way.
"Story changes" are exactly what you would expect from good science surrounding a new pathogen.

The mainstream media is never asserting they are the source of truth in these scenarios anyway. WaPo is not claiming to make policy or do its own research, for example. They quote institutions and researchers.
Is there an official source of disk images to install macOS in a VM?
> Patel [...] leaving home every day looking like GWAR's webmaster

Amazing.
It is fucking bonkers that you seem to think that test coverage is even remotely in the same ballpark as writing in Rust, and yes it's made even more cringe by the implication that 100% line coverage is a worthwhile test metric.

But then again, the concerning part was made obvious with the 98% comment.

I'd fucking hate to ask what your opinion on COVID is.
The guy has a point. He made a comment about a personal style preference, not a comment on the stylishness overall. And he wears something for sentimental reasons. The blog post was a cheap shot.
Vulkan update: version 1.1 conformance for Raspberry Pi 4
Four Great Things
C was already bad when it appeared, the only reason it won, was UNIX being made available for a symbolic price with source code.

Had AT&T been allowed to take commercial advantage of UNIX, we would probably be coding OSes in PL/I, BLISS, Mesa, Modula-2, Ada or some offspring of them.
> How can we act like it's a violation of something if it's not binding in the first place.

It is the framework used for creating things that are binding: laws.

Even so, something someone else does can "violate my personal beliefs", even if they're not really legally binding. Nothing strange about that.

Saying "something violates human rights" is a shortcut to saying "Something violates a set of rules that are the framework of our societies, and those rules are important enough that they managed to seep into our laws and influence our thought, and our world. We should pay attention to that violation, and maybe crack down on it."

> How can we complain about western countries violating our privacy defined by some ruleset defined by organisation that decided it's a good idea to make genocidal state member of a human rights council of said organisation.

Literally by doing it. Just because the UN is not perfect, doesn't mean it automatically retroactively invalidates a certain text that we hold to a high standard.

The current state of the UN really makes no difference on the text itself. Even if someone in the UN goes wacko and decides to rewrite the text, we still have a previous copy. Just fork it.
Documentation does NOT fulfil this function.

This kind of knowledge is mostly tacit and must be absorbed by osmosis from constantly talking to the person and watching them work.
If you like this you will probably also love the MacOS app called Numi. I sure do. https://numi.app/
My employer uses a training and document system (third party) that requires the use of Acrobat to view PDFs. I never have to fill out forms within the PDFs; I simply can't open the files via Preview (or Firefox). Apparently the provider inserts JavaScript into the published documents (which, I assume, track document usage, since it is a training system).

Also, I can't post a link to the document, since it contains proprietary training materials.
I registered the domain thiseyeballdoesnotexist.com - anyone interested in training a GAN for that page?
Maybe if you had offered him an actual place to sleep and shit instead of being an asshole yourself, you wouldn’t have had to deal with the consequences.

You decided he was not worth as much as you.
It is not, however, the power to force the forgetting of secrets already disclosed.
Mach is of course doing quite well and moving back towards being microkernel-y as hardware gets fast enough to support it and Apple needs a better security story.
That 90% is much easier to replace than you think because its mostly wasted as heat and inefficiency.

Once you factor in the fossil fuels used to extract fossil fuels it all topples pretty quickly.

The main source of trouble will be people ignoring the issue until it becomes urgent and not planning a smooth transition, global procrastination rather than the actual task itself.
Their rating just got upgraded.

Tesla as a company has basically retired all debt, they have 16 billion in cash and no debt. Their position is far better then other car companies.

> I doubt the Fed will be eager to bail TSLA investors out the way they did the banks in 2009 though.

Even if the Tesla stock dropped by 90%, Tesla would be perfectly fine. They do not really on raising money anymore. They create large amounts of free cashflow and enough profit to finance considerable future investment.
> zero runtime overhead due to the burrow checker

You have to structure the program in a way to make it happy, though. Which is not zero runtime overhead compared to a wild west program.
Not yet solid, but there are ideas. For example, define units config in a way like that: "1l | 1000 ml | ...". The first value will be a preferred one and everything else will be converted. What do you think?
I think contact tracing is by definition more surveillence (even when reasonably private).

It's just a question of how much value it actually adds during times of crisis like COVID. Then it's a matter of precedence.
Expand on this please
Nope, Rust still cannot provide formal proofs Ada/SPARK style, and using String, Vec, Rc, Arc, RefCell imposes just runtime checks as other type safe systems languages.
Worldcoin issues tokens to people for scanning their retinas. Their magical orb device sends a biometric hash to their network.

Here's my take on it: You can possibly replace their biometric device with a random hash generator.

* If it works, it means the currency is not fairly distributed, but anyone sending valid hashes to their network is issued tokens, irrespective of whether the eyeballs described by those hashes exist. This is called a Sybil attack.

* If it doesn't work, it means there is some secret or centralized check that the network performs, which means the currency is not open.

This is why we still use proof-of-work in spite of its energy expense: it is simple to understand, it can not be faked, and it can be openly verified.

So, do not support this biometric-gathering enterprise.
It's colonial in Europe too - the massive American Tech corporations pay very little taxes in Europe, and use their strong monopolies to crush local competition. Then they ship all the profits and high-paying jobs back to the US. Just like the oil industry in Nigeria, etc.
Why is this not profitable for Tesla? The cars were bought at full consumer prices and Tesla has very good unit margin.

In 2012 Elon predicted 500k vehicles in 2020 and he was spot on. So lets see the 2020 prediction for 2030.
Yeah, the same here :-). We created a placeholder repo https://github.com/cooklang/recipes, but it still subject to workout structure and probably it makes sense to standardise units in some way.
The Fourth Saito Community Town Hall
I just watched the "What's new" thing. There is a new grid view in Facetime. Some improvements in the notification centre. Not sure if that warrants a risky 12 Gb OS update.
They don't do them in secret. Typically they just do them as part of their routine.
It's not nearly as bad as breaking a screen door. It's more like writing in a foreign alphabet, and then crying foul when someone can read that alphabet.
That would be pretty cool. It would already work in github, but yeah a dedicated site would probably be better ;-). I'm afraid that the intersection of people interesting in cooking and people who know how source control works is likely pretty niche

The other problem I have with community cooking websites is that usually people always underestimate the cooking time and that's annoying as hell. Like people would say you need to cook onions for 10 minutes, while onions take close to 25 minutes to be cooked. On the French website marmiton, it was so ubiquitous that they have moderators come in and fix people's recipes.

Edit: see https://slate.com/human-interest/2012/05/how-to-cook-onions-...
Mostly agree, a D style language is more suitable for userspace applications.
Because the commenter I replied to said that only old school artists render on the CPU.
People pick the renderer that suits their needs, and it's not just a matter of old school people picking CPU pathtracers because it's what they know. You picked GPU rendering because you're, as you said, a smaller studio. That suits your needs. It's however not old school for big studios to use CPU rendering because GPU renderers just can't handle the scene complexity required yet.
RISC-V has some bad ISA disadvantages like needing three (!) instructions for array indexing: https://gist.github.com/erincandescent/8a10eeeea1918ee4f9d99...

Isn't Mill eternal vaporware?
Why should this be chosen over Beanshell, or the new Java interpreter?
bleeding-edge Arch Linux is more reliable than new macOS releases, lesson.
There is a proposal (possibly accepted) to deprecate 'volatile' in C++.

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p115...
You see, after funding my incredibly comfortable lifestyle and saving for retirement, I only have a thousand per month to spend on toys.
Yep. My classmates, which started to smoke cannabis in school, died because they switched to opiates.
> in the anglosphere, open source licenses are by default bare licenses -- they do not have the force of contract, meaning they can be revoked at any time.

Any example where this happened to back up this claim?
It also costs at least 2.6x as much¹ so the question becomes "do you get a 2.6x productivity gain as well?"

1. https://www.apple.com/shop/buy-mac/macbook-pro/14-inch-space...

configured with 32GiB RAM and 1TB SSD for $2599
It's not so much of a danger. Occasionally disrupting the system can reveal such weaknesses. Once you identify such "fragilities" you can compensate by adding redundancies. For example, add a second alarm clock at 6:30 and 7:00.

When it comes to programming, this is one of the good reasons why simplification matters. Systems that are complicated to the point where you can't understand how the intended functionality "arises" out of the interaction of its parts, is a system that is very difficult to debug and evolve.
Kids or coworkers are not going to make fake fingerprints to mess with me. What they can do is to see password or pin code while I am typing those over my shoulder. Someone on the street also won't be able to see my pin code for unlocking phone if I use fingerprint.

Those are scenarios that biometrics are handling really well.

Biometrics against sophisticated attackers is not good idea. I don't encounter in my life "sophisticated attackers" that would spend time making copy of my fingerprint.

If you are person that has risk of running into sophisticated attackers then don't use biometrics and biometrics are bad idea.
What did you use for lexer and parser?? I couldn't find it on the GitHub front page/source code.
Its the opposite. Tesla actually specifically does not design for Tests only.

They literally have data and video of every crash and update their cars to deal with real world crashes.

See for example: https://www.youtube.com/watch?v=9KR2N_Q8ep8

Teardown of the cars have reviled that they are very sturdy built, maybe even overbuilt at points.
Might be the only viable way, as conversion factors are ingredient specific (e.g. Milk/Flour, Cups vs Liter/Grams)
How to FizzBuzz at 40GiB/S
I call that simply lazy management.

That's one reason why so many managers hate remote work.

Before remote, things would sort them out on their own most of the time.

Now they have to think about their job and define processes etc.
You can just use https://biic.wvu.edu/data-sets/synthetic-iris-dataset
While advice like this might have been alright if it was in a self-help book where the OP was looking for ways to approach the situation, it is completely uncalled for and inappropriate in this situation.
Just another reason to allow easy forking ;-)
Only if you label everything but the intended deterministic state "compromised", but when you put operator error and programming bugs into the "compromised" bucket, it's sort of loses it's meaning.
>OSI

If you honestly think that the OSI were ever the "good guys", then do I have the news for you...
IT'S NOT HBM! NEITHER IS APPLE'S MEMORY!

Stop spreading this myth, please just look at a Vega GPU die shot and you'll know what HBM looks like. You cannot put HBM on a PCB package. HBM is connected with a silicon interposer.
> It's pretty clear that Perl isn't a systems language nor performant enough to write a kernel even if it were a systems language. So bringing that up is rather silly. And you don't even answer the question of "what is more to the debate than "some benefit".

But that's exactly my point. The OP asks, why not a language "better" than C, full stop. That's the wrong question. There are many languages better than C according to someone, but terrible to write a kernel in. Better than C is a terrible metric. The momentum behind rust isn't because it is simply better than c in some unspecified way.

To actually answer your question, i think its both political and technical. Rust is on an upswing. In any political movement,momentum is important. Ada is old news, it doesn't have that excitement around it that is critical for a political movement to galvanize its supporters. From a technical perspective, it seems like support primary comes from people who hate memory safety vulns. That's the impetus but lots of languages prevent that. The aspects of c that make it popular are (syntactic) simplicity and full control. Rust has really good PR to suggest that it does the memory thing very well, well still valuing the other factors that make c popular. Other languages tend to try and improve a lot of things or stray further from the c path, which make it seem like bigger switch with higher costs.

So in conclusion, i think rust does just enough to have a benefit people consider "worth it" (relative to switching costs) well not straying too far from c values which makes switching costs low. It also came at the right time, has momentum and good propaganda, which is critical for any political "movement"
> Still, it was always the "tenners" who were praised.

I believe the US does not align financial incentives with the quality of care provided.

Healthcare in the US is a runaway scam: https://ourworldindata.org/grapher/life-expectancy-vs-health...
We hear you. We have a new upcoming JS editor that'll enable you to write normal JS.
I use TickTick free tier.

I wanted something with good repeat options, which it has. Not tried sharing. Otherwise happily used for about 6 years. Syncs across web and app. Imports calendars too.
But it means their cost of capital can be lower - for example, by issuing new shares to capture some of that high market cap. Then they can expand much easier than a competitor who cannot get such good rates for new share issuance.
Wow so 8 mo in jail, his life gets ruined, and then they drop the larger charges? Sounds like they just wanted to ruin his life.
My experience is that programmers (if you can generalise them like this) breath a sigh of relief when I as an ontologist (someone who builds knowledge graphs and makes sure that they are logically sound) tell them that I will work with domain experts to get their knowledge into a structured form that the programmers then may consume programmatically.
Aren't those basic high school topics?