skysight-inc/HackerNews huggingface dataset:
I wonder if these simple methods can make these companies (https://www.boost.ai/) which claim to build smart chatbots for enterprises obsolete.
TIL of the "ANZUS treaty" from the linked book: https://en.wikipedia.org/wiki/ANZUS

Is the name of this thing an amazing runic pun, or am I just hoping it's that clever?

"Ansuz is known as Odin's Rune and indicates great power and knowledge to be revealed."
> HIV/AIDS probably fits the bill or comes close. It doesn't seem as drastic as covid, because of the means of transmission

Actually, I take back what I said. Looking back at the perception of HIV/Aids (or "GRID" was it was originally known) it's terrifying in context because for a number of years there wasn't any idea about the nature of the disease nor how it spread - whereas with Covid we were able to narrow-down the virus' means of transmission within months.
That might be in breach of the GDPR. In the event of a personal data breach, you need to tell the data subjects about the breach [0]. You can’t just put a notice on your page, since someone might not be using your service any more, but you still have their data. And GDPR aside, it is very short-sighted to assume you will never ever need to e-mail users on your own.

[0]: https://gdpr-info.eu/art-34-gdpr/
That's my theory too: to an AI information is food, and the densest source of information in the Universe is us.

(In the infosphere the Earth shines alone in darkness, the sole star.)

The machine will keep us in a bottle to feed off of our data.

...

Come to think of it, why wouldn't it "farm" us over a larger volume?
The majority of the Canadian population lives in a small number of urban areas. The fact that the distance between towns in Alberta is massive is not relevant to the "average" driving behaviour of Canadians because the modal drive is a commute between Guelph and Toronto or something of that sort.

It doesn't matter if the 5% of the population keeps driving non-EV vehicles for many decades to come for performance reasons. Let them! Cumulative emissions are all that matter.
I also think that that Varoufakis likes to give speeches, and that's about it.

In his long rants, there occasionally appears an interesting hypothesis, but this might be due to chance. And it is not followed up upon with any clear reasoning, but mostly with overly self-confident blather.

Fair enough, this article of his in the Guardian is a more polished piece.
Loss occurs but is reasonable. I think heaters are used.
Looks like you can persuade Windows 10 to run on a pi4, even if it’s not supported, so I guess there’s a decent chance even recent versions are runnable too.
Helios: Hyperscale Indexing for the Cloud and Edge [pdf]
While this is a nice initiative on many levels (from reducing emissions to getting people on bikes/scooters etc.), but I can't see it working well for few reasons:

- We have pretty harsh winters (well not the last one), so any biking/scooter'ing isn't really possible for at least 3 months, thus one still needs a car.
- Only few (I'd say only 3 largest) cities have kind of an infrastructure for scooters/bikes and only for major travel paths - outer-most city rings aren't well suited for such traffic.
- Local traffic culture (which goes both ways BTW) - car drivers aren't really well adjusted to bikes, and scooter/bike riders also have some not-so-great attitude on pedestrian walkways.

TL;DR - this probably would work really well _somewhere_, just not sure Lithuania is the best candidate for something like this, even if I personally still appreciate this.

Source: I'm Lithuanian and currently live there.
The best way to go through this resource is to use it as a reference which is actually its main purpose. Its practically impossible to go through all of it one by one. I'd say figure out the stack you wish to use and then go to the resource as a reference to the resources out there. Check them out and use the one that appeals to you.
sounds like people simply weren't taking any care of them, that's why they broke. If they had cases and decent sd cards that probably wouldn't have happened.
I think for most people, it is the desire for:

1. One do-everything car (short and long trips without pre-planning)

2. Living in an apartment so no overnight charging.

Even with 200mi range, you have to ensure there are chargers en route because they are still sparse and it still takes a long time to charge the car. Gas vehicles still win because in most places, you can expect a gas station within 50 miles and the time penalty is 5 mins vs hours.

Sparse city charging infrastructure also mean makes charging much harder.

We're getting better but imo electric cars in the US at least are still limited to wealthier folks with houses that have charging stations and some city dwellers in nice apartment complexes. I hope we see a good sub 30k electric car soon to shake things up.
I can also see no reason why does it have to be this small (I would appreciate a keypad) and why is there still no heatsink.
The RPi4 SoC already has PCIe support; it's used for the USB controller, but it wouldn't be impossible to have a version that has an M.2 PCIe slot. It could be used for NVMe, WWAN or faster Ethernet.

USB could remain available through USB OTG and it would sit in the middle between the RPi4 and the Compute Module 4. Using the USB power socket for OTG is doable already on the Pi4, but to do it in a fully supported way would need some extra components to properly handle USB-C configuration. Still cheaper than an H2plus
I don't have much influence on the deps just yet, I am a noob in the company's stack still. I might be able to minimize them in the future but for now we have no small amount of proc-macro libraries.

Plus, I am talking about a company-issued laptop. It's quite the fast and strong cute little thing but we all know even the strongest mobile CPUs can't measure up to desktop CPUs, especially when it comes to compilation.
convenience reduces immediate risk and increases catastrophic risk
They won't forget the email, but they might easily forget with which email they registered (happened to me).
>Not sure if the author claims that constructive types do not face this issue.

This might be true, but when they were making the case for constructive types they didn't mention it.

>On constructive types vs refinement types, there is a recent Reddit discussion on this topic

The discussions seems to be mostly dependent types vs refinement types, which I'd argue is a false dichotomy. I'd say that dependent types is a what makes refinement types actually powerful in the first place. It's also how most Coq specifications are written.
> At the same time, I would not easily justify spending time managing CI infrastructure with my team of 6-10 people.

The step from a docker-based
build to a proper build agent is a small one. From there, running your CI yourself on a cloud provider is not particularly hard and at size will quickly be cheaper than having an intermediary.
"The problem is, hosting your own email is actually really hard. Not only much harder to set up than it should be... "

This is the very crux of the problem. We need newer protocols so this is dead easy for anyone to do but I don't see it happening anytime soon. As Google and other Big Tech are on internet standards bodies they'd almost certainty oppose it as a more distributed internet would be bad if not ultimately devastating for their businesses.

Unfortunately, we naively let the Trojan horse into the internet years ago now we're paying a terrible penalty for our foolhardiness.
And as also a fellow Brit, I think you need to exercise a bit more judgement before leaping on the bash America bandwagon. Firstly, it appears the Democrats are contradicting themselves about what happened. That article links to another article on CBS that directly contradicts their own. Their article says:

"Joe Biden’s presidential campaign canceled a Friday event in Austin, Texas, after harassment from a pro-Trump contingent."

and quotes:

"The Biden campaign’s Texas communications director, Tariq Thowfeek, said holding the event would have placed Biden staffers and supporters at risk."

But the CBS affiliate article says:

"The Biden bus has also been closely followed by Trump supporters while on the road, though Texas Democrats insist their presence didn't affect their decision to call off the downtown Austin rally ... Texas Democrats told us they canceled the event so not to take away attention from vice presidential candidate Kamala Harris"

Then the videos. The Twitter vids don't seem to show intimidation. They're all in vehicles, the trucks are just driving alongside the bus. There's a video of what looks like a failed merge on an overly busy highway, which is described like this:

“These Trump supporters, many of whom were armed, surrounded the bus on the interstate and attempted to drive it off the road,” he alleged. “They outnumbered police 50-1, and they ended up hitting a staffer’s car.”

Even the Daily Beast has to report this as "alleged" because he provides no evidence they tried to drive it off the road. If they'd wanted to do that they certainly could have done, given the number of trucks, but the bus was unharmed.

The only activity described in the article that could possibly rise to 'intimidation' is turning up and making some noise at rallies, but that's not normally called intimidation, is it? It's not exactly unheard of for anti-Trump people to turn up and make a lot of noise at his rallies, and the right don't accuse the left of intimidation or cancel events in those situations.
Here's how I watch YouTube right now. Maybe it helps someone:

1. Use RSS to subscribe to your Channels [1]

2. On iOS, use Shortcuts to forward to either HookTube, Invidious, or use YouTube PIP [2]. When you want to open a YT-Link, hold it, select share and then select your shortcut.(It seems cumbersome but it's actually faster than going to the website and dismissing the stupid sign-in prompt every time)

3. Use DDG !v and inline playback as an alternative player.

[1]: I love Reeder, but I'd also recommend Lire, NetNewsWire and FieryFeeds
[2]: https://routinehub.co/shortcut/6622/
The leader board of HN: https://news.ycombinator.com/leaders

My previous handle is Mz. It hit the leader board in October 2017. About six weeks later, I changed my handle to this one.

As far as I know, I am the only member who posts as openly female who has spent time on the leader board.
The kernel doesn't handle path variable. Userspace does.
Or you know there's this thing called eMMC that's mostly pin compatible with SD cards and yet provide fast, resilient and cheap storage.
Maybe this is a dumb question but how do you send an email if you only have the hash of the recipient's address?
I'm just curious since many people mentioned BKoAC, are any of Koei's new(er) strategy games popular in Western countries? Like games from the Nobunaga's Ambition series or Romance of the Three Kingdoms series. (Admittedly I don't know if they're translated into Western languages or not.)
The West has failed – US and Europe have made a mess of handling the crisis
Agreed. I read the guy's autobiography and he was pretty big on excuses. He can continue sniping from the sidelines but he is an economic pundit who got the chance to apply his big ideas to run a country. He failed and was fired by his colleagues. If he's not going to re-think his ideas or himself after that, he's all ego.
My only experience with Meet on a weak CPU is my daughter using it for remote learning on her school supplied Chromebook which uses a Mediatek processor from 2015 which has 2 A-53 and 2 A-72 cores. Meet performs fine on the platform.
As per the article, you only send them when the user requests an action, and ask them for their email at that time
Next person to complain about backend development and Kubernetes will be punished with getting this URL.
We have one aesthetically pleasing brutalist building in Toronto, and it's Robarts. It's shaped like a peacock!
The Old Royal High School is empty. The Scottish government is using the Art Deco thing across the road that looks like it belongs in Batman's Gotham.
Absolutely wonderful! This is getting ever more close to the joy of the original home computers, and a great setup for a kid to start with especially with the book provided. The RPi4 is also an impressive bit of kit. Bravo RPi foundation!
The batteries can be heated in cars with liquid thermal management systems which pretty much all new ones have (older Nissan leafs and others did not). This removes a lot of of the impact on range... except if you use use heat in the cabin.

Due to them being so efficient, most electric cars can't use waste heat like internal combustion cars, which means they need a separate electrical heater which of course has an impact on range.

This article: https://www.marketwatch.com/story/cold-weather-saps-electric...

> The automobile club tested the cars at 20 degrees and 95 degrees, comparing the range to when they were tested at 75 degrees Fahrenheit, according to a report on the study.

> At 20 degrees, the average driving range fell by 12% when the car’s cabin heater was not used. When the heater was turned on, the range dropped by 41%, AAA said.

> At 95 degrees, range dropped 4% without use of air conditioning, and fell by 17% when the cabin was cooled, the study found.
School computers take a beating. That's why the two are incompatible.
Interesting to know that. I've heard the books on Combinatorics in TAOCP are super fun with many interesting mathematical nuggets. About time I get a copy of those volumes.
I personally think this product looks awesome, maybe partly nostalgia.
Only cars as big/heavy as golf carts should really be allowed inside cities. That would drastically reduce pollution (both air and noise) and also all but eliminate fatalities and injuries.
I'm in the process of Degoogling my life so I have installed GrapheneOS on my phone and use FDroid as an app store.

It works but I have the impression of living in the dark ages:

- I had to ask my contacts to install Signal on their phones, some just didn't follow up (we were having long conversations on WhatsApp the week before), some don't even see my messages. I receive much less messages than before, I'm left out of the cool conversations happening in WhatsApp groups).

- I thought Google's keyboard could use some improvements, but the AOSP one is much worse.

- I can't use my banking app, and their mobile web app doesn't work with KeepassDX so I have to manually enter my account infos each time.

- notifications are hit and miss. The reminder app that I found on FDroid didn't fire a reminder this morning. I had to get another Clock app, the AOSP one insisted to make an audible notification 1.5h before any alarm (it was silent on Google's).

- email clients: FairEmail is good but lacks ergonomy.K-9 mail is a joke. (I like to separate my email accounts in separate clients).

- the icons are ugly and I didn't find any way to change them.

All in all I'm not exactly living the dream right now. I don't use social medias (except YouTube on my desktop where I can block ads) I think I would have a much harder time if I had to use web apps to connect to social medias.
I realized the example doesn't make sense for head, since head should always just return the first item of the tuple.

I still think it would make sense to define e.g. last using Data.List.last:

last :: NonEmpty a -> a
last (NonEmpty (a, [])) = a
last (NonEmpty (_, lst)) = Data.List.last lst

which is safe even though Data.List.last contains error.
Oh. I would be pretty annoyed if I had to re-enter my email address every time I perform an action that sends out a transactional email...
Battery swapping isn't practical with modern electric car design. In most EVs today, the battery is part of the structural frame of the car and can't be removed easily.

DC fast charging seems like a much more practical solution for the occasional cross country trip
You use email+password for login. Does this mean that on every login attempt, you iterate through every row in the database to check for a hash match?
Mm, it's a bit like arguing that "the range of text editor customization is simply too wide for there to be fully-canned solutions for everything." Meanwhile, elisp wiki go brr.

I think ML solutions will increasingly take the form of an elisp script rather than a python library, but it'll take a little while to get there.
List of Wallet Protocols You Must Have
What language do people speak in the Balkans, anyway? (2019)
This article finally prompted me to do what I should've done a long time ago, which is to create a Fastmail account and begin importing my Gmail into it. I've seen this story far too many times, and no longer will I say "yeah but it'll never happen to me".

Setting up the import was insanely easy, and my Fastmail account is now configured to enable me to send using my Gmail address from directly within Fastmail. Plus after the import is finished, it will still periodically bring over any new emails received to the Gmail account.

Fuck you Google.
> "Even just +7 kVA per house means a complete rebuild of the grid."

Only if every car in your neighbourhood is plugged in and pulling 7 kW at the same time.

Smart charging solves this, by reducing charging during demand peaks (ie: 6pm when everyone is arriving home from work and plugging in at the same time), and increasing it later in the night when more capacity is available.
Wow. This would work awesome for distributing Apps that require hardware, for example Point of Sale Systems.
Missed opportunity to use the Compute Module 4 and full-size HDMI ports.
> I read somewhere that electric vehicles had some trouble operating in cold environments

Isn't Tesla's biggest market share in Norway and Oslo?
The writing direction in Arabic, Hebrew and other Semitic writing systems has been inherited from the Egyptian.

So any hypothesis about the origin of the right-to-left direction must discuss only how the tools were used for the Egyptian hieratic (written with brushes) and hieroglyphic (carved with chisels) writing systems.

Maybe it was easier to carve hieroglyphs in that direction, but I am not aware of anyone testing this hypothesis in practice.
I mean, how's that different from 'iterating' over every row in search of an email address? Indexes solve that.
5 days to build the leading feedback tool
How Would Elections Affect the E-commerce Industry
Yes, the import is actually extremely easy - basically one click where you authorize Fastmail to connect to your Gmail account.
I double-checked if it was part of the government's marketing campaign (like an ironic meme or something), but nope: the unshopped photo is in the original article[0]. Also,this article adds zero value to the original, as far as I can see, unless we count giving us an easy target in that bad photoshop attempt.

[0] https://www.lrt.lt/en/news-in-english/19/1260026/lithuanians...
In Pascal you can easily create such a type OneToFive = 1..5

It should inherit all the normal arithmetic, but does not allow values outside the range

However, these kind of types are causing a lot of problems.

You do arithmetic on them, get a value outside of the range, and then it throws an exception. And an unhandled exception crashes the program, which is often worse than an invalid value.

And it is slow when it has to check if the value is in the range after every arithmetic operation, so you can disable the range checking to make it faster. But then you get values outside the range without an error

The language also assumes everything can be initialized to zero. It just calls "memset" on a allocated memory, so it can be initialized quickly. So you often get values that are zero whatever the range is

And you cannot even check for that, because the compiler knows what values are valid. So if you want to check if the variable has a valid value and write (value >= 1 and value <= 5), the compiler knows it is supposed to be always true, and optimizes it away.
Yes, exactly as you would do to check for an email address match.
I run a successful software consulting company and failed miserably when tried to sell it about 3 years ago. Can you share any insights on how that process worked out for you? Any tips on how to find potential buyers?
You can not share this link via Facebook Messenger.
Tried it and got a "You can't share this link. Your link couldn't be shared because it goes against our Community Standards".

Never saw that before.
Throwing KVM switching and spreadsheet review into the bag of real world considerations.
This HN crowd member don't want to bother with the trouble. I see email as postcards (everybody can read them) and act accordingly.

Since I never trusted Google, I use a well known mail provider that I pay for.
By that logic, \.[a-z]{2,4}$ is still the correct way to match the TLD of an e-mail: "meh, it's obviously wrong, but everyone has to adapt."
> No — many accounts aren’t created by the people that use them

Can you elaborate on this? I can only think of 2 examples, but neither seem like good ones:

1- someone holds power of attorney over someone else, and register an account (email account?) in their name. But if there's PoA involved, the 2nd person isn't (probably ?) able to manage an email account on their own, so this doesn't seem a meaningful distinction to worry about. (though if it's not an untreatable condition, it's possible that they might resume using their email account themselves, I guess)

2- the account is created by your ISP when you register, and they "helpfully" choose a username for you. So from this point of view, you didn't truly "create the account"
Thanks for the reminder to finish switching my accounts over to Fastmail. There are too many of these stories to trust google. There’s also something nice about having a financial relationship with a company providing you a service, rather than having them mining your data to sell things to you or about you.
YouTube will start to demand ID / credit cards information from European users
The only software that gets vide-co right is probably Discord

I used MS Teams and zoom and both are decent (ms teams works fine for school)

but it's insanely unbelievable that this kind of software lacks of features that gaming communities had probably 20 years ago

PUSH TO TALK is probably one of the most important features of any voice software. The lack of it is big WTF.

It gives you 100% control over when you're talking and you don't have to alt-tab between programs in order to "mute" yourself.

You can bind it to e.g MOUSE3 (scroll-push) and it works fine with other programs, games and stuff. Switching between muted/unmuted is different thing.

From somebody who uses/used ventrilo, mumble, teamspeak and nowadays discord for like last 12 years for hours per day, almost everyday.
> I know more than a few in tech who dream [...] And I guarantee you if the pay was closer, you'd see

Indeed, dreams and ifs. It's no coincidence that the dreams that stay dreams are for the higher end jobs, and the ifs that stay ifs are for the lower end jobs.
This might be a great article if it had some great examples.
Many commentators mention e-mail here: I'm a conservative oldtimer with my own domain (since the Ninetees) and associated e-mail, of course.

The problem is that it happens to me more and more often that especially with my business contacts in larger companies my e-mail is filtered out / ends up in their junk folders / disappears for other, unspecified reasons. Simple public black lists do not show anything. I am more the developer and not the infrastructure type, but the company policies seem to contain more and more features of downgrading private domains. And in my opinion this is supported by some kind of dirty game of global IT players at technical and other levels.
How to Live at the Moment?