skysight-inc/HackerNews huggingface dataset:
Am I missing something or is this pretty much Gitflow with develop being named master and master named production? Maybe I don't fully understand Gitflow or we are using it like Gitlab Flow already with different names.
F-16 Viper Demo Team Media Kit
My take: sum and product types exist in various type theories (enums with their elimination rule being pattern matching). Some of the first type theories to feature them were for the lambda calculus, which functional programming is based on. As a result, they've been ubiquitous in functional programming, and have become associated with it heavily.
One simple yet crucial thing I learned from YC's StartupSchool
That should be called a face generator, not a depixelizer.
Who's tried coding on one? Own up :-) You could bang out 500 lines of JS without stopping and then upload it to your PC and see if it runs...
Handling variations (e.g. multiple targets) surely isn't the responsibility of the version control system?

If you need to build for multiple targets or have different special versions, than write your build scripts to produce multiple versions. The Linux kernel builds for lots of targets, but there is only one master tree for it.
People are not good at understanding uncertainty and its implications, even if you put it front and center. I used to work in renewable energy consulting and I was shocked by how aggressively uncertainty estimates are ignored by those whose goals they threaten.

In this case, it's incumbent on the software vendors to ensure that less-than-certain results aren't even shown to the user. American police can't generally be trusted to understand nuance and/or do the right thing.
One thing to consider is that this is largely a self-correcting problem for Facebook due to the auction model for ads.

As money leaves the pool, price per conversion will tend to go down automatically for everyone else.

If you think other advertisers will leave money on the table to make a point then you haven't worked in business very long.
> maybe there is a market for a writing-only device, similar to a read-only eBook reader.

The article mentions just such a device[0]

[0] https://getfreewrite.com/collections/writing-tools
Seems like any laptop booting a minimal Linux distro straight into a similarly simplistic text editor should be able to provide the same experience. Could be carried around on a USB stick, effectively turning any available computer into an AlphaSmart.
> yet now it is being taught in some public schools

That's the real problem. Newspapers get things wrong all the time. There's a conversation, people put forth their views pro and anti, and everyone makes up their own mind. But making a newspaper story that has come under fire from a huge number of respectable scholars part of the school curriculum for children is nakedly ideological.
> we still have to scan every creative for https compliance

What's 'creative' when it's a noun? A producer of 'content'?
The Bifurcation of Android
One of my teachers liked to use the term value-oriented programming for the FP subset that does not make use of functions for data representations, or even first class functions beyond combinators like 'map'. I've always liked that term and that concept, and I do believe value-oriented programming, understood as programming with pure functions and simple values as much as possible, is 75% of the value of full functional programming. And I say that as someone who has both used Haskell as my primary language for over a decade, and implemented my own functional language.
These people have a somewhat modern alternative with mechanical keyboard and eink screen. It has wifi and that's it.
From watching the reviews I understood that a major drawback is that no editing is possible on the device itself and it is very expensive (600$)

https://getfreewrite.com/

I personally use occasionally an android based ebook reader with a bluetooth keyboard (Onyx BOOX Poke 2 with logitech k380). Distraction free writing is a thing.
Note: there is already a simple tool to generate core dumps on Linux: gcore.
These dedicated word processor devices were quite popular and cheap. Built-in printer and floppy drive, shaped somewhat like a typewriter.

We had two in my house, even though we also had general purpose computers. I think they were still in use into the early 90s for school reports.
large fraction of the population and ML marketing both believe that.

I still think it insane. We have falling crime rates and we still arm ourselves as fast as we can. Humanity could live without face recognition and we wouldn't even suffer any penalties. Nope, people need to sell their evidently shitty ML work.
I have answered part of your question before: https://news.ycombinator.com/item?id=19036507

Happy to answer more.
> The problem here is 100% on the cop(s) who made that call for themselves

I disagree. There is plenty of blame on the cops who made that call for themselves, true.

