skysight-inc/HackerNews huggingface dataset:
I like to think of this as having a tremendous ripple effect - when I smile and thank the postman, he smiles at the next person he sees and maybe they're nice to the worker in the drive through at the restaurant, who goes home 1% less frustrated to their family.

Probably a bit overstated in that example, but if you walk around doing it consistently, I think that on average you're still making a small difference, while fighting apathy and politics of hate.
I know someone who has a great position at a well known financial firm. He had the cops called on him twice (he ends up taking long conference calls in his car outside).

The first time the cop was apologetic.

The second time the same cop recognizes him and says, "Dude, you have got to get to know your neighbors. Pie goes a long way."
Love this. As the cliché goes, "be the change you want to see." Thanks!
SQL.js: SQLite Compiled to JavaScript
Hi Dean, hope all is well! I don't think it's all that bad here.

Most employers offer private healthcare and even if you buy the insurance yourself its inexpensive. I also disagree that difficult cases aren't dealt with properly on the public side, in my experience it's been the opposite: simple cases are ignored, but serious ones are taken care of properly.

There's plenty of English language daycares and plenty of non IT jobs for non-Finnish speakers in both smaller companies and medium sized ones as well. IT consultancies are a different story.

Winter is no worse than in mainland Europe or Britain and if you go a bit inland, you see a lot more snow.

If you use a big bank like Nordea then you get great English service, at least in my experience, same goes for other services.

I grew up in Finland and wanted desperately to get away when I finished high school, but having lived in the UK, Germany and Russia and spent some time in the US, my views have changed.

An aside, if anyone reading this is interested in relocating here as a developer, we at Toughbyte can help. Here's a blog post we wrote on the topic:

https://www.toughbyte.com/blog/relocating-to-finland-as-a-de...

Finally all our open positions in Helsinki can be found here:

https://www.toughbyte.com/positions?location=Helsinki%2C+Fin...
I'd recommend anyone who have troubles with outdatedness (?) of the Erlang, to try Elixir. It runs on Erlang virtual machine, very modern and pleasure to code in.
Maybe I'm grandiose but I see the "form factor" as key: MP3 players existed before ipods. Some people found the new form factor more convenient.

Similarly they way Django Doctor works is more convenient:

- it's suggests a change that can be applied in one click
- it's suggestion can be ignored
- no overhead cost because it's SaaS

but yes, if you don't value SaaS in this context then that's fair enough :)
Dependency management is better now with Go Modules. Not as great as e.g. with cargo in the Rust ecosystem but definitely an improvement.

https://blog.golang.org/using-go-modules
Munchausen by virality
Thats 80kw power, 12kwh battery.
Does't say what the range will be. So the Classic Mini is small but with 12kwh I can't see getting more than 100miles
Become mindful of local-independent shopping options. Putting dollars into the places in your community where it will stay in your community is one of the better options that is well-controllable by individuals.
Haven't seen anyone yet suggesting a watch perhaps. I have a Garmin smart watch which comes with offline syncing for spotify and amazon or even direct mp3 upload. Works flawlessly out in nature and lasts days.
It was not just that bug that decreased my confidence, but the lack of testing for the smart contract. Even the bug fix
commit didn't have any unit tests. We're talking about a type of smart contract that holds billions of dollars for store of value, not some rare edge case.

Also for Bitcoin I myself was able to read and verify and understand the whole smart contract code base (a few hundreds of lines altogether in 1 file), which increased my confidence.
Probably somewhere around where the Snapdragon and Graviton 2 compete in Anandtech's recent article:

https://www.anandtech.com/show/16214/amd-zen-3-ryzen-deep-di...

That is to say, not great on the single threaded performance but not unusable.
360 Million is cute, NYC spends over 3 Billion and still hasn't cracked it.
You can have a condition that you need to be able to prove that some variable is strictly decreasing on each iteration. Then you ensure that the loop exits once the variable reaches zero or less.

ATS has this kind of proof built into the language, so that the type system helps you prove that a loop will always exit, and if it can't, it's a compile error.

