skysight-inc/HackerNews huggingface dataset:
> problems with technical leadership

I've never been lucky enough to get a full-time Haskell job (nor did I try), so my experience is based on single-man development & prototyping using the existing stuff found on Hackage. I presume that it may be different for a huge organization that can afford to build the entire ecosystem from the ground up while enforcing design rules (and these rules must be created by an exceptionally brilliant architect!). But in other languages you don't have this situation.

> Many of us have also seen the C++ library or application that busts out the template metaprograms at every opportunity.

C++ and boost set standards a bit low, to be honest.

> Are your engineers running around implementing random research papers? This has nothing to do with Haskell.

Not research papers, just the usual business logic. The problem is that research papers set the code style. Also they are not "my engineers".

> In practice, this is almost never a big problem.

It typically is, because changing internal implementation is reflected in the interface, and for each invocation of the function change has to propagate through _the entire_ call stack to some place running in IO monad or whatever.

> almost all of your functions run in some monad already

You defy your own argument. If that's how you design application, what's the point of bothering with side effect isolation then?
The Dow is down over 800 points in two days: Here's what's happening
I haven't seen this on a page, but David Gelernter wrote about Lifestreams[1] in "Mechanical Beauty," which is a good read.

[1]: http://www.cs.yale.edu/homes/freeman/lifestreams.html
https://dune.fandom.com/wiki/Butlerian_Jihad

"The god of machine-logic was overthrown by the masses and a new concept was raised..."
You're right to an extent. I think that because of Halting problems, a number of useful properties computer could tell you about itself are limited, because they boil down to solving Halting problem.

However, one way to avoid such a problem was basically settling for less accurate, but still strict subproblems. I.e. Rust doesn't stop all race conditions but solves them for a subset of data races.

In other words you reject some valid programs (false positive?) in order to make sure all valid programs are really valid (false negative?).
With email deliverability the key factor is now domain name reputation and less ip.
Being in favor of Brexit a few years ago was defensible - I used to be a moderate Euroskeptic myself. Being in favor of this Brexit here now is exactly what you're talking about: it requires dismissing all the other viewpoints and possible problems, such as the Irish border and what happens to people from whom freedom of movement is removed.