But there doesn't have to be a single party who is at fault. The facial recognition software is badly flawed in this dimension. It's well established that the current technologies are racially biased. So there's at least some fault in the developer of that technology, and the purchasing officer at the police department, and a criminal justice system that allows it to be used that way.

Reducing a complex problem to a single at-fault person produces an analysis that will often let other issues continue to fester. Consider if the FAA always stopped the analysis of air-crashes at: "the pilot made an error, so we won't take any other corrective actions other than punishing the pilot". Air travel wouldn't nearly as safe as it is today.

While we should hold these officers responsible for their mistake (abolish QI so that these officers could be sued civilly for the wrongful arrest!), we should also fix the other parts of the system that are obviously broken.
I think it is very wrong. Faces are anything but unique. Having a particular face should not result in you being a suspect. Only once actual policing results in you becoming a suspect then this might be a low quality extra signal.
An ARM-based Japanese supercomputer is now the fastest in the world
I agree. I also think getting a judge to sign off on that would be unduly burdensome.
> Federal studies have shown that facial-recognition systems misidentify Asian and black people up to 100 times more often than white people.

The idea behind inclusion is that this product would have never made it to production if the engineering teams, product team, executive team and board members represented the population. But enough representation so that there is a countering voice is even better.

Would have just been "this edge case is not an edge case at all, axe it."

Accurately addressing a market is the point of the corporation more than an illusion of meritocracy amongst the employees.
Both versions of Edge are used for webviews in native apps, removing it would break lots of them. Even not UWP ones, since both the Spartan webview and the new Chromium-based webview2 can be used in normal desktop apps too.

For example, the auth0 SDK for WPF uses the Spartan one for login screens
This is also why I have doubts about "experienced consultants". It usually means "job-hopping far more frequently than every year."
If you want a modern incarnation, Path of Exile is basically a homage to Diablo 2 with it's own universe and story but same complex and enjoyable mechanics.
The World Is Too Much with Us
"""

The world is too much with us; late and soon,

Getting and spending we lay waste our powers;

Little we see in Nature that is ours;

We have given our hearts away, a sordid boon!

This Sea that bares her bosom to the moon,

The winds that will be howling at all hours,

And are up-gathered now like sleeping flowers,

For this, for everything, we are out of tune;

It moves us not. --Great God! I'd rather be

A Pagan suckled in a creed outworn;

So might I, standing on this pleasant lea,

Have glimpses that would make me less forlorn;

Have sight of Proteus rising from the sea;

Or hear old Triton blow his wreathèd horn.

"""
This is great. I'm currently trying to rewrite a heavily object-oriented library into a more functional one (the rewrite is necessary because of licensing issues, and functional because the original code is a clusterf*ck of mutation) and despite the whole company working on top of Python, I was seriously considering implementing it in SML[1] specifically due to pattern matching making the underlying algorithm of the main data structure incredibly easier to reason about and implement.

[1] Yes I know coconut-lang is a thing, but I didn't want to introduce something that looks a lot like Python but isn't in our codebase
> I'm sure papers on their theoretical equivalence with GNNs are coming.

Not exactly a paper, but you mean something like this article:
https://graphdeeplearning.github.io/post/transformers-are-gn... ?
I toyed with the possibility of something like this, in my case I was thinking more in an app with a similar functionality. Maybe more oriented to simple phrases than single words.
I think this is a worthy read because it looks a computing product from a user's perspective instead of a engineer or an MBA. Multi-function everything devices with the addictive potential of nicotine may be engineering marvels and business rockstars, but this person wanted to write without distraction and needed to reach into the past to find a product that met their needs.

