skysight-inc/HackerNews huggingface dataset:
Jeff Bonwick and Bill Moore presenting at the SNIA Software Developers' Conference, Sept 2008.
Some timestamps:

* 00m00s Intro

* 08m45s ZFS Layering Architecture

* 25m00s Copy-on-Write Transactions

* 44m00s Data Integrity and Checksums

ZFS: The Last Word in File Systems Part 2 [1]:

* 00m00s RAID-Z: Data/Parity Distribution with dynamic stripe width

* 09m15s Resilvering/Rebuilding

* 19m55s Disk Scrubbing

* 23m10s 128-bit Pointers

* 28m33s Performance

* 33m51s Dynamic Striping

* 40m30s Variable Block Sizes

* 46m30s Integrated Flash Memory (SSD) Support

* 53m22s Hybrid Storage Pool Example

ZFS: The Last Word in File Systems Part 3 [2]:

* 00mm00s Demo of using ZFS

* [1] https://www.youtube.com/watch?v=TwCXVp_u86o

* [2] https://www.youtube.com/watch?v=ybjdAEUfXzw
Shows me the power of a good standard library. Such a light weight language, but so many tasks that require third-party libraries in other languages are built right in with equally light weight interfaces.
Getting anything, including humans, to LEO is the hard part though. Once they have brought crew to the ISS and have demonstrated a spaceship flying to the moon, landing and returning to earth they will have solved most of the challenges of bringing humans to the moon. And they make good progress on both fronts.
Reminds me of Pascal having dependent types like

var
age: 18 ... 130;
I imagine Steam doesn't allow Gatekeeper bypasses. Still, notarization is designed to be easy to script: https://developer.apple.com/documentation/xcode/notarizing_y... - so it really shouldn't be an issue.
I recall reading that one of the reasons was the fact that "go" sounded good

1. when used as a keyword to start a "goroutine"

go f()

2. when used from the command line for compilation etc.

go build ...
go get ...
Pretty big. You're comparing quicksort at O(n log n) to hand at O(n). A computer is about a billion times faster per operation, so log n = 1 billion, or n = 2^billion.
> What non-arbitrary rule should we use as a society to determine if a product/service can be targeted or not?

Actual past experience with specific, widespread, and demonstrably harmful discriminatory practices.

Widespread discrimination in housing during the 20th century -- and the negative effects that had on certain communities -- resulted in laws prohibiting discrimination in housing ads.

Widespread discrimination in employment during the 20th century -- and the negative effects that had on certain communities -- resulted in laws prohibiting discrimination in employment ads.

BTW, these categories also make sense. Housing (i.e., schooling) and employment have a huge impact on your life outcomes in the USA. Choice of hair product, not so much.
this doesnt seem like a bad thing imo - tech has always favors young applicants
From the sounds of it steel structure can basically handle much greater temperatures routinely and also even more in rare situations that might mean retiring the ship afterward but not losing everything. In his presentation Elon says that aluminum alloy or carbon fiber structure is basically done for at 300 to 400 Celsius, well that's the temperature at which stainless steel can just begin to get conditioned by heat, it doesn't structurally 'melt' until over 1000 Celsius.

Although its a curious topic, I would have no doubt that whatever temperature cycling they design parts of the structure to go through in their "rapidly reusable" regime, the effects of "heat fatigue" or whatever to call it will have been rigorously assessed .
Absolutely. I see a few people running Linux on their desktop, but the majority are on OSX.

The Linux / Windows world offers more performance for significantly less money, if you're prepared to learn about hardware.

I find it so much fun, although sometimes frustrating when things like bios bugs interfere with normal voltage levels - need to be more hands on these days than before.
I actually think these are compelling features:

* Fully Transparent Mod/Admin Action Logs <- This is evidenced by the fact that on reddit mod drama sparks up every so often

* Anonymous Posting Option <- The fact that people make throwaways indicates that they desire anonymity sometimes