"Smug complete dismissal of another's viewpoints" is exactly what the Tory government has done, and exactly why it's got into such a mess.
PostgreSQL has followed the current schedule of yearly major releases for about 10 year.
Cool game! Played till the end. Does this suppose family sharing? Would buy it instantly if it did
Similar to 厉害 in Chinese - it often translates as terrible, but mostly used to mean great.
How do you know he was lying instead of just, you know, wrong?
Server-Side Rendering: Adaptive React Components
Ex-Googler Has Built a $1.4B Business That Is Reinventing a $700B Industry
See also https://en.wikipedia.org/wiki/GIC_Private_Limited
No, that is not an explicit goal of Haskell. To prove otherwise, please quote from Haskell 2010 Language Report.
We use Connexion at work, which supports v3 now (though we haven't gotten around to updating it from 2 yet). If you use python/flask, I _highly_ recommend checking out Connexion: https://github.com/zalando/connexion
It's not like that at all, and cryptocurrency systems, as you so ably point out, are already tending towards centralisation.
So, I love me some ML-style languages, including Haskell, but I've also come to think that Rich Hickey is right about the real problems of business programming not being well solved by digging in on things like static typing.

For example, pattern matching against static types is cool, but, compared to pattern matching directly against data, Clojure-style, is even cooler. One makes the code a bit more concise and readable, but not necessarily a whole lot more maintainable. The other takes one of the more annoying and error-prone portions of my (say) Java code and renders it far more manageable.

There's a recent LispCast that talks about this a bit: https://lispcast.com/what-is-data-orientation/
Now I wonder if there's a general term for words that ought to be antonyms but are actually synonyms. An example would be flammable and inflammable.
Learning Neural Causal Models from Unknown Interventions
Okay, so, realistically, if the guy in the article wants a woman to be in the dark as to what his net worth is, he'd need to:

1. Use a fake name.

2. Create a fake story as to what he's been up to for the last five years professionally.

3. Get an ordinary apartment, car, clothes, etc. all for the purpose of appearing to have regular income.

4. Get his friends to support his fake name, fake life, fake career story, etc.

5. Get his family to support his fake name, fake life, fake career story, etc.

You don't think all that counts as lying?
Rust wouldn't fix these problems. They exist, at least some subset of them because the kernel needs to do low level concurrency and lock free algorithms. That's all unsafe code in Rust. So assuming you got the buy in and managed to scrape together enough engineering talent for a mammoth task, it wouldn't help much with these kinds of issues.
Well, "history is written by the victors", I suppose, but that doesn't make the masses who are "evolving" the language "right". Unless you think it's "right" for the ignorant to redefine words like "literally" and "nonplussed" to mean the exact opposite of their original meanings or to make "could of" a valid grammatical construct.
IPv6 only is a bit daft as yet because you'll need a 6 to 4 gateway of some sort to see much of the web/internets. For starters, this:

$ dig news.ycombinator.com AAAA

... fails

I have been running dual stack at home for around five years now with only a couple of wobbles that I can point at my ISP losing their IPv6 and not noticing for a while.
Npackd 1.25 is the next stable release or from the default repositories
The article contains clips of the "Ass" version. For those that want a link to the whole thing: https://www.youtube.com/watch?v=RAGcDi0DRtU
Sounds a lot like at-will employment (https://en.wikipedia.org/wiki/At-will_employment)
maybe if you got less angry, you wouldn't have spend so much time searching for forgiveness. The GP's comment opened with `I voted leave because I was dubious about the control the elected and unelected officials and secretaries in brussels had over British politics, `

I think it's a valid concern. Though not enough to sway my vote iff I'd remained but I was leaving the UK all by myself so it seemed unfair. But if all you can do is talk about how those who disagree with you do or don't deserve your forgiveness, then the fault is within you.
Well that would be the OCR. It’s doubtful they would waste a lot of resources going after a developer, unless they really thought he had done something. Usually they go after leadership.
This is only a beta release; final could still be a year away.....
Rust would have tradeoffs here, though. For example, in C# you'd be able to do (non-leaking) graphs and other structures in 100% safe code, while Rust would need unsafe.
TL;DR no, "shit" is.

I think I saw a comedian doing such a routine with the word "shit" before...
Can you share any of your toolchain and stack?
That's got to be offset by the increasing pension age?

Apparently accelerating the changes saved around £215bn (between 2011 and 2026).

https://www.bbc.co.uk/news/business-49917315
Compiled language CGI running on IIS. Unusual, but not that weird.

Probably an old setup, nowadays the .exe would be hidden with a rewrite rule and you would be none the wiser.
Wow, absolutely fantastic mate! So cool; a friend and I tried our hands at making a game in Unity called Galactic Putt a while back, with a similar riff, but sadly the physics got the best of us and we never finished. It is really inspiring to see someone with a one man team put out something so stellar. Keep up the good work!!!
I run a distributed system on AWS infrastructure. It's still distributed by all common usage of the word.
Can you explain what you mean with "It's destroyed the network functionality of mobile telecommunications"? Since I can think of exactly zero reasons one needs his handheld to be reachable from the Internet (that has not been long solved).
Yeah, but it's not like offering IPv6 prevents those rents, so why waste that money on NAT capacity if they can pocket it instead?
I tried mixing SVG and pixel perfect elements: http://fuse.rupy.se

It's really hard because it behaves differently with different aspect ratios.
If you generate a typical react app with create-react-app, you get ~1000 dependencies in node_modules:

`npx create-react-app some-app-name --typescript`

(it was actually exactly 1000 dependencies which is freaking me out because the number was so round. wondering if it am counting lines wrong `ls | wc -l`)
Sihanoukville you mean
I don't understand why it's such a high expectation that, in a situation where one party is unambiguously oppressing the other, to refrain from censoring the victimized party.

Why is that so strange?
Fixing races generally means stricter synchronization, which makes for slower code. The world is complex and there are always exceptions, but I'd expect performance to decrease.

Edit: it goes without saying, but it's much better to fix the race conditions, regardless of what it means for performance. Some people seem to think I'm advocating for not fixing them.
I'm the GP, on my work account. Yes. That is exactly what we do. It's horrifying.
Interesting. As a bilingual/fluent but not native English speaker 'piece of ass' always contained at least an element of beauty. not necessarily, but usually.
I can see it most clear nights, walking out my back door. But I live in rural Iowa.
Did you use voice-to-text to type this comment?
Just hide the nasty layers behind more facades or layers of abstraction. Please never reinvent the wheel, we need more layers, its better software design to reuse the old stuff.

/s
To clarify: REINDEX CONCURRENTLY is a new feature. Previously there were only DROP INDEX CONCURRENTLY and CREATE INDEX CONCURRENTLY, which meant that while you could first create a new index and then drop the old one renaming still required an exclusive lock (this is also fixed in 12), as did switching over all foreign keys to the new index. REINDEX CONCURRENTLY essentially does all this work for you in a single command while also making sure no reader or writer is locked out from the table.
Why wouldn’t this require just the info on the check (routing + account #), which everyone involved probably already had/needed to answer the query?
Are there any HN readers here that use MINIX or possibly another OS that does not have the Linux kernel? I'm not about to argue pros/cons but would like to see peoples' use cases; my own use cases have not necessitated using anything more complicated than Ubuntu, and quite happily so.

Still, I think from my interest point of view it would be interesting to not only understand the Linux kernel better, but also other OS design paradigms.
When I bought my apartment in Spain, I had to get a Cashier's check for both the deposit and the final purchase.

There's apparently still some utility in them in parts of Europe. When I challenged it (I had to pay 80 EUR for the check!) I was told that a bank transfer could be reversed or canceled, and that Cashier's checks prevent that from happening.

I don't see this situation changing until the banks get together with the central bank and create a unified escrow system to replace Cashier's checks.

As of now, they don't see the benefits of changing to a new system outweighing the costs.
For what real world reasons?
Many words or expressions basically get used as a proxy to carry intonation that has these meanings.

E.g most of the examples above fall in a small set of categories of expressing excitement, incredulity etc. where the carrying word is of less importance. E.g. you can express "cool" or incredulity with "dude", "mate", "fuck", "bro", "awesome", "neat", "man", and I'm sure many others by just layering the same intonation on them; not all intonations will "work" or carry the same meaning on the same set of words (e.g. expressing anger works fine with "fuck" or "bro" or "dude", but not really with "awesome" or "neat" unless you want to give off really confusing mixed emotions) or to the same groups of people, though, so it's certainly somewhat mediated by the meanings of the underlying word, but often surprisingly little.

There certainly are words that are more malleable that way, and words like dude and fuck are high on the list, perhaps because they as standalone expressions carry very little specific meaning in the word itself that can interfere with the intonation and expressed emotional content.
To clarify, it’s avoid “success at all costs.”

Rather than “avoid success” at all costs.

It’s a joke in the Haskell community that relates to the language’s early history and its ability to break things without much fuss. Things have settled down a lot more in the last few years, hence the shift in emphasis.
"I would interpret piece of ass as sex object, not beautiful."

Which would, well, ruin his landing. It works because it's close.
I’m not seeing that.

Besides which, let’s stop using the word “hate” to describe any critique of something we personally view favorably.
Psychologists break down the insecurities that fuel white supremacists
>I had at least a dozen projects in as many months started, reach a completed state, then canceled.

So what's it like working for Google?
Trump administration's war on science has hit 'crisis point', experts warn
Because the erroneous claim is that Google tracks users more on Android than on iOS and that you need to compile your own Android to stop it. Why are you rambling about websites? Compiling your own Android won't help you with that.
This all sounds so similar to my situation that it's scary... but I'm 40. Getting out is proving difficult because of age discrimination.
> show me what I need to know to do what I do

That's the only one occurrence I can find. I think the GGP made a good job of answering that.

I'm not going to walk over the differences as each of those would be a many hours task just for explaining.
WTF is your oncall person doing reading code at 4am? What state of mind do you expect this person to have at that time? What are they expected to do?

That's a huge red flag.

As for the rest.. I don't think the language was the problem at that team.
True, but that's not different from fingerprints. Fingerprints have collisions. That doesn't mean that it isn't a highly effective tool.
A couple of others that baffle this British English speaker:

- "I could care less" meaning "I couldn't care less"

- "Entrée" meaning a main dish rather than a starter
China laying tracks for 1,000km/h maglev trains
I only think that applies for accounts opened in the last 90 days and/or with limited assets. I have been a customer for years and have a substantial amount in my brokerage accounts with them and all my ACH transactions clear the next business day; rarely two business days.
> and I feel like at least one film.

"Dude, Where's My Car?"

Half the dialogue (ok, I'm probably exaggerating a little bit) is the word "dude". Often repeated many times in different intonations.
I'm a native speaker of American English. Ismo is not wrong. Referring to someone as a "piece of ass" is probably disrespectful or crude, but it absolutely means "holy crap is that person insanely attractive."
I was not expecting that audio to kick in, wish there had been a warning
What is the impact of the inline CTEs? I've found CTEs very useful for avoiding multi round trips for related modifications, although this is limited.
No one agrees what it means for a planet to be “habitable”
The release was scheduled and planned for quite some time.
Domain-driven event sourcing with Akka Typed
The interpreter also got many performance improvements under the hood.
In my view there's been a turnaround since the days when they were seen as money hungry monopolists. They're still a business that has to make money, but they're contributing to open source more, and they've released Visual Studio as effectively a free developer tool now with their Community Edition.
Slightly off topic..anyone else took a few minutes to figure out how the website navigation really works? I mean you need to move right to see continuation of a single video ?!

Not sure which ass dictionary this will fit in
Thanks for the insight. Does the current regime like to draw on these historical periods to foment partriotism / nationalism?

I am planning to visit Iran someday (Shiraz, Damavand and Ifshahan)
Now you have 2 problems.
Robinhood et. al. can't hold a candle to the breadth and depth of what the others offer. I will concede the simple interface is very easy for complete amateurs to get started.
"brakes make my car slower, so I'd expect my average velocity to decrease if you fixed them"
Perhaps the microkernel is free of race conditions. But now you've introduced a zoo of interacting processes (drivers, servers, etc.) and with that a new class of race condition in their interactions, which may or may not be harder to debug than what you started out with.
Is that relevant to the conversation?
I really used to think like this. I thought there was a "proper" way to use words and evolution of language by the "uneducated masses" was a bad thing and they were "ignorant" for not sticking with dictionary definitions. I was insufferable.
What's the difference between 'business programming' and other types of programming? I don't really know what distinction people are trying to make here.
The server that commands the zombies has to run from somewhere. So it's likely the host was used as the Command and Control hub.
You have hardly backed anything up, I don't see any links in your original post. From my perspective, your thoughts are as anecdotal of that of the other poster.
At What Point Does Malfeasance Become Fraud?
How would you feel if Apple brought the same philosophy of iOS to macOS (assuming you use mac)?

Can't install anything they don't pre-approve, either from DMG or Brew or whatever, only from the Mac App Store.

I don't know if it's just me and the people i work with, but we think the Mac App Store is fucking useless, to the point we actively go out of our way to download Xcode through other means.

I for one would not be happy with only being able to install apps through the Mac App Store, and I don't see why iOS should be treated any differently.
I am located in India. Is any SDE-1/2 role available?
Tim Sweeney would disagree with you. Though I'm usually critical of his views, but this is one I'm in support of. You use gaming consoles to do fairly specific things: mostly play games and possibly watch movies. And you can view consoles as having a subset of features of a general computing device such as PC or Mac. Developers who can distribute apps on consoles are generally only going to deploy games.

Now, modern smart phones are considered as general-purpose computing devices. And because they are placed in this category (and rightly so for their capability in both hardware and OS), a lot of people are going to expect freeform app distribution.

> If you have some burning desire to hack the hardware, get a dev account and you can lode arbitrary code. Or just buy a different phone.

You see, sometimes it's not just about the end-users. Developers cannot distribute apps to the general public on iOS without going through the App Store. Yes App Store adds friction to the app distribution process and that can prevent some malicious apps, but that's about it. Does it really lead to higher quality apps? Well no, just look at all the garbage apps on there. Quality of the store is always a balancing act; it has nothing to do with being a monolithic walled garden.

And all this comes with severe limitations. Localized developers are forced to conform to a suite of rules and guidelines placed by Apple for a global audience. Developers are forced to use monetization models (and has no say in the revenue split) provided by Apple. If devs can distribute apps freely or choose another app store just like they can on Android devices, I can't say for sure whether the end-user experience or security will be higher or lower, but developers will certainly have more freedom and enjoy it more.
Yes, sex objects are typically superficially attractive.

Unless you have some weird fetish, you probably aren't looking for ugly people you barely know to use in bed and discard like they don't matter.

The difference being no one wanders through a garden or museum saying "Those flowers are a piece of ass!" or "That painting is a piece of ass!" to mean "These completely nonsexual objects are amazingly beautiful."

Beautiful women get treated as nothing but sex objects. That doesn't mean euphemisms for "I'd hit that!" are equally synonyms for "That's got incredible visual appeal."

Try explaining to your boss that a website layout is good design in part because "It's a piece of ass!" and see how well that goes.
> The gender theorists will have their own internal world with a lot of nuance, but the stuff that is leaking out into law and corporate diversity initiatives looks a lot more like true gender blindness. The logical flip side of that, it is quite hard to construct a positive masculine role model.

Gender blindness in formal institutions does not prevent positive gendered role models.

Nor, even, does abandoning the social enforcement of gender stereotypes outside of formal institutions. Insofar as there are healthy expressions of classic gender images, producing examples of them does not require formal or informal social institutions to enforce classic gender roles or impose gender bias inspired by those roles.
You don't need unsafe. This point is brought up a lot, though I understand where the misunderstanding can come from.

Rust is perfectly capable of expressing graphs with zero unsafe code, just currently not in the most optimum implementation.
Sure, it's complicated, but has anyone looked at all the definitions for the words 'take' or 'get'? Both have more than 100 definitions each.
The faux-pas is not entirely restricted to cockney pronunciation; here is an example of another UK comedian, Michael McIntyre taking the piss out of TV chef Gino D'ACampo's (Italian) mockney version: https://www.youtube.com/watch?v=wCJnO8rzXP0
Exactly. The FTPA has been a disaster here. What should have happened was May's deal being a confidence vote back in March, so either it would have passed or we'd have had a fresh election.
I would be interested in hearing counterarguments to this!
You are free to use a Map in Haskell whenever it suits you. Nothing requires to to use ADTs when it would not make sense to do so.
> it's not really doing anything

"fuck" is fascinating in part because it doesn't mean much beyond amplification. It's pure emotion
> In any decent organisation

Yes, and in my physics classes I learned a lot about spherical, frictionless cows in a perfect vacuum.

In the real world, the shape of cows is not a sphere, nor even a closed-form equation. And real organization care about blame, and as the saying goes, shit rolls downhill.
I'm curious if there's anything to back up the use of profanity correlation to one's level of education.
Tool for building Social Network applications by running one command