skysight-inc/HackerNews huggingface dataset:
Some languages have frameworks with monads, currying, higher order functions, and other stuff that only makes sense if you have immersed yourself in functional programming, geeked out on type theory, etc. Been there done that ... 25 years ago.

Since then, I've learned that other languages exist that are often dismissed as impure, not worthy, etc. that take the more useful functional programming concepts and implement them in a straightforward / pragmatic way that can be explained without using a lot of big words to solve real problems. Functional programming has gone mainstream about 10-20 years ago when javascript, Go, Rust and a few more recent other things took off. Most of the popular languages today borrow heavily from features that used to be associated with functional programming or have gradually acquired such features (e.g. Java, python).

Side effects and state are topics that you have to worry about when doing asynchronous stuff. Like most Frontend and modern server side developers would need to deal with. The most popular languages for this are not pure functional languages. But they do tend to have lambda functions, reactive frameworks, functions, etc. that can be passed around as values, async await, coroutines, etc. Maybe, Optional, Result and other/similar constructs. But the word monad is not something you'd find in their documentation even though of course they kind of are there lurking in the background.

My simplistic interpretation of monads is "dealing with side effects by using functions". Useful when doing IO, dealing with error responses, and a few other things that break the leaky abstraction of "everything is a function". Not that big of a deal generally unless you make it one.
Or maybe CNLabelContactRelation表妹 ?
> Price is not the only thing that matters

Price matters when all of your other advantages have been eroded away.

> I know why; I was there! (first AWS employee in EU, 2008, stayed there until 2014).

Btw, another of your claim-to-fame is that the current Amazon CEO follows you on twitter, one among the 300 odd accounts :)
Well, now I don't know why you are being downvoted. Here, have a compensatory uppie. dang says that's part of being a good citizen around here.

Edit: re fanfiction. I honestly have no idea what you mean. Fanfiction? Who else do you think has more accurate and objective accounts of ancient history than ancient historians? Do you think modern historians have some kind of crystal ball that they can look through the mists of time and see with clear eyes the things that happened 2000 years ago?

Ancient historians were not very accurate or even honest, or objective. What better sources are there? You really think that an internet rant is a better source for historical knowledge than ancient authors? I mean, if you really think so I am really going to bang my head on the wall very, very hard in complete despair. This is the internet?
> This is not to say Agile itself is bad - it takes effort and skill to use it effectively but managers seem to be taking the easy way out to create a factory line kind of setup where random requirements keep getting thrown and every two weeks you are supposed to roll out _a_ solution.

Scrum has outmarketed "Agile", and swallowed it up wholesale. Agile was about putting people before process, Scrum is all process, no-wonder the people feel downtrodden.
The difference between baseball cards and NFTs is that if I'm cold I can make a bonfire from baseball cards, whereas I certainly can't do the same with NFTs.

At this point, of you say crypto is involved with some new fad it's just a clear indicator that silicon snake oil is the real product.
I disagree. A critical mass of completely disenfranchised people will always topple any ruling class. Even in the depth of any bunker.

Fleeing the planet might work, but that is still out of reach.

Aside from that todays robots still tend to disappoint. Chatbots are the most impressive thing overall.
I don't think types really came from a natural way of structuring logic but the work of epistemology, devloped mainly in rationalism and Kant, for Frege I think we can find the idea of types already at work in his main epistemological distinction between sense and meaning.
Redditors are right about the unfairness of the market
I appreciate the effort that goes into articles like this, but they always seem to be based on the unproven hypotheses of the author. I'd appreciate more it if authors would reach out to the community via, say, LinkedIn and survey developers on their seniority and reasons for resigning, then building an article around those results.
As a consumer I paid my ISP to carry say 50 Gb/s of data. They took my money on the understanding it's their job to carry that data for me. If I only wanted to browse text I wouldn't be paying for 50Gb/s. What did they think I was going to do?
> (it's generally used as a condiment for a roast dinner with beef, used sparingly)

I'd suggest that horseradish sauce is more commonly associated with a roast beef dinner, but English mustard is certainly acceptable. However, it reigns supreme with cold cuts of ham. Also, I consider English mustard to be essential in a bacon sandwich. Just good white bread, good butter, grilled (preferably smoked) bacon and a good spread of mustard. Simple but stunning.
Disruption happens at the low-end of the market, by definition.
But bandwidth is really cheap and this problem doesn't exist anywhere else. Worst case the ISP can increase their rates by a couple of dollars and improve their cables.
Tips When Working on Millions-Users Mobile App
It totally would, and it would also require an insight into how (in this case) Beethoven found new ways of expression, even though he already could draw on so many. In other words, it would require strong AI, and then particular knowledge about Beethoven's thought processes, in detail.
Facebook often gets its hate due to its political nature of spreading news. But I think Twitter is far worst in these type of social issues where interaction are more "personal".
Related: https://magazine.newstatesman.com/2021/09/29/the-spirit-of-t...
You're right, but for me as a customer it doesn't matter. I can choose from two geographical locations and cannot use both at once with one account. So there's no option to get data close to my users.
https://archive.is/I12y3
Two questions: 1. How do we see this detail about permits, such as for example that Cruise are permitted to have "nobody in the car" while Waymo are required to have "human safety driver behind the wheel at all times") ?

