skysight-inc/HackerNews huggingface dataset:
Great points here. I hear a lot of about a lot of DB's especially the new kids on the block but unless I see how they behave once you got a few TB of data in them I cannot even contemplate using them in production. Things like schema changes, backup/restore, latency, fault tolerance etc are very important to leave to chance and believe the initial marketing.
Oops there's a mistake there; there's supposed to be just one `@` symbol!
Funny you mention that. In an earlier comment, I shared a link to the website of Tom Mahood, an engineer/Area-51 observer. Mahood had a theory that the lights seen over Area 51—moving in ways no known craft could maneuver—were, essentially, artificial ball lightning.

I don’t think my scientific credentials are sufficient to critique this idea, especially in regards to what happened here. As far as a lot of those other reports describing supernaturally fast and maneuverable craft, however, the idea that this is a non-physical object of some sort sounds plausible to me in a way that theories about extraterrestrial technology generally don’t.

https://www.otherhand.org/home-page/area-51-and-other-strang...
Good point, I agree. But you must learn it to get anything done. Grappling with IO + monad + do-notation all at once is hard!

I once spent a day thinking I had misunderstood something fundamental, but really I just had an errant tab instead of a space.
I've been fine using a dining chair at home too. I don't feel much difference between my office chair at work and my wooden dining chair at home. I'm a runner too, for reference.

Maybe sitting in less comfortable chair is better than a comfortable one over long periods because you adjust your posture more. I personally haven't noticed this but maybe I do it unconsciously.
The article is about consumer hard drives, but I guess if you have an infinite budget and access to any hardware you want there's no point at looking at hard drives.

If we take my case at home, I would need about 30 TB of total capacity to be at ease. Let's disregard my previous comment about backups of backups and go for "just" 60 TB total capacity.

Where I live I can only reliably source 14 TB hard disks at €400 a piece and 4 TB SATA SSDs for €550 (I didn't look at NVME since the number of ports possible on one machine is too small).

So I would need 5 disks for 2000€ or 15 SSDs for 8250€.
Almost any motherboard comes with 6 SATA ports but for the SSDs I would need to add at least one PCI Express raid card to get more SATA ports.

FWIW I could buy the cheapest new car available in France for the same price as the SSDs (Dacia Sandero base model).
would a free (or low cost) tier on a limited number of nodes be something you'd consider for a database product ?
Huh... had some of those in school and they were fine for me. There were left handed versions available.
Agree! “Gamification” is just the most informed, popular form of experience design.

If we approached every challenge with “how do we design experience that builds on and supplements user motivation?” We’d leap forward as a species.
Ubisoft Faces Backlash over Clearly Fascist Tom Clancy's Elite Squad Intro
I very much agree with your general hope, and I also worry about bringing children into this world, though I haven't yet.

I'm not as hopeful for technological solutions to societal ills, though -- it seems to me that most problems are matters of historic and current national/global philosophies (as instantiated by norms of personal action), ie the problem really just has to do with how we are as a species, and technology in and of itself can't breed the empathy and unity of purpose (for the progress of human knowledge and standard of life, the stewardship of our planet, the continual growth of our species' sphere of concern to hopefully come to recognize all of our universe for the real wonder and treasure that it is) as would be necessary for the real flourishing of our world. Of course, technology could be useful for this, provided it did in fact disseminate such ideas. But these ideas run counter to those most easily spread (hate, fear, etc) and so (as it stands) the infrastructure of the internet allows the latter to spread more easily than the former. I guess (after all this ramble) that I hope that technology in the future can be built with these goals of universal progress in mind, and that such ideas can spread to their users. But such a thing must be done intentionally, as otherwise technology often has the opposite effect.
Here, from the article:

"That same day, she shared a separate post suggesting that Michelle Obama is secretly a man. Someone responded with skepticism: “I am still not convinced. She shows and acts evil, but a man?” Shock’s reply: “Research it.” There was a post claiming that Representative Adam Schiff had raped the body of a dead boy at the Chateau Marmont, in Los Angeles"

What research should I do here? So many "claims" from QAnon look exactly like this, and it looks like random garbage. There is nothing to "research" here because it is impossible to research all this BS. But apparently I am a "sheep" unless I prove Michelle Obama is a woman? Or any other insane claim they make up regularly every day?

Sorry, no, QAnon is garbage. No need to "research it" to know that.
They don't really fall under the F/OSS software theme though.

If it weren't Tux themed I would agree.
I have had a few email conversations with Dan. Every time I feel great afterwards (even though I had broken a rule with Show HN). He is empathetic, but still fair/consistent.

You all are doing a fantastic job :)
I've run it on a Pi2. Pi4 should be fantastic.
Simple. Their ip addresses of their client/guest-servers are whitelisted in the SPF records.
So anyone can impersonate them.

Not 100% sure if that was the case now, as I can't find the email anymore, but I've been getting them from both sendgrid and mailgun.

Mailgun's SPF (was at least):

v=spf1 include:spf1.mailgun.org include:spf2.mailgun.org include:_spf.google.com include:aspmx.pardot.com include:mail.zendesk.com include:spf.mailjet.com ~all

spf1.mailgun.org: v=spf1 ip4:104.130.122.0/23 ip4:146.20.112.0/26 ip4:141.193.32.0/23 ip4:161.38.192.0/20 ~all

v=spf1 ip4:209.61.151.0/24 ip4:166.78.68.0/22 ip4:198.61.254.0/23 ip4:192.237.158.0/23 ip4:23.253.182.0/23 ip4:104.130.96.0/28 ip4:146.20.113.0/24 ip4:146.20.191.0/24 ip4:159.135.224.0/20 ip4:69.72.32.0/20 ~all

In the mailgun case I received mails from for example 198.61.254.24 with from: invoice@mailgun.com

This is actually part of a bigger issue, where lots of people use the same email service to send out emails. In theory that should work with gmail or office365, but iirc gmail forces your from sometimes, and google+ms probably thought about this, right? ;)
Wow, enslaving millions...
Discussion from two days ago: https://news.ycombinator.com/item?id=24293421
TCP takes 3-4 seconds to detect a dropped packet and retransmit. That puts an absolute minimum baseline of 5 seconds on timeout just to be able to send or receive a packet.

