skysight-inc/HackerNews huggingface dataset:
Just build water towers. 100m water tower is nowhere near as an extreme engineering as this.
It's the fact that it is `Int -> Int -> Bool` that ensures you that the function doesn't do any random thing (like doing something on the database). Combining non-IO capable functions is quite helpful in reasoning about programs. I.e if the function has `IO` in the result type then exactly - "who knows". But with the fact that it doesn't, you do know that it doesn't do anything other than return the bool.
View your notion docs in VSCode
>They indeed were one of the first if not the first to come out with a messaging app that can e2e encrypt your chat.

Off The Record showed up in 2004 and was used over multiple instant messaging systems. OpenPGP was used over various IM systems before that...
Not only do modern compilers give better error messages (with room for improvement still), it is possible to make use of enable_if and if constexpr/static_assert to give proper error messages for templates, and when C++20 gets widespread enough, concepts.
It’s a dead comment; you need to enable ‘showdead’.
Tektronix 7T11 system - up to 10 ps/div (at ~15 GHz or so analog bandwidth with the right sampling head), ~250 samples per trace (~10 divs wide), so one sample every 100/250 ps = 0.4 ps = about 2.5 THz ETS rate. Whether this really says so much about the system ... I'm pretty sure that the sampling jitter exceeds 0.4 ps by quite some margin. In a system constructed like this it is actually really easy to turn the ETS rate up to incredibly high values; whether the data that generates is useful, is another question.

This was a fully analog system hence the ~.
The University I went to in Sweden used Haskell for its intro classes. Intermediate classes where taught in Java.
Please stop this very slippery slope.

Water is a right, just like breathing air. There must not be any question of Wall Street here. If you go this way, you end up with private companies owning water sources.
I've read about using a lot of small cheap containers, like plastic bottles, as compressed air batteries, but can't find the article right now. Apparenly a lot of small containers is a significant improvement over few (or single) large compressed air containers. Many small containers offer better space efficiency, they're cheaper, because you require less pressure (regular plastic bottles v. steel tanks), and their power output is steadier.
Or else? I've seen that before...
How to Become a Data Engineer in 2021
The fact that the US long favored immigration under different circumstances doesn’t mean that it’s an impermissible view to oppose it right now. There was a strong period of immigration restriction starting in 1920 where the foreign born population dropped to 5% while the country became culturally much more homogenous due to mass media. The foreign born population started rising again due to the 1965 INA and is now triple what it was in 1970. Also, the country is much more interconnected today since everything was federalized starting in the 1930s. Mass immigration to the coasts—where people coming from different political cultures back home would eventually start voting here-didn’t affect folks in the rest of the country as much during the mass immigration at the turn of the 20th century.

Also, you’re again painting the issue with a liberal brush by talking about “white persons.” That’s a viewpoint rooted cultural relativism—it overlooks that immigrants don’t differ only by race, but culture, political tradition, etc. It’s also incorrect: for example under the 1921 immigration act there was no restriction at all on immigration from Latin America, while it was restricted from every European country to an annual 3% of the existing population of people from that country. (Of course there was a racist element to it as well with the 1924 Asian exclusion act. But that confirms that there are two separate issue.)

I’m not trying to convince you of this point, I’m explaining why we can’t have folks in NYC and SF deciding what political ideas can be expressed online. American liberals have increasingly fully embraced cultural relativism, while American conservatives (and most ordinary people around the world) still believe that “culture matters.” Conservatives assume that culture drives societal differences, and, especially combined with a natural pessimism, are terrified of changes in culture. They also tend to live in the vast swaths of the country that have a low foreign-born population and fairly homogenous cultures. Ironically, as an immigrant myself it’s easy for me to understand someone in Idaho who is afraid of the culture of his community changing. Bangladeshis would feel the same way. Asians, in general, are not cultural relativists.
> Nobody reads past few first top-comments.

Even as an exaggeration, this is probably untrue ?
I think his point is that there are N languages that are performant and they could have probably chosen any of them to achieve their goal, so the choice is primarily aesthetic.
Twitter is not a monopoly. There are plenty of media companies, social or not, that he could use to carry his message. He has a freaking press office.
Peacefully live-tweeting where Nancy Pelosi was

Peacefully bringing firearms into the capital and calling it "1776"
I'm trying to run a company in a hostile regulatory environment. I've been without power since April 2020.

This is in the middle of a city in the United States.

I've tried generators and have gone through 3 so far. Fuel was very expensive, and the time and effort to keep them running 24/7 was miserable. I have now tried going solar but have had all sorts of problems with battery life and cloudy weather. It's not as easy as I thought it would be.
A nix derivation can be converted directly into a docker image, you don't need a docker file at all. It's actually very simple and quite intuitive.