And it's a fun exercise to take this user's need and whiteboard out a new product for them. How are those ergonomics; could we hinge the display or project it somehow in a way that will let them type longer without discomfort? How's that LCD's readability; would eink be better? Should the device be doing incremental backups to the cloud? Should it offer dictation?
I have that, I have a work laptop, that i dock into a displaylink set of screens to run my work dev environment. And then sitting on the desk next to me is my personal laptop. Totally different uses and the seperation is really important because i never worry about typing the wrong thing into the wrong context because the full size keyboard is attached to the work computer.

It's worked really well for me for about 3 years now. And i hardly look at my phone.
Bringing a gasoline vehicle into the MTA would get you ticketed real quick. Oil/gas smells, potential leaks, hot exhaust - lots of things you don't want on an underground shoulder to shoulder transit vehicle.
I don't see the contradiction. The comment you are replying to included maintenance branches. The point is you only create those branches if and when you need them.
As @svane pointed out, "Hacking Team" are exactly one of the companies that are on my personal list of companies where if you work for them, you lose (my) benefit of the doubt.

From your comment I do take the point that maybe not everyone is aware of all of these actors.
But if you sign a contract with them, you either know what you're doing and are cool with it, or you didn't care enough to google them. (And I have a very hard time believing the latter.)

The former I find morally wrong, the latter I find negligent (note the "I find", indicating personal choice here) and I do think both should be disqualifying if not explained well.

Edit: even though my personal attitude towards this doesn't matter in the grand (or even small) scheme of things, I'd consider this a situation where I'd invert the burden of proof. Yes, being associated with these companies should put a burden on the person working there if they want a different job. They should have to think about that before they sign. High-skilled people who consider their offers should have a strong incentive to decline.
I wrote about it here and I stand with it "Paid Ads are a Trap"
https://medium.com/@franz.enzenhofer/ads-are-a-trap-80df01d2... (Medium free to read link)

The ad system of Google and Facebook is obviously not created to benefit the businesses which book ads, but Fb and G. The business should be at best held at minimum but viable profit, highest cost for ads. At worst "burn through all your money with us". I by now came to eh conclusion that "paids (ads) growth" is scheme with only Fb and G as the profiteers.
That doesn't follow. The de minimus non privileged communication would not support a warrant for a wiretap and would poison every case handled by that firm.