If you're doing anything across datacenters, you have to take a minimum baseline of 10 - 15 seconds to account for extra latency on top.

If you do billions of requests/s I bet you don't care that requests fail? You probably can't even see that requests are failing because you'd have no logging, too expensive at this scale.

I do financial systems, most load typically doesn't go above 1k/s, but every request matters because a dropped request is a dropped payment, possibly tens of millions of dollars lost! There is a ton of issues caused by having too low timeouts set by developers (anything below 30 seconds). I had to reconfigure a ton of systems and libraries to have higher timeouts and ignore configuration passed by developers.
> take advantage of bursts of motivation

I understand this but most of the time I am excited about that new awesome idea that popped into my head. How do you focus on one thing without getting deviated?
A monad really is just a wrapper around a value, with flatMap and return.

For some kinds of monads, like maybe, that’s all you need.

But, some other kinds of monads need more logic. List is one, IO is another.

In OOP language, sometimes all you need is the parent class. But sometimes you need to extend the parent and add more.
+1-anecdata: 2013 Leaf 100K Km aka 100megameters, down one of the 12 bars on battery life. I do follow the 'charge to 80% rule' quite rigoursly
How Does Programming Burn You Out?
nice feature!
how did this turn into a discussion on the merits of vending machines? you can recycle things without vending machines.
A semi-related question; what is the current 'correct way' to package up Python projects and all their dependencies as native executables for Windows/OSX/Linux? I haven't done any desktop Python since 2.5 and then it was a fiddly process of 'freezing' exe's, is that still the recommended way with Python 3?
And now FB discovers the downsides of low credibility; even if they had a good faith argument to make, few will trust them as the messenger.
What you say is correct, but let me try and explain a little further. The Haskell function `getChar` is used to get a character from stdin. It has the type `IO Char` and is a totally, 100% pure. In fact, it isn't even a function, it's just a value.