It's not entirely clear how useful this is in practice. While you may be able to prove that a loop always exits, it can prove nothing about how long it will take before it does. A loop never terminating, and one that terminates some time after the Milky Way has merged with Andromeda is pretty much equivalent from a practical standpoint.
100 miles? I have a 11.6kWh battery in my Volvo and it's barely enough for 30 miles. Even with the mini being a lot smaller and lighter I can't imagine it hitting 50miles.
Automobiles (and their drivers) kill, maim, or injure significantly fewer people than intentionally aggressive individuals in major cities. For example, in 2017 there were 343 murders in Baltimore [0] (which I knew would be on the list before looking for one) vs. 38 fatalities due to car accidents [1].

Here's an example of a list: https://www.statista.com/statistics/217685/most-dangerous-ci...

These lists are based on crime rates, which to my point above, are driven by more immediate threats to life than indirect ones like the contribution of car exhaust to global warming.

[0] https://www.cbsnews.com/news/baltimore-homicide-murder-rate-...

[1] http://www.city-data.com/accidents/acc-Baltimore-Maryland.ht...
the old cowon firmwares had resume functions, no Idea how it's nowadays.
I was implying that large, reputable outlets did not pick up because they could not corroborate.
As a user of sftp(1) you don't have to care. You can even specify unsupported buffer sizes, because that sftp client does have all that complexity that I described above built-in. But if you need to interact with the protocol - well it's just a headache, plain and simple. (However, sftp(1) will write files non-sequentially - so you really can't just restart a transfer or you'll very likely end up with a corrupted file).
PuTTY’s pscp program works in the sensible way you suggest https://the.earth.li/~sgtatham/putty/0.74/htmldoc/Chapter5.h...
Really interested to see some of the choices Sony has made trickle out into other applications. This is the first time in a long time in video games I’ve seen some risk-taking that could revolutionize the industry.
Actively participate in government budgeting meetings, and attempt to prevent staffing creep. Bloat/bureaucracy will kill any community ownership that inhabitants might have.

Ensure that employees that are not performing are being fired. Speak in meeting about the need to adhere to performance reviews with metrics. If you do not keep our city departments heads in check they will break your city, because their job depends on it. Remove any pension plan for government employees, all they do is encourage stagnation, change them to 401k or TSP style programs.

Any nonprofit is mostly a band aid, while small wins can be rewarding they are more or less pointless in the long run.

The only way to improve the Top 10 cities is personal ownership change among the minority of the population that mostly just doesn't give a shit about anyone else. Litter is probably the easiest indicator of the give a shit factor. Everything else you do that does not directly impact community ownership is just lipstick on a pig.

The easiest way to fix community ownership is move people out of big cities and into cities with more direct social pressure to have ownership/not be a dirt bag.

The harder way is to reduce bureaucracy and blockers for small business and citizens. Not income taxes, but all the hidden taxes that hit small businesses, tap fees, permit fees, occupation tax, inspection fees, sewer tap fees, storm water fees, employee fees, inventory taxes, the list goes on and on and on and on. The impact of these taxes are amplified by the timelines, which are regularly measured in years, which almost no startup or small business entrepreneur can tolerate capital wise. These barrier fees and artificially long timelines are most prevalent in big cities, and make it nearly impossible for anyone other than large national brands to navigate/afford. Those national brands just remove revenue from the community, which encourages these small governments to keep passing more and more upfront fees/taxes and the cycle repeats until there are nearly no local small business owners left. (Tenant/renter small businesses are generally the only ones that remain after about 20-30 years of this cycle. ie convenience stores and restaurants)

Working for John/Sally your neighbor will fundamentally change your world view of your community. If citizens do not personally see their community being successful they will simple check out of social/civic give a shit process.

Working for HR also changes your world view and the result is not positive.