I wrote a blog post about doing this with python, but it's straightforward to generalise.

https://sotelo.dev/blog/nix-for-pythonistas
awesome idea, but I think you should add some more skills to the list.
The classical example used to introduce this problem in lectures is the one about the soviet rail network: https://jeffe.cs.illinois.edu/teaching/algorithms/book/10-ma...

Legend has it both Soviets and Americans studied it, both identifying the bottleneck for opposite reasons: Americans wanted to disrupt as much as possible by destroying as few rails as possible while Soviets wanted to extend the network's ability to transport goods with building the fewest connections... Both problems are equivalent, known as the max flow min cut theorem.
> I am quite aware how un-ergonomic such a messenger would be so I know that Telegram does little more than TLS protection of the network socket. And that's fine with me and with millions of others.

The amount of people who understand this certainly isn’t in the millions. The fact is that most Telegram users have no idea that their conversations aren’t encrypted, most people incorrectly assume that it’s more secure than whatsapp.

> WhatsApp threads I've seen lately only aim at the user's data privacy and almost nobody ever mentions that their "encryption" is also a glorified TLS and their claims for end-to-end encryption are very likely dubious and a pure PR stunt.

This is complete nonsense. Whatsapp uses the Signal Protocol. Their claims of end-to-end encryption are true (and easily verifiable! just pull out the debugger of your choice)

> Admittedly some of the responses earlier -- which were very unconstructive -- got to me.

I think your (perfectly understandable) misinterpretation was corrected in a rather polite manner, but you still wanted to argue after being corrected by multiple native english speakers.
I observed much more crowded bike lanes (in Hamburg), especially during the morning commute between 8 and 9. There were bicycle traffic jams in places where none were last year.

Also, I observed lots and lots of blue-tired rented bicycles during the summer, though their numbers seems to have reduced a lot since the weather got wet and cold.
Do bike dealers not also make money from increased demand for services?
How Big Wireless Made Us Think That Cell Phones Are Safe (2018)
You are correct, I last checked the ToS around the Hunter Biden emails and was unaware it changed.
Equivalent time sampling
Not sure what you're saying with that second sentence. There is legitimate reason to have some zip ties, yes. I don't know the US traditions that well, but I doubt molotov cocktails or pipe bombs are usually required for a peaceful demo? Now most people probably not even had guns, but attacking the Capitol? Come on. That's a direct, violent attack on the democratic processes.

You're right that Facebook and Twitter should have acted sooner. Free speech doesn't mean a platform has no other option than to tolerate hate, violence and lies.
> Vinyl sales surpassed CDs in 2020.

cassette tape sales apparently doubled in 2020:

https://www.nme.com/news/music/cassette-sales-have-more-than...
At least we can agree that a two dimensional spectrum is infinitely better than a one dimensional spectrum. Especially when terms such as "left" and "right" are incredibly vaguely defined and differ greatly based on who you're talking to.
Not really. They said it was sort of yes and no because he said “you have to show strength” and “demand that Congress do the right thing”. No those are not telling people to storm congress, in the context of what he was saying before, this clearly refers to showing strength and making demands in the form of a protest. The answer is just No. He did not say this. They didn't even give this a "Mostly false" and give a spiel about how "He encouraged people to protest at the capital + his supporters may have interpreted his words that way", they said it was half-true, it was mixture, that claim is no more false than it is true. Rating scale: https://www.snopes.com/fact-check-ratings/

He sure as hell riled people up and he set the seeds for what happened and has a degree of culpability for what happened. However in regards to the specific question "Did Trump Tell Supporters to Storm US Capitol on Jan. 6, 2021?" the answer is No. Intermediate ratings on fact checkers are what are used to slip bias into what are not very ambiguous situations, because you can say "Yes, but..." or "No, but..."

The good thing about fact checkers, and the reason I generally support them even if I don't see them quite as neutral, is at least they write down the facts so you can come to your own judgement. I just ignore the ratings they give at this point, the articles are much better.
I found it ambiguous, nothing more. And I expressed an opinion to which half I subscribe to. Maybe that's valuable feedback for you as a writer, maybe it's not.

In any case, no hard feelings were intended anywhere.
Yep, did it, thank you.
I initially parsed the cabinets in the photo as being modern standard 42U rack enclosures, and then wondered where they found an operator who was 7'4" in heels.
"We are re-evaluating" - I imagine for many people it's not re-evaluation but learning for the first time, people who haven't critically thought through any of this - of what freedom of speech means and its boundaries or how the relative sovereignty of private businesses is a feature, and it's not you being persecuted if they remove unwanted users; the private companies aren't preventing free speech, these people can still speak freely in America and on the internet - just not on the platforms that don't want the incitement of violence, etc. on their platform.
On FB, ISIS groups that I was a member of years ago were deleted. Don't interpret that as me being or wanting to become a member of ISIS. I simply wanted to see what propaganda they were spreading, and measure for myself how it compared to the MSM portrayal of such.
How Startups Convert Customers with Subscription Pricing
Wait, this is a GNOME thing and not a Linux thing? WTF? I've used GNOME for over a year now but this thread is seriously making me consider switching to something like KDE...
I am using a mix of Win7, Ubuntu, Win10 and old OSX on various computers.

