skysight-inc/HackerNews huggingface dataset:
Khashoggi was killed in Turkey so does that really count as an American death? Perhaps the fact that the USA didn't impose sanctions on the country alleged to be involved influenced that view.
...and 7 years of prison if the service provider does not hand the authorities the encryption keys...

MITM for iMessage, Whatsapp etc seems to be guaranteed here.
To be clear though, all the mentioned languages are built on purely functional programming. Coq and Isabelle are more "procedural" in that they include special proof languages that express proofs in a step-by-step way that feels procedural, but the programs and definitions one proves properties of are still expressed in a functional style.

It's true that one needs to prove a lot of trivial things in all these systems, but the extent of this varies dramatically based on how much automation they provide. For example, Agda includes only minimal, barebones proof automation, while both Isabelle and Coq allow using more sophisticated automation that can take care of a lot of trivial steps automatically (such as "x == x").
I've always wondered why the open source version of one operating system (UNIX) and the open source version of another operating system (Windows NT) have had such different amounts of contributions from the open source community.

A reductive answer is "well all those contributors to GNU, Linux, OSS in general just hate Microsoft and so refuse to help" but could it instead be lack of interest because (until Win10 for me personally) you could grin and bear the original Windows product (for the most part), vs. UNIX which these days is split up into FreeBSD/OpenBSD/DragonflyBSD/macOS/ad infinitum and thus the path of least resistance is Linux?

Trying not to pick a fight...20 years of good hard work by the ReactOS developers, and I applaud that, but why aren't there more contributors to the project?

I would if I had low-level assembly kernel writing/driver-writing/graphics matrix math magic, but I'm afraid my own skillset only extends just a little beyond MFC on Windows...so not useful for that.
Given that, as you quoted, a shockingly high number of charges was applied to a small number of people, it's quite likely whatever charges they pled to were part of what they were originally charged with.

I don't think your characterization captures what happened given people ended up serving reasonably long sentences. When I hear "no charges stuck" I think nobody got convicted - even a conviction later overturned isn't quite consistent with that.

If you want to make the point that the charges were baseless, sure - but that's not the only thing you're saying and implying. I think the original post is misleading.

Charitability is something to be applied to arguments where reasonable interpretations may be stronger. It's not something to be used to defend misleading factual claims, which are properly pushed back against.
I think we (they) learn a lot, next try will be better and we need to learn how to clean up the oceans and currently we have no clue.

Would there be cheaper ways to learn what works? Perhaps.
One underappreciated point about this is that there’s no reason to think billionaires would be good at this.

Billionaires who made their fortune through their own invention or business acumen are exceptionally good at making money and protecting wealth. That doesn’t mean they are good at producing a different instrument of value, like some measure of environmental health or social well-being. You pretty much have to convert those social problems into a format where it’s an inescapable wealth problem if they don’t solve it. But if you leave it up to their discretion, they’ll either lack focus because they are focused on making or protecting wealth, or they’ll be out of their depth trying to generate non-profit outcomes which is a skill they don’t have.

Imagine if we put an earned wealth cap of $1 billion dollars of total worldwide assets, and then we said that to exceed that wealth cap, youhave to reach specific societal level social and environmental wellness milestones. Kind of like Elon Musk’s current Tesla compensation, but applied to all billionaires.

No family businesses, no offshore accounts, no shell companies, no way to leave wealth in non-cash assets. You hit 1 billion, any increase of wealth beyond it from any source is immediately seized by the government and held in untouchable escrow until you demonstrate hitting societal wellness outcomes.
Still, if you compare with other countries it is still dangerous to write something bad about some person because in US even known people with mental or behavior issues can get their hands on powerful guns. So relative to other US professions maybe is as dangerous but relative to other countries it is on the top of the list.
Did you read the report? The 6 journalists were the 4 slain in Annapolis and the 2 killed by a falling tree. Khashoggi was killed in Istanbul, not the US.
Blessed be this man and his inspiration that is now saving many lives. Seeing that little child entubed like that is so heartbreaking. I wonder why he can make a device with a plastic bottle and a similar device costs thousands of dollars more.
>The 3rd is outdated