My next question though is what stops reddit from implementing them?
You can't throw your humanity away.
Except the existence of laws against racial/age discrimination in housing and employment are not arbitrary. Those laws were passed in response to actual and widespread discriminatory behavior in the mid 20th century.
I detest videos and podcasts and wish HN always included warnings (e.g. “(podcast)”). At least a Vimeo or YouTube link is obvious.
Another company would have rushed it out "on schedule" and have been stuck with the results forever. Delaying something until you need-need it can be a very good strategy ensuring the best possible final results at go-time if that avenue is available to you.
It doesn't; it's just an irrelevant scapegoat.
has anybody proved something interesting in Lean? Perhaps not too difficult, but some proposition that might take a couple of days of work done in hours? I'm all for encoding foundations in a programmatic framework, but it seems that the idea here is to make this a useful tool for practicing mathematicians. The documentation didn't seem to have any examples of how that might happen.
Enjoying it so far, small bug report:

Loadout weapon drag window can get permanently stuck on the screen, requiring a refresh. See here https://i.imgur.com/cL4x2Vk.png

Steps to reproduce: Go to Edit Blueprint Window. Start dragging a window. Press backspace to go back to the game field. The window is now permanently stuck.
The other hard part is keeping the health of humans from declining rapidly in zero g.

I don't know whether the surface of Mars (.378 g) or the Moon (.165 g) will prove any less destructive to human health.
Go is free as in freedom and paid for by someone else.
Google faces scrutiny from Congress, DOJ over plans to encrypt DNS
> > As it's impossible to leave the building without a key in case of a fire.

> Isn't that the case for most doors that lock? You can't leave through my (brand new, to-code) front door from inside without a key to unlock it first.

Do you live in the US by chance? In my jurisdiction double keyed deadbolts for example are not up to code for residential use, and for those applications the deadbolt must be keyless on the egress side.

Logically, this seems sound as you don't want to be scrambling for keys if your house is on fire.
Well, you should try it and see if you are right, then. APL really excels at quick experimentation for mathematically-oriented programs. Tacit J even more so (which is what I used above).
it would take legislation to force US companies to build backdoors to encryption, not an international accord.

Would it? It might take Congress ratifying a treaty, but at that point doesn't it take the force of law?

ISTR that this has been one of the big arguments over things like the TPP with Investor - State disputes (https://en.m.wikipedia.org/wiki/Investor-state_dispute_settl...) and assorted copyright measures being placed in treaty proposals instead of being addressed legislatively.

"This Constitution, and the Laws of the United States which shall be made in Pursuance thereof; and all Treaties made, or which shall be made, under the Authority of the United States, shall be the supreme Law of the Land" (emphasis added) https://en.m.wikipedia.org/wiki/Article_Six_of_the_United_St...

Edit: fix italics
For those who don't feel like watching the video (it's long and a bit dramatic), the group has put together a spreadsheet for viewing. Note that this is ALL banned words, not just the ones this author has issues with, so the content is decidedly NSFW. Proceed with caution.

https://docs.google.com/spreadsheets/d/1ozg1Cnm6SdtM4M5rATkA...

Honestly most of that list looks like a standard blacklist, but there are a few items in the list that have become more socially acceptable recently. But I'll refrain from calling out anything specific; form your own conclusions.
NOR gate logic, like NAND and NOT/AND/OR gate logic, are functionally-complete.

Combinational logic examples:

- NOT gate -> N-input (N >= 1) NOR with all inputs tied together to the input

- N-input OR gate -> N-input NOR gate with a NOT gate at the output

- N-input AND gate -> N-input NOR gate with a NOT gate in front of each input

- Bonus - sequential logic: S-R latch -> 2x 2-input NOR gates with one each of their inputs tied to the other gate's output
I've been programming in C and C++ for almost 30 years. This has never been a problem for me.
I agree with you on this point. I believe that’s part of doing a reasonably good job as an employee.
> Anonymous /r/beastiality 6h

> Dogs knotting women (www.com)