(Parallel construction would generally not be permitted, as that's usually only allowed for technical or inadvertent procedural defects in gathering evidence, not intentional and unlawful violations.)
I played Diablo2 for almost 19 years. Then the Blitzchung controversy happened. Now Diablo2, and all Blizzard products are dead to me, and imo they should be dead to you all as well.
Pyrotechnician here.
I've walked off gigs with my hands black from powder, smelling of powder, with so much powder falling from my bags that the security guards laughed about how "dirty" my bag was, got swabbed and went through without issue. Likewise, I have had colleagues travel with 12" mortar shells in their baggage without any issue.

I can only assume they're checking for deflagrating explosives (TATP, ampho, etc).
> first popularized by certain functional languages

Basically that.

People associate all kinds of different thinks with the term functional programming. The only think in common is that it's focused on functions, including first class functions.

For other thinks including things like (strict) immutability, lazy evaluation, syntax, algebraic data types, linear typing, etc. it is different from person to person weather or not they think about this as part of FP or just another think which happens to be part of the FP language they use/looked into.
"Almost universally" even includes Electron apps, surprisingly!
This is exactly what I have instituted for my team. I think that actually is Gitlab Flow though.

If you don't use the optional parts of Gitlab Flow like a production branch, what you are left with is feature branches merged to master, and then release tags made from master. The only difference is that both of us don't make the release branch unless it's necessary, we just make the tag.
That is exactly the type of device I've dreamed about for years. Thank you for pointing it out. I wonder if there is a version targeted more for English language.
One can hope.

I personally suspect Microsoft will argue that reverting certain system settings to defaults every update is SOP because they've been doing it elsewhere.

For example: sound settings. My physical Bose headphones show up as 2 different logical bluetooth headphones, one with sound that sucks, and one with sound that doesn't suck. Whenever Windows chooses the one with sound that sucks, I go into sound settings and disable it. This prevents sucky audio for a few months until an update lands, the sound settings get reverted, and the sucky audio returns. Ugh.
Is there actually any data being sent or shared from your device remotely or is it just copying/taking local data from one application to another application?
I could ask the same about working for the NYT.

https://slatestarcodex.com/
Heh, cool. The terrorist-pianist strikes again.
> In most countries USD$15k

is more than they make in their entire lives.

Trying to compare US COL to "most countries"

And if you wanna only look at western countries that's obviously demonstrably false.

Whatever people pay as part of the healthcare tax is gonna come out to about $15K for someone who is making $100K in most EU countries.
You have a much rosier view of program synthesis than I do. Could you link a paper that you think is particularly impressive? I know Idris can do trivial inferences interactively, but I don't know anything that can do anything non-trivial that isn't also very slow and very unreliable.

IIUC, the Generalized Program Synthesis Benchmark Suite[1] is still mostly unsolved, including problems like “Given three strings n1, n2, and n3, return true if length(n1) < length(n2) < length(n3), and false otherwise.”

[1] http://cs.hamilton.edu/~thelmuth/Pubs/2015-GECCO-benchmark-s...
You're conflating a few issues. Facebook is being boycotted ostensibly for failing to combat hate speech, whereas your comment is mostly written as a argument to censor fake news. Classical mote-and-bailey fallacy.

Twitter deleting bots claiming that Obama was born in Africa? Fine. Twitter tagging Trump's warning that any squatters in Washington DC will be treated according to law as "promoting violence against specific groups" or "abusive"? That's quite transparent political bias.

Sure, you probably wrote your comment because you oppose Trump on political views and you support Twitter acting against promoting those views, but at least be transparent about it; don't claim that tech giants are just trying to protect the "naive, gullible, stupid" is gas-lighting.

Last but not least, do you have any evidence for this? IMO it's mostly just used for journalists to discredit people they disagree with (e.g. Trump or Brexit voters).

> we have a lot of people who are just too trusting, or too naive, or too gullible, or perhaps just even stupid.
https://www.google.com/search?ei=CWzzXqODOLK90PEPhbi7uAY&q=%...
Right. But to be a LLC, C Corporation, or S Corporation I have to have a "registered agent" listed with the State. There's no requirement that the domain owner's contact be a "registered agent." In fact, the person who owns the domain may be different from the business using it.

And while the Registered Agent is the correct legal way to serve a notice, if a business accepts and acknowledges it via another route, that's fine, too.
I think there's a false dichotomy which pervades discussion of programming "paradigms". They're all tools with specific jobs, and a good programmer will be a master of many.

OOP is a tool designed for a certain class of problems - problems which are adequately modeled by message-passing entities. A desktop environment is the perfect example.

FP is a tool well-suited to other problems. If I wanted a system to manage facts about some domain, and change those facts based on outside stimuli, I would be inclined towards a purely functional system operating on immutable data structures. Think about the proliferation of redux in web development and you'll see this is exactly the model of user interaction with a single-page web application.

If I wanted a system that closely interacted with a number of chips/hardware components with extremely fine-grained control, I would use an imperative approach.

All these paradigms have their purpose. It's when programmers get dogmatic about a certain paradigm where insane levels of complexity arise. Know your tools, and use them appropriately.
At least the source code they seem to have, as reasonably recently, they ported D2 from PowerPC to Intel on the Mac.
Ask HN: What Is “Google Service Control”
I have a GCP bill and it has "Google Service Control" as one of our top items. Google billing is super confusing - even after researching I have no idea what it is. Any Googlers out there?
I think that your prints, DNA, and so forth must be, in the interests of fairness, utterly erased from all systems in the case of false arrest. With some kind of enormous, ruinous financial penalty in place for the organizations for non-compliance, as well as automatic jail times for involved personnel. These things need teeth to happen.
Hi Povilas, thanks for the reply.

To be clear, you're saying that implementation in the applications/toolkits ecosystem is the barrier to a better trackpad experience on Linux and that by unifying the feature set of both X and Wayland, this will encourage that implementation among the developers of the applications/toolkits?

If that's correct, that is one angle I had not considered before. It's also somewhat unfortunate that it was not spelled out more clearly in Bill's post, but hindsight is 20-20 of course.
haha well said :-)
It's like asking "is mass surveillance that different from targeted surveillance"?