The people that will drive change in a community are the small business owners and workers not the bureaucrats/politicians that have never done anything in there life except talk about how growing the budget will solve "insert random issue" problem.
One correction: Unlocked boot loaders are still present. All the platforms that I have seen that support Windows on Arm have boot loaders that can be unlocked.

This is probably the best place to follow machines that have unlocked boot loaders, as currently Linux enablement requires it:
https://github.com/aarch64-laptops/build
> You’re forgetting about all the indirect meat we eat

Why do you assume I am forgetting something?

Do yo have some special power that lets you know what other people know or don't know?

I simply posted a well respected and openly published statistics created by international organizations devoted to food, one of them is called FAO.

Do you know it?

Second: any "non meat related meat" is also in pets food, because, surprise surprise, IT'S THE SAME FOOD REPACKAGED.

> I’m pretty sure

Yeah, I was pretty sure you were going to be pretty sure, without having actual knowledge.

There's a thing called methodology in statics, you should check it out.

The stats I posted used this methodology

> The figures tabulated below do not represent per capita amounts of meat eaten by humans. Instead, they represent FAO figures for carcass mass availability (with "carcass mass" for poultry estimated as ready-to-cook mass),[2] divided by population. The amount eaten by humans differs from carcass mass availability because the latter does not account for losses, which include bones, losses in retail and food service or home preparation (including trim and cooking), spoilage and "downstream" waste, and amounts consumed by pets (compare dressed weight)