2. Where are Cruise's testimonials etc. for the presumably successful San Francisco non-commercial testing of this "fully driverless, nobody in the car" system you now have commercial deployment for?
Yep.

It's even more impressive how the average HN reader can't even comprehend this comment (or can, but somehow manages to insist on their wrong, socialist views) and continues to argue in favor of "network neutrality", even though no two users or service providers are the same.

If Netflix should pay $10 mil a month to Korea's Internet providers, why not HN? If HN should pay less than Netflix, why should the user who only visits HN pay the same Internet access fee as the one who constantly watches Netflix?
Which countries do you think have no slavery in their history?
On a mobile connection you generally have a data cap, and you can switch to a more expensive plan for a higher cap. That's the same thing as paying for bandwidth, just that you are buying in bulk with pre-commitment.

To get significant damage as a single individual, take someone on a traditional satellite connection who can't get some important work done on time because ads put him above his data cap.
> That profile pic? Anyone can use that, whether or not they own the NFT or not.

Currently yes, but that's a fixable problem.

For instance Twitter could start preventing users from having profile pics that look similar to NFTs that were minted earlier.
To be honest, just dealing with this once can make you remember it for eternity.

For example, I know that if I want to declare a computer peripheral to the customs, there is a good chance to get the correct TARIC code in the chapter that literally starts with "Nuclear reactors"...
Correct we have netflix, google and akamai caches in our datacenter. A very large chunk of our total traffic goes through these racks.
A lot of commentors here are defending that netflix shouldn't pay data charges.

I don't know how internet prices works for big players, but from the perspective of a little guy, it seems kinda reasonable that netlflix pay, doesn't it?

I mean, why am I paying for bandwidth on AWS? Shouldn't that be paid for by the downloading party?

If I download something from my neighbors computer over a p2p app, then we both still pay for our internet connection, and depending on the contract, we pay by the byte.
You only need one mustard in your life. And the most excellent thing is that mustard is in fact two mustards with a slightly-spicy rivalry:

https://www.eater.com/2017/7/7/15926148/cleveland-brown-must...
Similar to how IE was used in Windows to download some other browser. That makes something like Firefox the most searched first item on IE.
Same, I find this joke to be inappropriate in professional settings. May be it doesn’t offend anyone or may be it does, you never know.
That's interesting, I suppose there are quite a few older machines floating about.
Thanks! Fixed once CI is done building and deploying :)
Well done! This is the project I've been trying to build in my spare time, and you have beat me to it!

I would also favour seeing a hn-theme that preserved the colours and fonts :)
> If a mathematical statement has no proof within ZFC we (usually) don’t call it a “truth”, regardless of if it is true or not.

This depends on your formalism for logic. Intuitionist logic merges the meaning of "true" and "has a proof" but classical logic does not have any problem with having a thing be called "true" while also not being provable.
Exactly this. To say that Netflix is generating traffic pointed at SK broadband would not be fair. Those TCP connections are initiated by the end user. Without the user requests there would be no traffic.

So the philosophical question really becomes, what exactly is the end user buying from their ISP?
That does not teach me how this works, what compiles what, how, where etc.

I use dynamic .so/.dll hot-deploy, which can reload native code in microseconds without disturbing state.

My game can render 600 non-instanced skin meshed characters on a 10W Jetson Nano.
It has never been "censorship is bad"; it has always been "government censorship is bad"

Never has a private newspaper been required to publish every comment or opinion that they receive despite its inaccuracy or obscenity.
You have... 50 Gb/s in your area?!
> maybe if you push a lot of data

That's leads to a pretty simple conclusion, because Netflix doesn't push any data. I pull data from Netflix. I have already paid my ISP to pull data from anywhere I ask. If my ISP sits down at a negotiating table with Netflix and threatens to disrupt that, they should be laughed out of the room. "Pay me, or else I'm going to break my obligations to an unrelated third party." isn't a move that should have any respect.
With the way that the realm of what is socially acceptable to say has been shifting so constantly in recent years, the only way someone who is not terminally online could be sure to avoid offending someone would be to become a mind reader, or to not say anything at all.

There is also the fact that in this modern social climate, victimhood has become a valuable currency. There is incentive for people take offense where none could reasonably be presumed to have been given, and to blow minor transgressions out of proportion.