Really, who expected anything else?
I am not a Mac developer, but this doc https://developer.apple.com/documentation/security/notarizin... claims you need 10.13 or above, which seems to run on 2009-2010 hardware. I know the latest version of Xcode 10 requires 10.14, but even that is about ~2012 hardware and newer. I think the upcoming 10.15 also has the same hardware requirements as 10.14.

Anyway, even if we say 10.14, I wouldn't call 2012 models fairly new.
I've used Lean a fair bit (mostly contributing to mathlib), and have had a cursory glance at Coq. They are pretty similar, with really similar foundations. Both use variants of Calculus of Inductive Constructions for their foundation. Syntactically, Lean seems neater than Coq, and has more flexible pattern matching, and type inference.

It also has inbuilt support for quotient structures, which is a huge timesaver when dealing with Algebra. Might not be so important if you want to prove the correctness of programs.
But I think the main advantage is that Lean is it's own meta-programming language, so you don't need to switch to Ltac/OCaml to write tactics.

The main advantage Coq has is it's code extraction feature. There was talk about implementing code extraction to C++ in Lean, but I don't think it has been done yet.

An oversimplified summary would be that Coq was designed with programmers in mind, while Lean was designed with mathematicians.
I don't think that the signed binaries are intended to prevent malicious binaries but rather instead to create an evidence trail once an malicious binary has been submitted.

Since you have to sign with a key that you have payed apple to authorize. Apple has the payment details that connect you and the signed binary together. In addition the membership has licence conditions that in turn allow Apple to sue you.

The intent is a deterrent effect.
Can you describe better ROI to rent more in detail?
I like the idea of anonymous posting and at the same time on Reddit I've found challenges with brand new accounts with agendas showing up en mass with little regard for the local community and just wanting to push their agenda.

It's a rough thing to allow anonymous comments and also foster a community online.
‘Being young is a crime’ in Hong Kong: Police arrest students and teenagers
From this[1] article:

"Musk said in 2018 that SpaceX was “all hands on deck for Crew Dragon,” and it would be making trips to the ISS by December 2018.

After that, he said, “most of our engineering resources will be dedicated to BFR, and I think that will make things go quite quickly,” he said. BFR was the earlier name for Starship."

"All hands on deck" is not some subjective term, it is naval and means get everyone on deck now to repel boarders.

[1]https://kfor.com/2019/09/28/nasa-administrator-tells-elon-mu...
This is really awful behavior by Google. We need to eject Google from LGBTQ+ organizations so long as Google chooses to actively hurt us.

Don't let Google wrap itself in our flags while stabbing us in the back!
A search tool helps dev to solve the naming things problem
And Mongolian, Korean, Uyghur...

If you add support for archaic systems you have to handle vertical bottom to top and boustrophedon too.
New graduates make more than that with 0 yoe in silicon valley.
Pilots don't like to run out of fuel.

When pilots are unhappy, passengers are unhappy.

Pilots know exactly how much fuel they have. It can be measured precisely. They know how long it will last whether the airplane is hot or cold.

Batteries are managed by statistics, guesswork, thermal readings that may not be accurate, snake oil calculations, factory assembly methods applied to solids (not mixed liquids like fuel) and a measure of overzealous investor confidence.

In order to advance the future of electric flight, first we must find a pilot who does not mind running out of fuel. Such as a robot maybe. And passengers who don't care if the pilot is happy. Or just don't tell them there isn't a human pilot.

Heads up!
"Free download code with every t-shirt" is a surprisingly effective model for indie artists.
Type A blood converted to Type O with help of bacterial enzymes
> My next question though is what stops reddit from implementing them?

They're never going to implement the anonymous posting. They used to let users register without providing an email, since the new redesign it's required.
Amazon reviews for textbooks are, surprisingly, great indicator of material quality.
I love Learn X in Y minutes! It is a great reference (how do I do basic thing x in language y) or useful for teaching yourself the basics of a language if you know one that rhymes e.g. C# and Java.

I used it recently to get my barings in Bash and then used the terminology I learned from the examples to finish my glue code.

Was this code good and super idiomatic? I don't think so but I also don't care. That job is done and I am on to bigger and better things.