So, in short, human meat consumption in this stats is always overstated (for good reasons, we produce it anyway, it's not coming from outer space).

> For example, the FAO (2002) figure for Denmark, which has one of the highest meat export rates compared to its population, was 145.9 kg (322 lb) (highest in the world). More recent FAO figures (2009) have taken the earlier discrepancy into account, resulting in a significantly lower 95.2 kg (210 lb) for Denmark (13th in the world). When further adjusted for loss, calculations by DTU Fødevareinstituttet suggest the actual consumption was 48 kg (106 lb) per adult

But your cat instead eats 300 grams of meat everyday, there's no margin of error, multiplied by 365 days it amount to 109,5 kgs.

Make no mistake, your cat could be actually eating 2.28 times more meat than the average Danish person.

> the cat food is usually between 40 and 90% meat while the rest is fillers

While instead humans eat only filet and steaks, no bones, no fat, nothing else, only steaks, right?

Well, haggis would like to show you something.

Also, the centenarian Italian tradition of cooking entrails would like a word.

If you seat at a table with my mom and her four sisters, they constantly fight to eat the neck and feet of the chicken.

While my sister prefers the liver and the giblets.

I, on the other hand, love the "fagioli con le cotiche" (beans and pork rind) cooked in the pignata and served with a tomato sauce cooked together with an ham bone. What's not to love?

https://www.nerinoumbro.it/wp-content/uploads/2018/05/Fagiol...
I could not watch your whole video. The cruelty of these "rescuer" rings defies belief.

The sad thing is that the perpetrators of this cruelty were probably driven to it through poverty.

The solution that I naturally think of is to pressure YouTube to turn off monetization for videos depicting cruelty, genuine or not.

This is something they have the resources to do and we could make it expensive for them not to do it through public perception.

Are there better solutions we can apply to disincentivize this kind of cruelty?
Fellow Research: The Decentralized Web of Hate
I hope everyone here has seen the complete "Connections" (the original ten episodes). Almost certainly the inspiration for Sagan's "Cosmos".

In addition to each episode being fascinating, he ties it all up with a bow in a fascinating final episode.

Some of the Cold War, super-power paranoia might seem a little dated, but the "Future Shock" stuff seems just as relevant today, 40+ years later.
Nietzsche's criticisms of Stoicism are well-known and there exists a plethora of constructive responses. Some of his points are valid, particularly regarding an outdated concept of nature as an intelligent teleological universe, but some points are a bit of a strawman created for what seems to simply be persuasive effect.
> Registering a .es domain requires a scan of my drivers license. He handles that.

Maybe it’s different inside the EU compared to outside of it, but I have a few .es domains and I didn’t have to provide a scan of any ID to reg them, I did have to provide the ID’s number.

Now it might be that the ID number might be more easily queryable between EU states removing the need of a scan compared to counties, I’ve never looked into it. But it’s still a piece of information MM can just hold on to and handle when required for you.

I’m just sharing my own experiences with .es tlds, one thing I will say having a 3rd party like MM monitoring and handling your .es domains is they are now responsible for renewing them, if you miss the emails about your domain expiring because auto-renew failed due to an expired card and you fail to renew in time there is little to no grace time compared to other tlds. That one almost bit me on the arse once :-(
Elon Musk recruiting engineers for Giga Berlin in person tomorrow on site
Interesting that you end with a note about critical thinking.

OPs submission seems to link to a YT'r that is demonstrating a welcome dose of critical thinking. There are actually quite a few "critical thinking" YT channels that are worth checking out:

ex:

SolarSands on Liminal Spaces:
https://www.youtube.com/watch?v=u_dRqMDgdp8

Nightmare Masterclass's "More Human Than Human"
https://www.youtube.com/watch?v=gcQk3qM3Ok0

Nightmind on Found Footage videos
https://www.youtube.com/watch?v=muVeWfeHfTA

Note that I'm not particularly agreeing with the presumptions/premises/conclusions of these channels. Just showing some optimism that someone out there is flexing their critical thinking skills and drawing quite the crowd.
The defendant doesn't need to say anything, that's the point. The prosecution has to do all the leg work. And they may literally have no other evidence.

- Can the prosecution show where and how Mr. X moved the funds while he was in jail?

- Can they show who he communicated with or ordered to abscond these funds?

- Can they identify who controls the funds now?

- Can they identify anyone else who may have had control of these funds while in their previous wallet?

- Can the prosecution rule with 100% certainty that this was not a hack or theft by some other party, including police?

The answer to those is probably no. Is that enough to convince a judge/jury of reasonable doubt? I'm not a lawyer.
Isn't this what the BBC used to do?[0]

[0]: https://www.independent.co.uk/voices/bbc-david-attenborough-...
I've got over 90hp in my modified 1275 S road engine and Swiftune can build you one around 125hp (https://swiftune.com/engine-building/competition-engines-his...). A highly modified classic mini is a visceral experience, even when operating within the speed limit and especially on 10 inch wheels. Excuse me I have to go for a drive..... I also have a clubman shell I want to do something with, vtec, motorcycle or electric? hmmmmm
> Proof of stake is more like a "closed system", leading to higher wealth concentration over the long term

Unlike Proof of Work, Proof of Stake is not a coin distribution method.
PoS-only block chains just create all initial coins out of thin air, like a 100% ICO, which is the worst possible concentration of wealth.
I doubt that this’ll happen.

Gasoline is only financially viable because of oil refinery at scale. Once electrification begins to take hold gasoline prices are going to suffer destabilizing swings as low demand drives prices down and bankrupt refineries drive prices up again. These swings are going to drive more consumers over to EVs for purely economic reasons, since at least an EV is price stable to charge.

Once it’s done I doubt there’ll be enough hobbyist gasoline users around to fund a single refinery, let alone any distribution mechanisms. What few refineries that survive will be retooled (at great cost) to produce either the precursors for plastics, or kerosene for aviation fuel. What few ICE vehicles that will continue to work will probably use something akin to biodiesel, something doable in your shed if you’re brave, but extremely rare overall.
Ive had so many projects I've wanted to use erlang with because it seems a nearly perfect choice until I do more research. I really miss things like the bitstring syntax when stuck working in most other things.
Exactly. "Here's a video of a person being grievously injured... but we've put a laugh track on it, so now it's FUNNY!"

After AFV started increasing this I just had to stop watching it. YouTube of course has its share of Awful, just like everything else on the Internet.
Nix causes a visceral negative reaction in some people.
A Brief Timeline of Web Authentication (WebAuthn) Inc Google, Apple and GitHub
And other cities are bussing their homeless to NYC as well. How can NYC fund the entire countries homeless population?
I can't imagine classic cars will ever be banned, just like we have never banned horse carriages off our roads. The environmental impact of someone driving their ICE classic once in a blue moon is absolute zero.

Hell, some places(UK!) still sell leaded(!!!) petrol specifically for use in classic unmodified vehicles. It never got completely banned because the impact of someone taking a 100 year old carriage for a drive and burning couple litres of leaded petrol is absolutely not worth worrying about. Last I checked there were still 3 companies in UK authorized to sell it.
Clean code won't save the planet
The best thing you can do is mentor youth and encourage them to seek education and employment in a rising or at least mid-level city.

The long term trend is urbanization and clusterization of industries and homes. This means a lot of old cities and rural areas which were built around one factory will not grow back up. This is just reality.

The youth have a lot of their life still left. The sooner they invest their lives in rising cities, the better.
Show HN: Help Those Less Tech Savvy Understand How FB Collects Data
If Oracle ERP is your standard it might be hard to get anything modern. Thought experiment, for which product are you more confident about its longevity: Google Voice or Basecamp?
I'm currently actively working on a typechecking system for elixir (three packages: https://github.com/ityonemo/selectrix for compile-time interface, ../mavis for type logic, and ../mavis_inference for performing type inference on compiled code).

The chief difficulties I am running into are:

1) How to do intersections on functions and maps (this is in the article):

f(integer) -> integer is not usable as f(any) -> integer

2) not all of the erlang bytecode instructions are well documented