To be honest, so far Win7 is winning, it is the OS that gives me the least headaches.

Win7 problems: occasionally something doesn't work because it is Win10 only and Wine can't emulate it. Also recently I had an issue trying to use hardware that was intended for Win98 but that is kind of expected.

Win10: randomly updates without permission, reboots itself, break stuff that I need working (for example one time its unexpected updates broke the software my company use to generate invoices, meaning Windows10 update managed to singlehandedly shut down my company income for a couple days until we reinstalled our bank invoice software on Win7), has telemetry, insists in re-enabling telemetry after we disabled it, has ads, has games without permission, insists that we use Cortana, but then complains Cortana is not available in my country, and the list goes on.

Ubuntu issues: the default interface is weird, there is no way to type file paths on filepickers, and this is quite maddening, it requires command line to do basic stuff too often, even native Ubuntu games might have bizarre issues with Fullscreen or random notification software hijacking the focus, and weirdly, it crashes more often than Win7, usually because of out of ram issues.
>weapons that shoot blue blobs of light

Obviously they shoot purple blobs of light, amateur!

Jokes aside, yeah... this. Out of curiosity in late December I joined the MUFON group on Facebook. Oh my. Oh, oh my.

It's certainly worth joining simply to look at if one has a Facebook account. I certainly expected a little bit of suspension of disbelief but, wow. While some of the posts are serious "what was this" you'll find that very quickly someone will post either a horrible photoshop job, or an actual valid UFO (often what appears to be a plane with landing lights on) and quickly in the comments you get people talking about the races of aliens that have come and visited them/abducted them/communicated telepathically with them.

They've been going on about this 180 days bit since it was discovered and I honestly just can't with some of the comments/claims.
Terrorism websites don't get to hide behind the law
624 comments further on HN, on top of a 1280 word essay about why GNOME has no thumbnails...

And unfortunately this will change nothing, because of the immense amount of protectionism and self righteousness of these idealistic projects.

I wish it was different, but with so many stakeholders it's really hard to reach a decision.
Why stop there? When is it enough?
It turns out we are both fine with narrowing discourse, just as I suspected.
You could have a modern computer that you don't connect to the Internet or that you do so only sporadically.
I think people are fine with small c conservatism. It's trying to overthrow democratic elections that's bad whether it's Trump or Maduro or whoever.
Haskell is an excellent language, and you are free to choose not to drown yourself in the most complex uses of it.

Haskell has the type system Java wishes it did, and half of the reason languages like Rust are interesting is because they've learned from Haskell (which is the point of Haskell, a research langage, though it happens to also be a pretty darn good language for building practical things). Simple basic data types like `Maybe t` and `Either l r` are such a revelation that you wonder how you lived without them.

I've shared this anecdote before, but Option<T> in Java is an example of the blub paradox[0], and discovering Haskell and finding out about Algebraic Data Types (ADTs) and the Maybe type cured my blub. The crux was this: Option<T>s seems to "infect" any codebase you use it on, because you realize that anything can fail and be null -- living in java land made it seem like it was out of place it's actually Option<T> that is right -- if you allow nullable types in your code base, or you do operations that can fail, properly representing that failure is the right decision.

Without over stating some of the best features of Haskell are:

- Compile time type checking (this cannot be understated) and non-nullable types

- Expressive and simple data type creation via `data`, `type`

- An excellent system for attaching functionality and composing functionality to data types via `typeclass`es and `Constraint`s.