Much like Wikipedia with regards to research, it's an overview and gives you the tools to dig deep but it doesn't really "teach" you any given language.
As a wikipedian, wow thank you, I love learning vital descriptive terms.
\o

I still use GOPATH structure since it's such a nice way to organize my code.
Pinyin is requested by the Chinese government. They used to use Wade-Giles but changed iirc in the 70s and requested that others do so too.

It can’t really be called part of English in any meaningful way anyway.
No, and it’s fairly ludicrous to even suppose it.

I’m asking why we choose to emphasize this along some axes of characteristics and not along others.

E.g. introvert / extravert axis is something employers are free to discriminate / harass along (e.g. open plan office layouts, less “outgoing” people often paid much less for the same job) even though it likely causes as much damage as any other axis that roughly splits the population. Yet few people seem bothered enough by this to organize legislation or talk about it seriously.

I think it’s interesting to ask why some kinds of characteristcs (gender, sexual orientation) are allowed to have this elevated status, and what does it mean about true intentions behind why there are protected classes of characteristics?

Because of the existence of unprotected characteristic axes like introvert / extravert that few seem to care much about, the explanation of protected classes, by definition, cannot be mitigation of harm / equitable treatment, etc.
ProPublica, and in particular this reporter, has been doing a lot of original research on facebook's abuses in the past few years.

For instance, they started this project to collect facebook ads: https://projects.propublica.org/facebook-ads/

See also this joint investigation by the New York Times and ProPublica: https://www.nytimes.com/2017/12/20/business/facebook-job-ads...
A normal worldwide USB power supply accepts 86-240v AC, so you can usually supply a DC voltage on the same terminals of the same voltage with no issue (convert from AC peak to peak to DC)
Specifically paid for by Google which, as far as I'm concerned, is the definition of ad supported.
Uh what? This is exactly the inverse of what happens. Quenching leads to stronger, more flexible steel. Slow cooling leads to harder, but more brittle steel. The reason is grain structure - slow cooling allows larger grains, which don't allow the movement of dislocations as freely, but the loss of flexibility costs in ultimate tensile strength.
Not sure if you're still following, but Keybase replied and this entire article was blatantly false. There's an explicit opt-in here.
They're not screening for kids and bare skin specifically. It's just a first heuristic to narrow down the pool of photos that conceivably might be child porn to something that human investigators can feasibly check.

Per the article, 90% of the kids-and-bare-skin photos received are found to be totally innocuous once a human looks at them; no action is taken, and the photos and associated personal info are removed from police computers.
It is trivial to write both of these on your own, why do we need unnecessary abstraction for such a simple task.
Three clicks in and I see a picture of a dog fucking a woman.
Please cite your correction or delete it if you find you are in error. I have provided my 2 sources which are in addition to my peer and personal experience in blacksmithing.
Your argument is based on an unstated framing assumption:

“A cheaper and simpler process is better for developers and users, and therefore the absence of both cost and complexity is universally the best solution, without regard for any other factors.”

That is not a widely agreed-upon assumption. Since the post relies on this same assumption-by-framing approach, its arguments are weakened by their dependence on an unstated assumption. Answering my questions would force that assumption to be considered openly - and potentially challenged.

Is it better for users that Apple is doing this, regardless of the extra cost and time it assigns to developers?

That’s the question that should be being asked here. Unfortunately, it is not.
Why wouldn't it happen? In democratic countries like the US, UK and Australia there have been a long tradition of independence from the state broadcasters; often hosting forums where guests antithetical to the views of the reining government have taken place.

Can you explain what types of conversations that you think would not happen and why being government run would result in this.
Vectors may be the proper way to represent symbols as they are the link with perception. I would call that a pretty core part of AI.
> we can control them through regulation anyway

If that would be true, the level of service wouldn't have degraded to the point nationalization is a reasonable (and popular) proposal.
True. Hence why I said "viewpoint based".
I think people are more toxic in private even if they're now willing to be semi-toxic in public.