I don't care what century I live in, I'd rather have the military living in bases than my house.
This IMHO is a huge problem for embedded development. I want to be able to just select what target I want and recompile a project. Even in small embedded systems you still need target specific headers and .bss code, but that's more of an IDE problem on top of the compiler not supporting all architectures out of the box. A C library that uses no hardware specific features should be able to recompile trivially for any supported target for example.

If my chip vendor decides to replace the ARM core on a SoC with a RISC-V core but leave all peripherals and memory mappings the same, I want to simply change the target and rebuild.
Remember NEOTOKYO°? Cult OST Composer Ed Harrison Releases New Album
You can use a private window too.
Apple2a, an alternate Apple //e ROM, with a BASIC compiler
Agency and Freelancer Growth Online Summit 2019 Free  Promo Republic
The intertwined quest to understand biological intelligence and creating AI
Too late. To get this natural gas would require fracking, and much of the world now believes their environment will be destroyed if they frak. So we end up with developing nations burning dirty coal when switching to nat-gas would be cheaper and 99% cleaner.
>It's really depressing

It's also very useful, if accurate.
> We never offered, and never claimed to offer, a safe haven for people who have broken the law in both Australia and their own country to hide from the police.

You seem to be conflating the concept of "I don't want my emails read" with "I am a criminal".

Why?
I get the sentiment you are sharing and I am not advocating execution of Blind anyway, but it you want to make anonymous "rooms" like say peole from Google belong to one room and Facebook to another. How'd you make that without first establishing that someone is from Google.

I understand taking their work email is asking for more info than desired. Probably they can use something zero-knowledge (I am not well aware of the concept) where someone proves their employer's identity without their own.
[disclaimer: happy fastmail user, 30+ year Aussie programmer]

What I really really like about this blog entry and the Fastmail service in general is that it is practical and clear.

Fastmail does not and has not ever offered data privacy from properly constituted legal requests. Within the service they offer of email (and calendaring and contacts), they protect their user data by having it encrypted at rest and in transit.

Email protocols are not suited to E2E encryption because of the historical evolution of those protocols. So if you want E2E, there are appropriate solutions.

In terms of people who want access to your data, there are two types, bad/illegal actors and those operating under the judicial system. Under the judicial system in place in Australia, as has been explained, warrants (and the equivalent for non-law enforcement security services) are still required for access to an identified person's information.

Fastmail has always been clear that they would respond to a properly constitued legal request.

In terms of lobbying, it is up to all Australian tech people to respond to this legislation and its ill-considered requirements.

I've already written to Mark Dreyfus as Shadow Attorney General and also the senior ALP person on the PJCIS which is responsible for this legislation.

I intend to engage further in the new year with all those relevant MPs, ministers and shadow ministers, with the primary goal of clarifying that the tradeoff between security and privacy is not a zero-sum game, that invading privacy in such a ham-fisted manner as defined in the legislation is more damaging to both our industry and our community than the stated objectives of our security services to avoid bad actors "going dark".
Indian BJP party authorizes to intercept data on any computer
Modi.
The bit about the guy in Newfoundland warmed my heart.
If the data is worth something, get a lawyer to write a letter to them and request the data back.

Lesson: keep backup of everything in multiple jurisdictions even if you are innocent like Jesus. You know what happened to him.
I find the premise that consumers need ahead-of-time protection insulting and limiting. If wrongs are made, we have a system for remedy: tort. The FDA is an adjacent regulatory body. Through its risk adverse behavior, the FDA causes unseen deaths: https://www.creators.com/read/walter-williams/12/18/fda-poli... Also, the FDA performs poor data collection and sharing. When I analyzed one of the FDA'S most important datasets, I was surprised to find such low quality: https://github.com/statwonk/FDA-adverse-drug-reactions/blob/... What's tragic to me is that so often folks feel safety or wealth comes from the government rather than our own minds. Maybe if there's no safety facade they'll demand private labs certify safety?
I absolutely have an agenda, that of the scientific method and skepticism. Show me peer-reviewed, widely accepted, research that supports that CBD is a miracle panacea, you can't, it doesn't exist.