3) I still haven't figured out how to deal with circular dependencies at the module level.

Erlang makes this easy in these ways:

1) compiled module structure is simple and the way branching works makes the mechanics of type inference trivial.

2) erlangs concurrency makes dealing with, for example in-module dependencies trivial

3) there are only a handful of types in erlang so, aside from functions, their subtyping relationships are very straightforward.

Elixir makes this easy in these ways:

1) Typechecking structs can be more straightforward than records.

2) Writing a composable type logic (mavis) is super easy with elixir's protocols

3) I built (and am refining) a very easy dsl that makes creating and testing logic for the beam opcodes less of a hair-tearing experience:

https://github.com/ityonemo/mavis_inference/blob/main/lib/ty...
The SSD speed was always going to be the game changer, it’s more than just load times, which is already huge in helping the game play experience. It’s the type of yet imaginable game play allowed when you can load textures and game data in realtime.
> Social capital

Interesting, I've always used this phrase to mean "I have a certain amount of energy to spend at a social event before having to go home and recharge." Example: "I spent all my social capital visiting my wife's parents yesterday, can we move game night to tomorrow night?"

TIL the phrase already has an actual meaning- one that's different. Thank you!
Smart marketing, bad timing. Asking to move in February 2021 might become problematic, as the covid spread in Europe is growing. If they picked April it would have been much better.
> It's funny that we assume historical things must be significant, even though in our day-to-day lives there are plenty of things that are just ... kind of silly.

No, it's not funny. Literacy was rare and symbolism was literally much more common than text. Imagine how expensive books must be in a society where each book(often in Latin!) must be copied by hand. Who could afford books? How do you express meaning if most people can't read? Historic or mythical events were often shown like a comic book without text, be it on Trajan's column or in any reasonably old European church. Signboards (before shops, taverns etc) were giant pictures too. Pictures have the added benefit they're understood by traveling foreigners and merchants. Hard borders are a modern invention.
> Why would the person deciding who gets rich let someone else become such person?

No man rules alone. And no man is immortal.

If you are smart, ambitious and lucky enough to build a multibillion dollar company, you can put those faculties to work climbing the political ladder.
Note that the post is 2 years old. Much may have (and probably has) changed since then. I’m not sure why this is relevant to post now?
You're about a decade late with this comment.

Just like I won't expound on German healthcare policy, maybe you should reserve judgement on US healthcare policy until you actually know what you're talking about.
Aleph.js: The React Framework in Deno