I say this as someone who was very good at research back when people didn't understand stuff like not using the same handle across sites, not using same email across sites, not giving out so much info the property of intersection narrows them down... it's amazing to see someone's public and what they think are private thoughts and how they contrast.

I've kind of given up on total anonymity when saying anything of substance given advances in stylometry - anonymous receiving is solved, but speaking seems the real challenge.
Interesting that the writers of this article are a company that sells a library to help developers detect their app running on jailbroken devices. https://blog.trailofbits.com/2017/10/12/ios-jailbreak-detect...
An iPhone has approximately the same level of technical complexity as a Saturn V rocket. One can be used by a toddler; the other needed the entire might of the military-industrial complex to successfully operate.

Apparent complexity matters just as much as real complexity.
Leesa+Mattress+Savings+$200
Are you guys working on a QUIC and HTTP/3 client/server in terms of future de-facto go-to crates for Rust? That would be amazing.
Yay!

I have fond memories of my friends (and eventually me, on the family iPad) jailbreaking our devices and doing stuff with them.

A lot of the things I saw from jailbreaks were incorporated into later iOS updates- I'm curious (and excited!) to see what develops out of this wave.
On one hand it is dismissive to say that any innovation occurred due to the laws of physics and the starting condition of the universe at the Big Bang. On the other hand it makes your insight that most innovations were chance happenings less surprising.
Linux Kernel Lockdown
WeWork Was a Family Affair, Until Things Got Complicated
The name 'ieddit' is way too close to 'reddit' and should be changed to avoid trademark issues.
Ah, the Peter Principle. But I'm not so sure it will work. Maybe the higher level will allow more editorial decisions, and we've already seen problems there.
Ah, yes, the bane of Apple engineers everywhere.
How do they plan to get 100 tons of cargo from atop the starship down to the surface of Mars? Do you use a crane? I mean, cranes are heavy, right?
Except I'm not comfortable with my families photographs being screened by a third party that I don't know or have met, and this occurring explicitly without my knowledge.

So to stop child pornography an all-seeing third party vets my families photographs even when shared privately via WhatsApp or similar? That's fucked.
I don't see Taliban or heroin (or "opium") in that article, but sure, if you want to expand the relationship to being between theocratic rulers and vice production I'm fine with that. I didn't read the article to see if that's actually what was going on 200 years ago, but I'm assuming you aren't posting an offtopic reply.
Maybe the next product to suggest to puri.sm or pine64?
> a human looks at them

That's the problem most people have with this.
In the former case justification for war matters. Compare moral effect of Perl Harbour and compare that to war in Vietnam.

Same army will be far more motivated to fight to defend the homeland than to kill a poor sod in a faraway land for unclear reason. So it's not a static quality.

And every time there is a fuckup from the higher ups it affects morale.
That’s not true. Apple prevents unsigned binaries from being executed at all.
Is polygamy legal yet? Consenting adults you know..
The internet has become too centralized.
Sounds interesting, but didn't work for me: it got stuck on the "bots are busy assembling the game". There is no indicator of progress, no errors, no logs. It's a good idea to add a feedback button that would upload logs on demand. I'm using Firefox Android with uBO. Only GA was blocked, but there's no way I'm enabling it.
> It's just a first heuristic to narrow down the pool of photos that conceivably might be child porn to something that human investigators can feasibly check.

Yes, but it's an invasion of privacy to even have someone looking at pictures that weren't shared publicly. Basically what you've just said is that 90% of the time they are invading innocent peoples privacy.

Child porn is really bad, the right to privacy is also really important, I'm not convinced they've made the right decision here.
When I read this, I thought it was a bit psychology 101. Monetary punishment has nothing to do with being late to pickup a child. While the punishment of apologizing to a teacher has a direct link to the event. As wrong as taking a child's console/phone/tablet away when they punched someone at school or w/e.
No progress bar. No fast forward button. No speed-up.

Man this UX is frustrating.
Are We Living in a Post-Happiness World?
I have happy memories of getting a monochrome bitmapped graphics driver working with Turbo Pascal and generating Clifford Pickover's million-point structures on my old amber monitor.