“When victimhood becomes currency, there are bound to be counterfeiters.“
> just like happened every other time in history a single government took over an entire area.

Not sure why you think this, because, if anything, the opposite is true. Scientific and technical progress almost always arise from stable, wealthy, large societies. The Chinese empire was a leader of science theoughput much of its history. The Roman empire as well. The Arab Caliphates became bastions of science once it had conquered enough to have a massive stable area. The USA became a massive source of innovation after it had settled it's half of the continent.

The only major exception I know of for scientific progress in times of war (that is not simply weapons advancement) is the wake of WWII.
Jeff Bezos' Blue Origin: Allegations of safety issues at company
I bet there is fine print that says they are delivering exactly according to the contract
I didn't have a blog until about 2015. Most of the work I've gotten happened before I had a site or created courses. Prior to that I had no background in writing or making videos. I decided to try those approaches on a whim. It literally started with "I wonder what would happen if...", and then I started working on it the next day but neither are necessary to find leads.

I've outlined how I started freelancing (pre-blog / courses) here: https://nickjanetakis.com/blog/how-to-start-a-successful-fre...

Everything there still applies today except for going to physical meetups because of Covid. You are right tho, you won't be able to sit in a locked room because no one will find you. You need to do something to make businesses aware of you and there's lots of options based on what you're comfortable doing. Eventually you can get to a "in Soviet Russia, job finds you" world where you sit back while picking and choosing the contracts you want to take on but it will take a good amount of effort to get there, but you can still be successful doing freelance work waaaay before that happens.
When an NFT project proposes a value share and airdrops amongst token owners, and also has a royalty fee paid on every transfer [1], I think the “up line” and MLM aspect come more into play. There is value for you to inflate the price of the NFT as it benefits you and the other owners directly as sale prices get higher.

[1] https://support.opensea.io/hc/en-us/articles/1500009575482-H...
Squamish Nation moves Vancouver forward with transformative Senakw project
I think this may depend a lot in which European country. UK is absolutely filled with self deprecating humour no matter your race or sex.

I am currently at an hotel with an international audience and was part of the daily 'show' a couple days ago. I made the entire audience laugh when I joked about not knowing how to sexually satisfy a woman (I am a white man if it helps).

Think it depends a lot on the general tone. Are women targeted for sexist jokes as much as men and the jokes are free for all? Probably ok. If 95% of the sexist jokes are about women, probably not ok.

But for example, I found that a lot of Eastern European men make sexists jokes that are mean and at the same time, can't take the smallest joke about themselves (or worse, their own sexuality).

Context and culture matters.
MTG is kind the original lootbox, but I guess at least there is a reasonably good game behind it.

I dumped my MTG in the early 2000s, these days I'll only buy into a card game using the LCG/ECG model. It's not necessarily cheaper but it is less scummy.
I actually have an especially weird but related case in my family.

My sister married someone whose surname is the same as my mother's maiden name. His mother's maiden name is the same as my surname.

One of our parents' first meetings was to get together and make sure they weren't related...

