skysight-inc/HackerNews huggingface dataset:
Remember the 2010 Ducommun 737 NG (-600 to -900) scandal? Boeing subcontracted key structural components to them to be CNC machined, instead they were crudely hand-fabricobbled and out-of-spec, but Boeing management ordered them installed anyhow. Furthermore, when a Boeing blue-ribbon panel reported its findings, they were ignored. As a result, several aircraft fuselages have broken up on hard landings and runway overruns, killing several passengers. In the past, aircraft fuselages remained intact in similar situations. There are an unknown number of substandard airframes flying around that have the potential to spontaneously break up in heavy turbulence, accelerated fatigue damage, hard landings, and runway overruns. If the flying public and professional pilots were smart, they would avoid aircraft designed, manufactured, or overhauled within the past 20 or so years because of the pervasive, systematic deficiencies introduced by regulatory capture. Older aircraft, if maintained properly, are demonstrably safer until regulators get back on the ball to insist on depth and breadth of safe, proper engineering and manufacturing.
Try an autoplaying silent video without interface. Or an animated GIF.
It doesn't matter how much care was taken in making the initial judgement if the information using it to reach it is flawed, or if the situation changes in the time between the decision being made and it's execution.

I'd imagine that someone with no qualms about taking human life would be far less likely to confirm the validity and accuracy of those justifications.