What does exist is lots of link-farm SEO ad copy, people claiming on forums that along with their mega-dosing iodine and salt lamps they've seen drastic changes in their cancer/aids/anxiety/pain, and then gobs and gobs of people claiming anyone that says CBD isn't a cure-all 'has an agenda to push' and/or is being paid 'by big pharma'.

Most sellers of CBD oil are outright committing fraud with claims they make, they have paid influencers (that often don't disclose clearly they are doing a paid endorsement), with fake reviews and almost certainly with armies of fake advertorials on forums.

If CBD does have valid medical benefits, it's almost certain that it will not have anywhere near the current alleged number of applications.
Assume raises suck and a general adversarial view of employees at the company.

You might also want to look at benefits. I assumed most companies had similar benefits.
I don't think this claim is true. Friends who work there clarified they can use Blind at the corp network.
Massive brain fart on my end; edited my comment to remove that confusion. Although, maybe the framing of the article contributed to my error. Another top-level comment in this thread seems to have the impression that Khashoggi was part of the American tally, though he wasn't.
Fairly certain the notion of an Ivy League University has to do with college football; the elitism came more from being "college boys" at a time when most folks didn't go to university.
Wonder how they will get Visa/Mastercard to support their new white supremacist crowd funding site.
I hadn't heard of this before, so I went and checked this out this morning. I haven't read too much, but I've liked what I saw. And I notice that there are java and C++ variants for those interested in those languages. Thank you for your suggestion.
There is no manufacturer because there is no equipment needed for low flow oxygen, beyond an oxygen supply (from gas bottle) and a tube with two nozzles that go into the patient's nostrils.

That's why WHO recommends it to hospitals who can't afford anything else.
Iterative and Incremental Software Development – A Formula 1 Analogy
Dangerous is not a "value judgement." A country where journalists may feel intimidated to death because crazy men with guns are angry about their duty of reporting (with one incident in 2015 also) is a pretty dangerous place to do responsible, non-corruptible reporting, period. The feeling left hanging in the air is that the situation can worsen with the years as wackos multiply themselves.
Tangential, Openpediatrics seems like a great initiative, are there any other such resources for other medical fields?

There is the FOAM movement (Free and open acces meducation - https://lifeinthefastlane.com/foam/) but I bet there's many more out there.

It feels like there is some foundation for medicine to evolve like software evolved, where there is more and more open source knowledge to build upon, democratizing and lowering the cost of access to that knowledge.
BJP
It's cool that you jumped on the opportunity to explain how password hashing works. However, the reporter actually cracked hashes, so we can bypass all of this discussion and plainly see the hashes were insecure.

And for what it's worth:

> To be secure the salt must be stored in a different location from the stored hashes and the salt value should not be statically visible in the source code provided a source code compromise.

This isn't true. Your salt can be totally public if you're using a robust key derivation function. Likewise you can make e.g. the work factor (rounds) public for bcrypt and N, r and p public for scrypt (cost factor, block size and parallelization parameters).

The rest of what you said about secrets management in code is sound though.
My guess: the hack one is less effective but in that area, a $6000 device might as well not exist, way out of reach for 99% of the people. So, maybe less effective in theory, but in reality it is saving countless lives.

It's true that some money goes to designers, lawyers etc etc but when they see an opening, they do rip people off.
Fyi the girl is the daughter of then Kuwaiti ambassador to the US.

>Furthermore, it was revealed that her testimony was organized as part of the Citizens for a Free Kuwait public relations campaign which was run by an American public relations firm Hill & Knowlton for the Kuwaiti government.

https://en.wikipedia.org/wiki/Nayirah_testimony
And with regulation you get...lots of snake oil this is useless to harmful. Prozac, Phenfen, etc. Even device and equipment makers like Theranos.

You also get Pharma-Bro types selling medication WHO considers "essential" for 750 dollars a pill. Only the one company has(had) the regulatory approval to make a drug so basic Aussie school kids can make in chem class[0].

[0] https://qz.com/851416/why-martin-shkreli-and-turings-darapri...
Keep in mind that some people genuinely don't have that much room to grow. If you're not too bright (say IQ below 90) and are physically weak/prone to exhaustion, you're not going to go far, no matter how much you try. In such way, trying to minimize your effort seems like the correct strategy, as even the minimized variant of life will be a burden for you.

OTOH, if you're a machine (like many people on this forum are), then minimizing effort and responsiblity for the sake of an easy life can lead to regrets later in life.
I'm really into 3D printing and have studied all sorts of plastics as part of my research into making perfect prints for various objects. One thing that astounds me is the complete lack of information/disclosure requirements by plastic pellet manufacturers and filament manufacturers.

They can basically put whatever the fuck they want in these batches and never have to tell anyone about it other than provide the safety sheet (MSDS) which tells you very little about the actual properties of these materials. Let alone their lifetimes!

For example, Polylactic Acid (PLA) is the most popular type of filament for 3D printing. It's made from (the non-edible parts of) corn (and other plants) and is considered "eco friendly" but this isn't entirely certain!

In order to actually break down into harmless components PLA needs to be eaten by one of two species of bacteria. These bacteria only live in soil. As in, they don't exist in the ocean.

Having said that, there's been no studies of PLA in ocean water! So we don't really know how long it will take or even if PLA will break down if it ends up in the ocean.

Not only that but there's all sorts of additives being added to PLA that make it less likely to break down. Things like UV stabilizers and who-knows-what substances that increase its melting point and/or shrinkage/warping during heat-treatment/annealing.

I suspect that PLA is indeed much better for the environment and will break down safely and reasonably quickly in the ocean but there's no data to back this up and it drives me nuts! I can't say that it's much better than, say, PET(G) or Polypropylene with no research to back up such a claim.

Why do I think it's probably better? Because the hydrocarbon chains that make up PLA are shorter than traditional plastics. Shorter chains are easier to break and we know that once broken (down) PLA becomes a harmless charcoal-like substance (and water and a bit of CO2 after bacteria finalize their digestion). This same process is likely to occur over time all by itself thanks to UV degredation from the sun but if UV stabilizers are added to the PLA does that mean it will behave similarly to ABS, PET, and PP when it winds up in the ocean? Let's hope that it doesn't!
Did you make it worse on purpose by clicking the little "up" arrow that opens the bottom panel? (on my computer, it's collapsed - but I don't know whether it's the default setting or it was remembered from a previous visit).

Though I agree the cookie banner + "free special report" popup + the bottom subscription banner takes an absurd amount of space.
You mentioned Spotify, which is tech for music streaming. I saw this and remembered an idea my old bandmates and I came up with once. I'm going to share it anyways, even though it's more about music performance than streaming.

Has anyone ever used an Fractal Axe-FX or Kemper or any other amp modeler? If not, it's essentially a digital replacement of tube amp technology, with the capability of modelling a whole bunch of guitar amps and effects.
We dreamed up the idea of having one device like this, but capable of handling the whole band. Essentially, we'd want a small but powerful PC, running a custom Linux distro built for audio processing, with enough inputs for several instruments.
The machine should be able to record, have outputs to plug into PA, have effects processing, etc.
The technology for all of this already exists, it just needs to be combined into one box.

Maybe this is a little bit off-topic for this thread, but I still think this would be a great idea for any recording/performing band.
> “It’s usually a problem to ship it by plane because of the pressure, but I made some phone calls and there was a pilot who agreed to keep it in the cockpit with him.”

Wouldn’t an exploding bottle of spruce beer be more dangerous in the cockpit than elsewhere in the aircraft?

I can’t imagine it would pack enough punch to cause fire or bring down an aircraft, but in the cockpit it could incapacitate a pilot or damage controls and instruments!
Isabelle[1], Coq[2], and Metamath[3] are probably the three most well-known automated proof assistants but there are many others[4]. Using them is very similar to programming - the mathematician writes his proof in a formal language using a text editor or IDE, and a "compiler" either verifies the proof or produces error messages. Most of these also have features which "assist" the author by automatically searching for formal steps to fill in the gaps between what the author wrote. They also provide libraries/modules/packages for topics like number theory, geometry, calculus, etc., so that you can build off of standard definitions and well-known theorems instead of starting from scratch.

Of these, Isabelle and Coq compete for best-of-breed and are extremely powerful. Metamath on the other hand is intentionally minimalist, starting at a level below logic (string substitution rules, basically) and building up predict logic inside the system. Metamath comes with a "proof explorer"[5] - an online body of proofs formally verified by metamath.

For proofs about algorithms in particular, TLA+ [6] is a formal specification language which can prove things about algorithms, as charmingly described in "Euclid Writes an Algorithm."[7]

[1]: https://isabelle.in.tum.de/
[2]: https://coq.inria.fr/
[3]: http://us.metamath.org/
[4]: https://en.wikipedia.org/wiki/Proof_assistant
[5]: http://us.metamath.org/mpeuni/mmset.html
[6]: https://learntla.com/introduction/
[7]: https://lamport.azurewebsites.net/pubs/euclid.pdf
What Is a DAO? And How Can It Help Dapps?
TAPAS:The Neural Network That Predicts the Performance of Neural Networks
MicroProse? Founded early 80s, creators of Civ
There should be at least 2 escort drones just in case the illegal drones attacks back.
My first look at Blind rated cities to work in by how hot/available women were there (e.g. comments like "SF sucks, you have to settle on dating uglies" or "NYC women are so much hotter than SV women, no contest where to live"). The question asked to the Blind community was just "where would it be better to live long term" or something completely not to do with dating or women, but the majority of responses were about the hotness of women dates.

Later on, I found unsavory relationship advisement going on, and further than that, outright racism against Indians in particular. None of these comments were downvoted, many encouraged and agreed upon. (EDIT: Not downvoted, criticized, sorry.(
Yes, insects are meat. The kernel of a nut is called nut meat, even though it is not made from muscle fibers.

I think the line is drawn at poultry and fish sometimes because the input costs are so much lower than mammalian meat. CO2 taxes would incentivize this sort of vegetarianism.
Accessibility broadens as waste is eliminated from the system. No other manner increases accessibility. Medical device manufacturers would prefer to make a device with less waste, they'd make more money (see empires built on low price commodities). Regulation unfortunately builds in tremendous waste and reduces accessibility. A waste reduction like this is an incredible achievement.
True. They might not. But maybe they only want to threaten (e.g., Google Fiber) that X, Y or Z might be possible?

The other reason for such things is talent. If you want to attract top talent you have to (R&B) toys for them to play with. On the other hand, to say, "We'll never release this so let's not put any effort into it" is the road to irrelevance.

The budget for this effort vs the cost of irrelevance make such project a solid investment. Pointless in terms of product but essential to the brand.
> they include special proof languages that express proofs in a step-by-step way that feels procedural

Serious proof developments don't even use the languages in a procedural way. They use "declarative" idioms/patterns that are structured more like a very detailed human proof. This is because "procedural" interaction with the proof state is extremely fragile (it's like raw assembly code, the slightest change in any part of the proof can break basically everything else in it) plus it actually requires "replaying" the proof in order to have any chance of understanding how it works. Declarative idioms can be read and understood directly, at least to some extent.