But in particular: how do you distinguish between second cousins in that case? (The term in question isn't limited to first cousins, after all)
Intel Rolls Out New Loihi 2 Neuromorphic Chip – Built on Early Intel 4 Process
You're the first person to tell me accreditation or clearances are a negative, but maybe we apply for different jobs. I'm going to continue to believe the opposite until you show some evidence.
How is that so? Politicians have a way to destroy/privatize public service whether it's self-funded or not, just like they destroy/ban private associations doing too much of a job for social justice (such as armed bands expropriating the bourgeoisie to feed popular districts, which was common throughout the 60-80s).

Famously, french social security (healthcare), unemployment and pensions are more or less self-funded (they all have their own line/column on taxes papers), yet the previous 3-5 governments have been relentlessly reforming those essential public services in order to render them useless. It's also important to note that in most instances of such reforms, the government will point out some money is missing to fund the service, which :

- is only partially true, as insane amounts are spent for their disserving bureaucracies, managerial class, and control apparatus, all of which we would do better without

- is still partially true, but benefits fraud represents in all cases less than 1% of participation fraud, where the biggest companies are the ones evading to pay their dues... so if law enforcement were to crack down on big corporations fraud instead of political dissent, the problem would be solved very easily
There were C and Pascal compilers in the $50 - $60 price range for the C64, but they were often time consuming to use. The process of editing a source file, saving it, loading a compiler, compiling it to find errors, then re-loading the editor was tedious with a stock 1541 disk drive. ( Some editors had syntax-checkers built in to avoid having to exit the editor to find simple mistakes ... others used the BASIC editor to enter source with BASIC line-numbers. )

For me, tinkering with Forth on a C64 was attractive because I could interact quickly with the compiler, getting immediate feedback when I was toying with different concepts.
No argument from me. I just saw a tiny bit of logic behind another model of balancing the costs. The ISP would still have to upgrade the infrastructure in the end (although my model could lead to e.g. Netflix buying up ISPs).
A distinction was certainly made between free citizens of Sparta and their slaves! Just to be perfectly clear, I don't disagree with that.

What I point out is that this distinction was not made by using different words that both meant "inhabitant of Sparta", in particular not "Spartiate" and "Spartan". As far as I can tell, the slaves of Sparta were only known as "helots".

The general point is that the ancients didn't think of the slaves living in a city as "citi-z-ens" of that city, probably because they were not actually citizens, in the legal sense, according to the laws of the era. For example, you will find no ancient source, and I believe no modern source either, calling the slaves living in Athens, "Athenians". They were the Athenians' slaves, they lived and worked in Athens, but they were not "Athenians".

This is not completely unlike modern times. For example, I live and work in the UK, but I'm by no means "British" and nobody would refer to me and others like me as "British", simply because we live and work in Britain. Rather, "British" is reserved for, well, citizens of the United Kingdom. The rest of us that have the malfortune to be domiciled on the British Isles are "immigrants" (or "bloody foreigners"), in any case there are different words, with different roots, to describe us.

I'm happy to clarify this further if there is still confusion. I blame the author of the blog posts for the confusion, btw.
As far as I remember, in the bigger cities in Germany farebox recovery ratios are usually somewhere in the 30 to 80 % range, in some cases even higher. (According to https://www.vdv.de/vdv-statistik-2019.pdfx#page=35, the average might actually be around 75 %, it seems.)

So completely abolishing fares would mean a considerable, definitively non-trivial increase in spending requirements on public transport for cities – and if you're seriously prepared to spend that much money (or create some sort of additional tax to raise that money, or whatever), I'd rather prioritise spending it on service improvements first, because even in big cities there are enough examples of service offerings that are only borderline attractive.

They actually did some (admittedly smaller-scale) experiments in that direction recently, and as I understood it, the takeaway was that service improvements were indeed somewhat more effective in generating additional passengers than lower fares.
I don't know why you've been downvoted, but anyone that has seen how laws have been selectively enforced since whenever should be able to easily see how this is the case as well. It's the "everyone is guilty of breaking some law" principle, but applied to what is currently considered fashionable good behavior. It's a different kind of slippery slope and we'll know it when the wrong kind of people get into positions where they can enforce these to suit their needs rather than protecting marginalized communities.

But speaking out against that will be seen as the same thing as an attack on marginalized, so most folks will either be quiet or move on, and these power-hungry folks will get to keep their fiefdoms.
I like this idea when distilled a bit:

"No ideology allowed."

I'm just going to dismiss the second paragraph about angrily finger-pointing at an ambiguous political alignment, "them".

You could replace "left" with "right|antifa|fascists|deep state|elite", or "toxic" with "unconstitutional|dangerous|radical", and that text wouldn't make any more sense.

We need less polarization, thank you.
Agree to this. Daily standups are the bane of many people's existence.
Sadly enough, this URL is not accessible if you set your user-agent to the empty string.
In the fine article, he says that freedom and democracy are at odds. This rather bizarre conception of freedom is, I'm sure, the same thought that propelled him to f(o)und that well-know force for liberation of the common man, Palantir Technologies.

(There is, obviously, no real freedom for anyone without participation in the distribution of power, i.e. democracy.)
I'm an amateur generative artist who just started minting on hic et nunc a month ago. I'm extremely sceptical and even disgusted by the big money NFTs, but minting and collecting on H=N has been a lot of fun, there is a very nice community as well.

Selling my art for ~real money for the first time has been such a motivating experience, even knowing that we are in a strong mania phase now. So I can say that I care too!

One thing to note is that hic et nunc is ran by one guy who doesn't really like to communicate and doesn't believe in paying for stuff like devops work, so I'm not sure if this will be the one site to survive on tezos. The community will eventually decide over time.
As someone who actually grew up in a village of 1000 people I find this nostalgia a typical product of the imagination of people who never actually tried living outside of the city, and are therefore free to imagine it as beautiful or horrible as they want without nuance getting in the way. As for myself I like to visit my family for even a week or two, but I sure don't miss living in a village.

Also, every year there are a few people who actually try to move to the village I am from. Most of them sell their house again within a few years because they don't understand that living in the countryside sucks if you're not trying to be part of the local community, and if you move in acting like you're better than the locals that's not going to happen.
Which is to say, a competent manager of developers doesn't need someone to hand him a textbook that denotes how to organize a development project, and people who do replace their own void in competence with meetings and reports?
woke

adjective, Slang.(often used in the phrase stay woke)
having or marked by an active awareness of systemic injustices and prejudices, especially those related to civil and human rights.

You seem nice.