I don't think anyone wants drone operators who dismiss a group of children playing near a target because they don't place a value on human life.
Old game, potentially (you can't continue to sell them without updating them).
Notarization and needing a paid developer account doesn't change the requirement for running software on OSX relative to the previous version.

Before, you needed to sign with a "developer ID distribution" certificate if you wanted to avoid having to tell users to "ctrl-click DMG then click open" to bypass gatekeeper. This certificate required a paid developer account.

Now you can still distribute un-signed, un-notarized software and tell users to ctrl-click open to bypass gatekeeper. All this does is require notarization (Apple running malware analysis) to have it run without a ctrl-click.
I wonder what would happen if someone found out that Facebook's algorithm was discriminating based on race, age, or gender for any of these categories that are illegal.
Sounds like a very German approach to following rules and influencing behaviour.

May I ask why you read a book on it? Just interested in locks/security or lock picking?

I’ve found reading general interest books are a great source of inspiration regardless of your speciality. So I like picking up random topics. For ex: a book on ants which had utility in simple autonomous network design.
Calling it topology can be misleading, as HoTT only considers types as spaces in the sense of homotopy equivalence.
“Starting October 14th, 2019 Steam will require all new macOS Applications to be 64-bit and notarized by Apple.” (https://partner.steamgames.com/doc/store/application/platfor...)
At least place the blame where is belongs, drone pilots don't get to choose who to kill.

I don't think they recruit with "bombing Afghan farmers is great fun!"
The building and deploying of Go code is refreshingly easy.
You’re not kidding about the email. It’s email or manual polling, no webhooks. Strange. Well, I can suddenly imagine a lot of CI servers will be running SMTP. ;-)

> After uploading your app, the notarization process typically takes less than an hour. When the process completes, you receive an email indicating the outcome. Additionally, you can use altool with the notarization-history flag to inspect the status of all of your notarization requests

https://developer.apple.com/documentation/xcode/notarizing_y...
redlining and similar practices are still usually illegal, although it is probably easier to cover up.
Freedom to move, don't want to deal with burdens of ownership, better ROI to rent, etc.
This is a great idea. What about a service that allows proctored skills tests for applicants? Like Sitepoint but with some additional verification layers.

Hiring managers would then pick a tech stack or set of skills they need, and matches would bubble up based on applicants in the area with the relevant skills.

The "culture fit" question could be another egg to crack. Who knows if interviews are the best way to figure that out...
Letting megacorporations decide what you do and do not get to do with your personal property isn't really what I would count as a "good thing" in any circumstance.

Apple has gotten away with eliminating user freedoms time and time again under the guise of security. In many scenarios Apple's attitude towards its end-users increases perceived security while causing significant hurdles for actual security, such as how iOS no longer allows you to turn off Bluetooth or WiFi from the Control Center. Somehow I've never really seen an explanation for why this is better for security for the vast majority of people.
Unpoly 0.61.0 Released
Probably Ubuntu LTS or Mint. Whichever meets your desktop preferences better.

Fedora is my personal preference, but it is aggressively up to date, including updating to the latest kernels. Good for new hardware, possibly not as good for a 7yo machine, especially with Nvidia graphics.
One problem I'm having, when manually editing the code, is using Math functions. Ideally, I'd like to calculate the square root of an expression, but whenever I try to use Math functions I get the error "The Callee's type is MemberExpression which is not allowed".

Any advice?
Yikes. If you can't figure out how to make your code 64-bit safe, or how to make code signing work, you are effective requiring your users to give you root access. Completely unacceptable for a game.
Libmdbx Is Enhanced Descendant of Lightning Memory-Mapped Database
The dirty secret of hiring is that employers are always thinking about cost, but how many employees out there think of themselves as a cost to a bottom line? Not many.

The most exploitable tech workers are young, single, males on H1-b visas. They will take a low salary and essentially be enslaved to their job because getting fired means getting kicked out of the country.

Old workers and women are more “expensive” because they use more healthcare than young single males. We must totally disconnect employers from healthcare once and for all.

We must also reform the H1-b system and stop employers from having so much leverage over vulnerable employees due to their visa status.

Point is, it’s not as if employers think young men are superior talents to women or older workers, it’s that they are by far the cheapest and most exploitable. We need to remove these incentives (or disincentives) that distort the hiring process and allow these discriminatory behaviors to bubble up in the first place.
I think I'm the only Go programmer who enjoys the idea behind GOPATH :)
> The irony is that you can still buy just a good screen with good connectivity options and basic controls, but the market is advertised as "display screens" intended for things like advertising or video walls.

That used to be an obvious possibility, but recent products in this category tend to run variants of Android/Tizen/webOS complete with Wi-Fi to support remote management. There are still a few relatively "dumb" models of commercial displays out there, but they seem to be a dying breed.
Well, self defence and protection of loved ones is the obvious one.

Then goes the spectrum. Suppose someone is taking your property, can you employ violence to protect it? What if there is 1% risk of death to the thief? What if its 10%?
Poems aren't that great either.
If it weights 5KG+ (12pounds), likely it is not a switching power supply as it has a bulky transformer (I can't imagine a server PSU not being a switching one). Other than that laptops, phone chargers, etc. would work off DC. Most of them use a small transformer and high frequency (above hearing range)to drop the voltage.

The transition is something like: 90-240V AC (50-60Hz) -> DC (1.414*AC) -> AC high frequency ->(transformer) AC low voltage -> DC 12V

Very cheap electronics that use capacitor+resistor voltage drop need AC.

---

To answer the question directly, use a small fuse 1-3A and run the PSU idle. Like advised by sibling, measuring the resistance would be sufficient as well.
Hm, so after looking at it, I think my raspberry Pis are version 1 - I got them more than 5 years ago! I just don't know how to ascertain how much of the issues are due to using older hardware versus limitations of, for example, using SD as the primary storage.
Electron-notarize polls: https://github.com/electron/electron-notarize/blob/b3156157f...
I suppose it is literally true that the X-29 is "an impossible fighter jet", in that it was never put into production and fitted with weaponry.

The phrase "inverted wing" is more troubling, because of the potential for confusion with actual wing design terminology: https://en.wikipedia.org/wiki/Gull_wing#Inverted_gull_wing

Perhaps this link could be migrated to style.ycombinator.com?
Actually if you use the smm verifier that's been cut down to about 800ms. :) However, most of the theorem provers of today have been built on the philosophy that performance doesn't matter, or at least is secondary to ease of use, mathematical cleanliness etc, from the functional programming community. It turns out that once you make this decision it's difficult to get that raw speed back, even if you start worrying about performance later, and the HOL family provers make it worse by defining correctness in terms of the running of an ML program, which bakes the runtime of the ML system into the proof checking time.

When you combine this with the fact that these ML programs are not proofs but proof scripts, that perform a lot of "unnecessary" work like searching for a proof rather than just going straight for the answer, it suddenly begins to make sense why these systems take on the order of hours to days to check their whole libraries.

Coq and Lean are somewhere in the middle, because they have proof terms, but the logic itself still requires some unbounded computations. Checking a proof here is often fast, unless you make too much use of computation in the logic. But people often don't care about proof terms, and still store the proof scripts, which are as slow as ever.

Metamath is in this setting somewhat unique in eschewing proof scripts altogether, or more accurately, inlining proof scripts immediately on the author's machine. The resulting proofs are often comparatively long and verbose, but I would argue this is only a display matter, since all the other provers are doing the same thing, they just aren't showing it.
> If I were paying for advertising for a software engineering position I'd get much better ROI by excluding women and older demographics simply because they're much less likely to be suitable for the job, statistically speaking, when we're talking about the wider population in general and not just software engineers.

I'll go the other way. I can tell you, specifically, that if I want embedded software engineers, generally older is better.

It takes a lot of experience to wrangle software architecture, C, crappy development tools, communication stacks, PCB boards with bugs, microprocessor architectures, real-time operating systems, oscilloscope traces, Wireshark traces of CANBUS, etc. into a functional system

I have yet to meet someone with less than 15 years of experience who can pull that off without me standing over their shoulder telling them what to do.

Not everybody is building the exact same VC funded, fad driven, social malware website over and over and over.

Some of us are doing real work.
That's what I don't understand about this. He's using 32-bit deprecation as one of his main reasons for dropping macOS support, yet his decision to exclusively use the older architecture arguably makes the user experience worse. Of course they would like new features, but a modern 64-bit foundation should not be out of the question. It's almost like Microsoft has incentivized this by supporting the older architecture. I know that probably isn't the case, but it seems like this developer should modernize his program.

Edit: take my words with a grain of salt-- I'm not an experienced developer.
LockPickingLawyer has entered the chat
That better be some incredibly thin spaghetti you're holding in your massive hands.
Apple also forces every single app for macOS to be submitted to them. Seeing as how Apple has historically been willing to compete with the applications on their platform, that seems to at least have the potential to be a problem.
Review of dev.to's “free” listings as a means of product promotion
Well, you can... using hacked VMware and Hackintosh tools, it's just illegal :)
> Beginning in macOS 10.15, notarization is required by default for all software.

https://developer.apple.com/documentation/security/notarizin...
No difference in my experience. It's all part of the negotiation. I used "contract" as a general term rather than to mean just contract work.

Of course, I am talking about outliers here, that should be understood. In most of these cases it is, as I said, a right-place, right-time, right-skills circumstance, an alignment of the planets, if you will.

I've seen even crazier stuff. Back during the most heated phase of the internet bubble savvy guys were making outrageous deals. I remember one guy who wanted to charge $500 per hour if he worked from home and $800 if he had to come to the office...to complete a Visual Basic project. No, he was not hired. Wrong place/time/skills.
I agree, you have done a very good job keeping the videos short and focused. We use Ansible my job, and it's always been a bit of a dark art to me. Very much appreciate these videos.
US gave itself 9/11, it's like the scene from Game of Thrones where Cersei uses religion to increase her power and then that power structure she created fucks her up after gaining power.

The same thing is now happening in India and China.

Where in India a nut job racist, inspired by Nazi ideology of Hindu racial purity, is running the country and the West is down with it because you know fuck Muslims and their rights... you know after encouraging their religious power structures by protecting Kohmeni in France until he could go in and take over Iran, and disposing of the democratic Iranian government in favor of a dictator. Encouraging Islamic nut jobery in Pakistan to fight the Soviets. Creating Saudi Arabia to control Muslims out of a bunch of backwards nomads that have never led any civilizations in their history.

In the case of China, they used China to enrich them and distributed a bunch of technology and know-how to them to increase their own power and now China is basically turning the tables on them.

It's like West loves to abuse its power to increase it and then always shies away from taking any responsibility for its action and instead blames the ideology they were exploiting to increase their power.
> you are effective requiring your users to give you root access

Wait, it's either code sign and you don't get root or don't code sign and get root?
How retarded is macOS? Why is there no "no code sign and no root, just run as the user"?
Does this mean they are using unmaintained gaming libraries? Or is it just turtles all the way down of people not wanting to take responsibility to switch to 64bit because some random thing they depend on didn’t upgrade so they aren’t to blame?

And this chain of side stepping of an obvious issue went on for well over a decade?

I know it’s in human behaviour to delay things until they absolutely have to do something. Like we all learned in school doing less important homework. But in software there are always dialing pressures to modernize while supporting backwards compatibility.

10yr timeframes are sufficient here and from there if you want to use old stuff then it’s on both the user or the publisher to use some virtualization solution to provide long term support beyond this.
Correct, if you are rich enough to own a penthouse suite, you will not have upstairs neighbors.
The problem creating a language that “anyone can get started with quickly” has the problem that it invites a host of people who have limited idea how concurrency, among other things, works. It’s important to understand C++ for that very reason is historical significance and how a system actually works underneath.

I think there’s a general gap in people’s knowledge as a lot of people just clock in but don’t read about stuff beyond what’s required “to get the job done.”
Could just as well be a vision for the "new man/woman" of socialism, which "he'll plow the fields, then write a poem" (e.g. not just be a mere worker cog, but a worker + creative intellectual, a whole personality).
Isn't he an astronomer / astrophysicist? You must be talking about another Scott Manley.
> The unobtrusive JavaScript framework for server-side web applications

You can sprinkle this into your static site (ex: Jekyll, Hugo, Hexo, Zola, etc) and still have a blazing fast, smaller footprint, less complicated setup than a Next.js/Gatsby or a Vuepress/Gridsome static site.
Tilt Five – augmented reality tabletop gaming
This article makes no sense.
Seriously, OS X went 64bit 12 years ago. X86 has been 64bit for longer.

Maybe, just maybe, the problem is developers refusing to actually move forward.

It’s especially galling given game devs are the group that most prominently complains about OS X being behind the times.

As for “needlessly” dropping 32bit: if your poorly written 32bit app starts up you necessarily force OS X (and the user’s machine) to pull in 32bit variants of almost the entire platform. Thanks for that. It also means Apple has to maintain 32bit versions of every framework. I can speak from experience here: maintaining a 32bit version of javascriptcore was a massive amount of work. Every new JS feature needs duplicated JIT work, and needlessly complicates the entire JSC codebase.

That aside, Apple manages to do this - and I can’t imagine your game approaches the complexity of an entire OS -so if you can’t make your software work on a 64bit system then the problem is your code, not Apple.
Having worked on the Go port for SPARC with another person (don't know if it was ever completed), I have to agree with the parent here. The implementation of Go itself (based on 1.5-1.8 when I worked on it) was actually very complex. Large swaths of the codebase were completely uncommented and much of the knowledge about how the system is intended to work resides in the heads of the core Go team.
I think I'd rather optimize for fire safety than for the possibility that I might lose more stuff if someone breaks in and can more easily unlock my door from the inside.
I think the process of dehumanization occurs on all sides of the equation, and it's something to be questioned and examined whenever it happens.

Engaging in the same process and behavior damages the intellectual credibility of an argument because it allows you to ignore potentially relevant information. It also significant diminishes any moral authority you may be laying claim to.
Did you ever find out why you have high cholesterol? Are you above or under 30?
> statistically speaking

Based on your own statistics, or someone else's? Or perhaps The Intl. Jnl. Of I Think I Read It Somewhere Once?
1. You also need to pay apple a subscription, update your hardware, change your build process. I think there is also a review step during the build.

2. All the existing tooling (not the game, but the build process) will need to be 64 bit to run on this new hardware. So the build needs to be re-worked

3. People on Mac require more support, which is harder because dev is not a Mac user.
I've seen worse. Maybe if Hitler had practiced more instead of becoming Hitler he could have done better.
I think the most important aspect of a community is its members. Reddit, Facebook, etc have all tried hard to grow their communities and have reduced the quality of them as they increased the headcount.

The best communities don’t strive for the hockey stick growth.
I've generally found nonprofits pay well below market in exchange for doing social good. Universities are the most obvious example, Chan Zuckerberg Initiative being another
You are still able to run unsigned (and now unnotarized) software. It requires holding down a single key when first launching it. I’m pretty sure the trade off here - to prevent the average, relatively uninformed user - from downloading and running random software is very much a worthwhile trade off for malware protection etc.
If I were paying for advertising for a software engineering position I'd get much better ROI by excluding women and older demographics simply because they're much less likely to be suitable for the job, statistically speaking, when we're talking about the wider population in general and not just software engineers.

I think your logic is flawed. What you are not taking into account is that when you advertise, you ask people to do a certain amount of self-selection. If you advertise that you need a Go programmer, it's not like you have to work really hard to only advertise to Go programmers for fear that you will get 1,000,000 resumés from Java programmers.

And even if you did, you can throw out all those resumés cheaply, because they don't have Go experience on them. The big costs in hiring are the cost of showing ads to people, or even the cost of sorting through resumés.

The big costs of hiring are 1. Interviewing people, and 2. The opportunity cost of not finding the right person as soon as possible.

Not advertising to women because you have a theory that there are fewer qualified women out of the entire population of women than there are qualified men out of the entire population of men is premature optimization.

If, for example, you are advertising to Hacker News people, do you really think that the statistics about women in general are relevant? Or perhaps those women who read Hacker News are not representative of women in general?

Same for if you advertise to people who have shown an interest in Go, or Elixir, or Lisp, or distributed system, or DevOps. If you were advertising for people with experience programming for space flight in 1971, there might have only been a dozen women in America with relevant experience.

What kind of logic leads you to say, "Forget it, I am not interested in hearing from Margaret Hamilton, because there are so many women who actually have experience as secretaries?"

I have said this many times before, but when you are seeking exceptional people, people who are actually very rarely available and have many opportunities to choose from, the overall statistics are irrelevant. If out of 10,000 people on Hacker News there are four men you would hire, and only one woman, this is no time too think, "my ads get four times the efficiency if I only advertise to men."

Instead, you should be thinking, "There are only .05% of the readers that I want to hire. If I advertise to both men and women, I increase the chance of finding one of those .05% by a whopping 25%!"

If hiring is easy, that may not matter. But if hiring is hard, if you might make several offers and only get one person to accept, if you might go a month before finding the ideal candidate... You want to advertise far and wide, and use other methods to filter out spammy submissions.

Advertising is cheap. Not being able to hire the right person at that magical moment when they are available is very expensive.
The UK changed the law fairly recently to prevent price differentiation by gender.
Step 1: Get lucky and win the lottery.

Step 2: Sit in your chair. Your cash reserves now give you access to opportunities that poor people don't have.

Not a very actionable plan for the rest of us.
https://www.webmd.com/drugs/2/drug-1592/tamsulosin-oral/deta...