- An emphasis on errors as values (unfortunately exceptions are in the language too, but you can't really stop them from existing)

- Forced delineation between code with side-effects and code without (this results in some complexity if you come from a world with side-effects everywhere and no control)

- Fantastic runtime system with good support for concurrency, parallelism and shared memory management.

- Very easy refactoring (if you're not adding any complexity/abstraction) because you can just change what you want and let the compiler guide you the rest of the way.

Haskell has it's warts (hard to debug space leaks, relatively small ecosystem, the ability to drown yourself and your team in abstraction), but it's just about the most production-ready research language I've seen.

Whether or not you like it, the likelihood it's already improved your life in whatever language you're using is very high.
You may know this already, but just in case: the iOS camera app has a QR reader built in, just point the camera at a valid code and it’ll automatically display a tooltip containing the URL which will open in Safari if you tap it.
So how did Sky News cover the US recent election? I assumed it would have been singing to the same hymn sheet as the rest of the UK media but I am open to the idea I was wrong?
> And what about people who just enjoy the act of coding — of wizzing through tickets and gathering points?

That's not coding. Those people enjoy closing tickets and gathering points. That's fine, but they should try videogames, it's a similar experience but 100x more entertaining. Shame it generally doesn't pay.
Also a Brit. I occasionally go directly to the Fox News web site just to see their take, because I'm basically a conservative and have been a lifelong Conservative voter here in the UK. The main problem I have with Fox News is the lack of reflective self-analysis of conservatism or republicanism. There's no sense of trying to figure things out, to look at problems with a clear eye and then say what the conservative answer to an issue is, there's no attempt to course correct when things go wrong or in an unexpected direction. It's all about on-message heavily editorialised spin, omitting or heavily spinning anything that doesn't fit the narrative. As such, I find it almost completely useless to me. The news is incomplete and the opinion is uninteresting. They're really little better than RT.

Fortunately there are some decent conservative leaning news sites, such as The Federalist and National Review, but Fox News does seem to dominate. Even though I often find myself disagreeing with what the leftier US news organisations say as opinion, they're much better at actually delivering facts and presenting differing opinions with useful context.

To be fair, we have the Daily Mail over here. It's not as bad a Fox generally, but it depends on the topic. The BBC does definitely have a left bias, but it's pretty mild and they're really good on informative content. We do have The Economist though, which is our jewel in the crown of news and opinion IMHO.

The bottom line is though I even can go to the Guardian web site, and I might think they're off the rails a bit and missing context. Some of their opinion pieces are ridiculous, but I can generally trust their factual information. I can't trust Fox or the Daily Mail on facts. That really worries me because a movement based on or informed with extensive misunderstanding of basic facts, or worse with a disregard for the truth, is doomed long term.
The peanut gallery :-))
Is it really that painful to write "String" each time? You spend at least a fraction of a second anyway to verify that you're writing the right thing, to reconsider if you should use an object or constant or refactor the function to work with a Boolean instead of a naked string; why is writing out the type such a big deal everytime this topic comes up?

I remember my first attempts at programming and being annoyed that I can't add a string and an int; ever since that little bit of housekeeping of using types made sense to me and I can clearly see how it eliminates entire classes of errors.
Pretty much agreed and I am probably more to the left than almost everyone here. I have seen way too often people who normally want to regulate corprotions (just like I want) suddenly become corporate fanboys in support for unregulated capitalism as soon as some big corporation shut down a voice they did not like. Personally I hate the hypocrisy and also think that the cure might end up to be worse than the disease.

The enemy of my enemy is not necessarily my friend.
What Is HTML Canvas?
Biggest problem I had with Haskell was once you know the language you also need to learn a pile of extensions that any serious project is using. Also there is a tendency in the community to always look for the "best" (abstract) solution. It makes the whole ecosystem fast changing.

I would prefer a more stable platform designed for engineers , something like Clojure but with types. Ocaml has a small community and Scala brings unnecessary complexity with its support for OOP.
You can't have an intelligent and non-emotional argument about certain topics in full (e.g. racism, sexuality, politics, immigration, religion), nor can you do so without certain sides invoking some "hate" aura because like it or not, there is a prevailing (and left-leaning) definition that is semi-agreed and pushed by official institutions, and you can't go against it without your argument being labelled "hate".

And no wonder the right feels persecuted, because their beliefs are not necessarily hateful yet they are labelled as such by default. It's like drawing the line somewhere arbitrary and then asking the side whose beliefs are on the other side "why can't you discuss this without resorting to hate speech", and "stop complaining because your side is hateful" and "it's okay for companies to refuse you service because your ideas are hate speech and X-ist".

Few examples of acceptable "hate-speech" that falls within that acceptable line: Anti-white Racism. ACAB. Punch-A-Nazi.
That's the cutest laptop i have seen, after watching it yesterday it made me think about how much work would be needed to get some old netbook like the HP Mini or Asus Eeepc and turn it into a dock for Samsung Dex (desktop mode through usbc->hdmi for Samsung's phones) or a Raspberry pi 4.
I think that’s the issue people mix up. He isn’t refusing to do business with anyone because of who they are. He’s refusing to create certain expressions which I should think he has every right to do.

I would expect a Christian cake maker would not agree to accept my money to design a cake that worships satan for example. Likewise I wouldn’t expect a satanic cake maker to make a cake celebrating Jesus.

Would it be right to force an Islamic cake maker to make a cake featuring Muhammad’s likeness?