You can write `getChar` as many times as you want, and you will get the same result every time, and it will have nothing to do with whatever character is being sent to stdin. Instead, what you will get is an instruction, saying "please get a character from stdin".

What the IO monad allows you to do is to compose instructions together. For example, you could write `getChar >> getChar". This makes a new instruction that says "please get a character from stdin, discard it, then get a character from stdin". The `>>` operator means "follow the instruction on the left, discard the result, then do the instruction on the right".

Your entire program is made by composing instructions like this, into one new huge instruction that specifies your entire program's behaviour. You assign that to the special name `main`. At runtime, the instruction is executed.

The only bit of compiler magic that's necessary is the code for interpreting the instructions and actually executing them. In theory, although haskell doesn't let you do this, you could write `getChar` yourself, and just return the same thing that `getChar` does, and it would behave identically.

This I feel is the simplest explanation for why monads are necessary in Haskell. They allow you to conveniently specify what you want your program to do, using only pure functions and values. Why do you want all values to be pure? Many don't because it's kind of a pain, but Haskell kind of exists to see if a lazy, pure functional language can be fun to use and many find that it is. Hope this helps someone!
Trust me, it's not that impressive if you want to use it in your dozens of machines cluster...
The appropriate brightness for programming or browsing the web isn't the same as for gaming or watching movies. Samsung monitors have a dedicated button for cycling through brightness profiles. DDC/CI control is even better.
What if you need to access 5 resources in a row, any of which can throw exceptions? A monad centralizes the repeated logic in its flatMap function.
It’s not that different from any other country. Only a small fraction of people from any country cares about what’s actually going on in the intersection of politics and the internet.
what is the purpose of this article? is this relevant to something other than the current "Bill Gates invented coronavirus" conspiracy nonsense?
> Gaming consoles are not general-purpose computers they are specialized for gaming

One could say that mobile devices are not general-purpose computers, they are specialized for casual content creation and consumption.
I was under the impression that individual servers should be fine as long as their ip isn't on a recognized blacklist and they use free things like SPF and DMARC - is that not true?
> It's not uncommon for new grad SWEs to complain that an 8-hour work day is somehow consuming 100% of their weekday hours

I've been complaining like that when I've been spending around 3h on commute per day

Remote is life changer

On the other hand I've been commuting by public transport, so I had a lot of time to read books :P
suggestions that one might need to understand category theory and similar such nonsense

It’s definitely unnecessary to understand category theory to work with monads. What is helpful, however, is having some comfort with math.

What does that mean exactly? It’s a level of comfort in working with definitions, properties, operations, special elements, proofs. People can get so frustrated because they think they don’t understand what a monad is. Like they want to hold it in their hand the way they would an apple or a tennis ball.

When you’re comfortable with math you kind of lose that need to think about an object concretely. You start to only care about the definitions, properties, axioms, laws, theorems, etc that concern a particular object. Then you just play around with a few examples and see the implications of these things. That’s all there is to it. The power comes from the abstraction. It can take time to become comfortable with abstract concepts though.
Yea there seems to be some thing of a positive feedback loop that one can get into. I’ve experienced this multiple times too. When I had a boring and easy job I had all sorts of aspirations of doing a side business or learning some new stuff etc. I ended up doing none of that and mostly playing games instead. When I had a busy (but interesting) job I ended up doing side projects, socializing a lot more and generally being more productive outside of work. Something like momentum from one activity carrying through to others.
Yes, definitely. I feel this way as well. It's not ridiculous at all. Forced withdrawal is the only way to begin recovery and get back sensitivity.

People are extremely scared of the word "addiction" though. I feel the same way about sugar and basically all carbohydrates at all and it's very challenging to talk about.
Is a 2.2% increase “dramatic”? Is it even statistically significant?
hey, try ClickMonitorDDC: https://clickmonitorddc.bplaced.net/

It allows you to change brightness, contrast (and volume, never tried it), from the taskbar.

It works for a Dell and iiyama monitor I own, but not my Agon one, so YMMV
This is awesome and long overdue. Providing a simple way to go directly from an HTTP endpoint to SQS, Event Bridge or Kinesis makes it much easier to build more robust webhooks or tracking endpoints.

I have tried doing similar things in the past,using API Gateway and SQS without Lambda, and it was a huge pain.

I wish they had skipped coining the "storage-first" buzzword though. I mean, I get it, but I feel like it hurts more than it helps.

My first assumption was that they were just talking about writing data to S3 and then using Lambda to process after.
Would be OK for me, I live in UTC anyway... Utc+1 actually now in the Summer
Well, nothing stops you from implementing equivalent wrapper using error mechanics (that could actually make it faster in some cases), but turning this idea into first-class value allows you to abstract over it easily. E.g. in Haskell, base library comes with lots of functions for manipulating monadic wrappers in generic ways, mapping, sequencing and threading through them in common way (once you start using them, you actually realise that a lot of business logic that looks perfectly reasonable in common languages ends up being boilerplate that can be avoided easily using simple combinator).

Few of them are actually bound to syntactic sugar known as "do-notation", that let's you write that sequenced code in post as if you were binding simple variables, adding branching, effectful statements or auxiliary definitions along the way. This really pays out when you start turning simple monads into so-called "monad transformers", that let you stack multiple behaviours/wrappers on top of each other, keeping the same pretty do-notation untouched.
Different timeouts exist for different purpose. Sometimes infinite is the only sane default. Sometimes the default must be dynamic. And sometimes you just pick something that sort of makes sense with all the other system components in mind.

There are a dozen or more timeouts just for a TCP connection. There's the initialization timeout, the 3-way handshake timeout, the half-closed timeout, the time-wait timeout, the unverified reset timeout, the established connection timeout, the retransmission timeout, the timed wait delay, the delayed ack timer, the arp cache timeout, the arp cache minimum reference timeout, the keep-alive timeout, and more.

Every single person in the world depends upon default timeouts, so of course they matter. When they are picked intelligently, they improve the default behavior of the majority of system interactions. So we can trust default timeouts, when they are useful. But if we're building a system, it makes sense for us to determine what the appropriate timeout is for our system.
Thanks but I host my own email so I'm only looking for an outbound SMTP server. I went to ProtonMail's business page and the pricing plan only shows full email hosting which I don't need.
> something steals those keys before they ever get to user space

The brightness keys could be managed by BIOS? If you can modify brightness during early boot, or while BIOS settings is showing, then there is a chance Windows doesn’t see those keypresses.
There was a good thread on HN a couple of weeks back concerning the benefits of idleness: https://news.ycombinator.com/item?id=24128366
Looks like there has been only one small discussion from 2009: https://news.ycombinator.com/item?id=958789
It just means passing a dependency as an argument to method or constructor. Seriously, it is just that!
> but a lot of americans think the saudis are some kind of beacon in the middle east.

A lot of Americans so on and so forth, supposedly.

For example, one could say a lot of Americans think Iran is better and are fascinated with it (I see that premise on a frequent basis on HN and Reddit). Why are some large groups of people in the US fascinated by Iran? Such statements are, at best, opinions. I'd say that Iran is not better, they're both similarly terrible on human rights, they're both extraordinarily violent theocracies (Iran murdered thousands of protestors last year, while the US media went out of their way to ignore it; contrast that with the Khashoggi coverage - which tells you everything you need to know about who is fascinated with Iran). In the US, the left is very sympathetic with Iran and they more strongly dislike Saudi Arabia; and that's reversed for the right. Such theocracies have dominated the Middle East since the end of the Islamic golden age, over seven centuries ago. In Iran they murder gay people and deprive their women of basic human rights as a matter of cultural routine, as in Saudi Arabia. Both aggressively sponsor terrorism and proxy wars all over the Middle East, fighting for influence and position. Some just pretend there is a difference between the two.
Depends on which minerals you fancy.
Since this is probably a worthless thread: imagine doing as much as Gates did, and then suddenly becoming the bogeyman of the dumbest conspiracy thinkers. How the hell does that even happen.
Do big companies actually do this (check market price by buying their own accounts on forums)?
A plane with 18–25 mpg fuel consumption
No need for infernal advocacy here. Reddit is to some extent the unfortunate heir of newsgroups, as well as many independent forums, so of course there is going to be a lot of interesting and useful information on it.

The thing I imagine that gives some people such a negative view is coming in contact through the brand "reddit" and being dumped into large controversial sub-reddits straight away.

A lot of people bump into a particular sub-reddit through a search result and have no idea of the dumpster fires elsewhere on the larger "reddit" site.
>Nobody likes to be told that they're wasting their free time,

Wasting free time, a.k.a living? Capitalist propaganda is so godamn effective. People now believe that every minute you spend not working is wasted time.

Dear lord.
I specifically bought a Wi-Fi router, the Deco, to fight my addiction to Facebook, Twitter, Reddit. I probably should add this site too.
Most people that would be removed by population control measures will have negligible impacts on the carbon emissions though. If you cherry pick rich Americans, Canadians, Australians and Saudis you might do well
Me too. I remember my countless hours playing (arguably wasted) diablo 2 very fondly. I still recall a lot of the detailed stats of specific characters I had built. Also helps I had sunk the hours playing with my partner at the time, so it was also a bit of a bonding moment. Didn’t help my grades any though.
Japanese doctor who lived to 105 – his longevity tips
It's all still based on intuitive concepts like "sets" and "integers." Furthermore, inference rules are all based on the ones we use every day. You could have "alien logic" if you wanted but nobody seems to be very interested.

Of course this has no bearing on computer proofs because you can tell the computer what your preferences are.
5711 and Farbrausch – fr-099: Aphelion
Sometimes thinking a lot is bad, especially when hesitation comes you should kick yourself in the ass and start doing.
You are very lucky. Ergonomics is complex, bodies are complex. You just happened upon a setup that works for you.
let's not forget, distilling anyone into "good" or "bad" is a trait of a weak mind.
Gnumeric and Calligra Sheets are 2 other GUI spreadsheets for Linux. Calligra is the name for what used to be the KOffice suite from the KDE project.

I can't speak to the usefulness of either especially since I have no idea what your use case is.
I think that it's dependent on how depth you want to understand

If you're just curious about who's winning and who's doing "cool stuff" and killing enemies then you don't need years of experience

but if you want to understand all that decision making stuff then yea
There was a time where a program that produced output like here, much worse than TeX of course, but very fast on the PC computers of that time, and easy to learn, was very popular for scientific writing with formulas:

https://nomdo.nl/cw.htm

https://en.wikipedia.org/wiki/ChiWriter
Comparing OpenBLAS and MKL with `peakflops` in Julia, there's definitely an advantage for MKL:

julia> using LinearAlgebra

julia> BLAS.vendor()
:openblas64

julia> BLAS.set_num_threads(1)

julia> peakflops()
3.9023447970402664e10

julia> using LinearAlgebra

julia> BLAS.vendor()
:mkl

julia> BLAS.set_num_threads(1)

julia> peakflops()
4.8113846984735275e10

That's close to the ~50 Gflops I saw in @celrod's benchmarks.
do you have any thoughts on what causes these systems to stick to trains?

to me, as a user of public transit, they just seem somehow more pleasant, in a way I can't really make sense of. I strongly dislike riding in buses and try to avoid it, whether part of transit systems, Greyhound/Peter Pan, or even high-end charter buses.

maybe if you had electric (no exhaust, quiet) buses with frequent reliable service, dedicated lanes almost everywhere, nice bus stops without hostile architecture, I wouldn't feel such a strong preference, but I'm not sure.

I'm wondering whether it's not just that I subconsciously dislike getting jostled around and feeling slightly carsick.
"The advantage of this pattern is increased application resiliency", as spelled out in the first paragraph. So yes, these technologies are 'biased towards' systems that require this degree of resiliency rather than 'simple old business systems'.