Yes, of course it is. Orders of magnitude more people could be negatively and undeservedly affected this for no other reason than the fact that it's now cheap enough and easy enough to use by the authorities.

Just to give one example I came up with right now, in the future the police could stop you, take your picture and automatically have it go through its facial recognition database. Kind of like "stop and scan".

Or if the street cameras get powerful enough (and they will), they could take your picture automatically while driving and then stop you.

Think of it like a "TSA system for the roads". A lot more people will be "randomly picked" by these systems from the roads.
Okay but ethics isn't universal either. There is no objective moral framework.

"Not everybody shares your views" == "Not everybody shares your ethics".

Let me try and steel-man this for you: if you believe in classical liberal principles of free speech, then you might probably be "proud" to work at FB, as well as of Zuckerberg's stance.

Here's a better articulation of that: https://stratechery.com/2020/zuckerbergs-choice-zuckerbergs-...
One-time treatment generates new neurons, eliminates Parkinson's disease in mice
We could quibble over how we're defining niche, but looking to our less technical friends that still use a variety of consumer & enterprise tech products/services daily is quite clarifying. My close friends, whether they work @ Impossible Foods on supply chain, @ a CA high school teaching history (now remotely), or @ SMB SAAS company (Hubspot competitor, forgetting name) HAVE NO IDEA WHAT THUNDERBIRD IS.
Sure, email in profile.
I'm so curious. Why do you care so much about Microsoft telemetry?

What data do you think they will exfiltrate that's so important that you go through the effort of setting of VMs and whitelisting?

Do you ban your family from using social media as well due to data collection?
https://lexfridman.com/ai/ This is one more AI but interesting guests
Yes -- sum types have historically not been present in imperative languages, whereas products types have essentially always been present. Imperative languages have correspondingly good support for various uses of product types, but even if sum types can be encoded, you generally can't abstract well over them due to the nonexistent language support for their use.

C does have unions, but you can't distinguish which field is safe to read without additional information. Discriminated unions are a design pattern built on top of the language feature to give a true sum type, but since they aren't core to the language, pattern matching still isn't a thing.

(Technically, "pattern matching" encompasses both dispatching on sums and destructuring assignment on products, and to be fair, not a lot of imperative languages have good support for the latter either. But many do!)
"Ask for more than what you want and then negotiate to some middle ground."

Very common practice in politics which serves both sides (assuming the most common 2 main parties context) as both of them can tell voters they accomplished part of their goal after hard fighting.
you can pick up VLAN capable switches for a couple of dollars more these days, and then completely isolate them from your network

(my Windows VLAN even has its own separate external IP)
Another thing: Windows 10 at some point removed the API for changing default URI and file handlers, so they would need to use private APIs for something like that (to be fair, APIs for automatically pinning icons to the Taskbar never existed in the first place, but all Chromium-based browsers do it anyway)
DCOM was also amazing, in how much surface area it exposed to the network. Random COM objects which were never intended to be called remotely, and were poorly secured, could be exposed by accident.

So in the infamous Windows XP SP2 (not a major release of the operating system, but a mere service pack), DCOM got locked down hard. If you have a legitimate use for DCOM (like an OPC-DA server), you have to toggle several obscure settings to make it work again (see https://www-bd.fnal.gov/controls/opc/Using_OPC_via_DCOM_with... for a fourteen-page tutorial).