skysight-inc/HackerNews huggingface dataset:
There seems to be a bigger problem lurking: surely it's better to instead write as little code as possible for only absolutely necessary programs. The program that doesn't run contributes the least amount of suffering. That of course opens up a whole can of worms of what's necessary.

Only then does this question becomes relevant. Of the programs that are necessary, they should of course be written as efficiently as possible. The work to write it efficiently is fairly trivial compared to deciding what programs are necessary.
TL;DR - I don't like Rust.
I never managed to fully get into MongoDB and work with it. Document model just does not work for me, having worked with relational databases for nearly 12 years.
The worst part of the ads was the testimonial by a former state government official with her title below her name leading the viewers to believe that the state was endorsing these crazy statements that letting your local mechanic be able to work on your car is somehow enabling domestic assault. I'm glad the ads will be off the air now that the election is over.
I see absolutely no point in doing this. For example a network connection may occur any time I execute database query. Why should I handle it? Transaction will be automatically reverted to the previous state without me doing anything. Saves a lot of time (because I have to write much less code) and I never had any issues with this in 15 years.
Raptors are really interesting from a recognition perspective. Since volunteering at the Hawk Conservation Trust in the UK I've learnt lots of useful tips that apply even when you can just see a little silhouette. For example:

- Falcons have relatively scythe-shaped wings while Hawks have more rounded wings relative to Falcons

- Hawks and Eagles have more pronounced 'fingers' at the ends of their wings relative to Falcons

- Buzzards and Kites: Buzzards are more stubby and have a diamond shaped tail; Kites have longer wings and a forked tail

- There are similar differences with respect to the length of the tail.

Some raptors have diagnostic flight patterns: Kestrels hover in place, Kites perform extremely dynamic acrobatics, especially in groups. Even when you can see the plumage, it doesn't always help - there can be significant differences between juveniles and adult males and females.
They are not crazy, they are just of the "I'm doing it!" instead of the "Do you think this is the best?" kind of people. They created some very good stuff (yeah, stack is great, even though I mostly stop at cabal myself), but that's not a committee member attitude.

Anyway, its not a big deal. I even doubt they will have more or less influence over anything because of that decision. It's not like unofficial communication will stop.
I'm merely using Dropbox on Android to scan and upload documents without issues.

For big ass folders and files I use syncthing, tho.
> Well, as I understand this is an assumption, not the result of a dedicated study.

I'm not sure what you're angling for?

Some kind of falsifiable proof about where it makes sense to put engineering effort and complexity? You're not going to find that sorry nobody's ever been able to seriously quantify those kind of things.

> I made similar observations

Well then why are we arguing about it if it's apparent to both of us?
Yes, but if it's worthwhile, people will already do it for other reasons, like the ones you listed (decreased cooling costs, decreased server costs, decreased bandwidth costs)
This is amazing. As a programmer/lifter I love this idea and will try it out
Yeah I agree.. But I guess dropbox will ultimately turn back into the USB-Drive they wanted to be.
No, they did three parts so they could hit the front page three times. The whole thing is clearly a Dark marketing campaign but people upvote it so the community must like it.
Hear hear. Stop trying to convince me I'm a business while we're at it.

I found the price point for me, I'm a clever like that
janpot, I think you maybe reacting to a strawman. It's clearly never in the public's interest to favor ANYTHING over the public's interest. There are, however, many cases when it is in the public's global interest for a corporation's local interests to outweigh individuals' local interests. Most arguments people make in support of corporation's rights can be reduced to 1) identifying the anti-corporate interest as a local one, 2) identifying the public benefit created/maintained by supporting a corporation's rights, and 3) say 2)>1).

An extreme example I expect you'd agree with to illustrate the structure:

* Individuals shouldn't just be able to take corporations' property without compensation. Individuals' being able to obtain a TV just by taking it from Best Buy would undoubtedly be a benefit. However, it would mean no sane retailer would stay in business. Having a functioning retail economy is more important to me than getting a free TV.

The equivalent argument here is:

* Developing cars is hard, expensive work that benefits the public (improved safety, reduced emissions, etc.). If retail car prices were just a bit lower, many more people could afford them, allowing them to access jobs and escape poverty. One way to lower retail car prices is to allow manufacturers to sell telemetry data from cars. They'll still need to compete on price for customers, but since they'll have this new data revenue stream, they'll be able to lower consumer prices further while still covering their costs. If you care more about poverty than you do about data privacy, you should support letting manufacturers sell usage data.

I happen not to buy that argument and voted Yes on this measure, but I hope it clarifies how conceptually, people can be for corporations on issues where giving corporations more or fewer rights is at issue.
Once they started changing their product like this, I moved all of my personal stuff over to iCloud Drive. I was already paying for it anyway. It’s maybe a bit pokey, but I never have problems with it.

I sympathize.
> - Instantly collapsable/expandable lists (I guess maybe vim folds by indentation could be used?)

Yes, `set foldmethod=indent`

> - Open sub-list in new window

This is something I'm not sure exists as a ready-made solution, you'll have to write a function for that. It's trivial for the majority of cases though.

> - Mark a "task" as done

> - Basic text formatting (italics/strikethrough/monospace)

I use vimwiki that has this, there are a lot of other ways to achieve the same.

> - Easy way to "search everything, show a list of results, jump to the context of the chosen result"

fzf.vim. The above and also supports fuzzy search.
Octotree and AGPL
They're both bad.

Meat is a disaster for the environment, in terms of the resources that grazing animals take, and the total energy needed for the same caloric amount of food from animals.

Meat needs to slowly be eventually banned. Plant-based meat is getting better and better. Initially, we should start with a limit on meat sales, and then gradually reduce the limit until it reaches zero.

And then impose sanctions, tariffs or embargoes on countries that refuse to reduce/stop meat consumption.
Google Snippet: To make one fur coat, it takes 150-300 chinchillas, 200-250 squirrels, 50-60 minks, or 15-40 foxes, depending on the animals' subspecies.
In most cases it will be hard to calculate if the extra effort will be worth it.

If you spend too much time optimizing something that will not be used much, you lose the opportunity to automate something else and make a greater difference overall.
Premise 5 is the most uncertain for me. Inefficient code takes longer per a run, but it also imposes a time cost on running it that makes it less popular. A more efficient library induces demand. I have no idea what the balance point is.
Ultimately it was a no-brainer to choose F#.

Their current code base is in OCaml. Porting code from OCaml to F# sounds about as painful as moving from Python 2 to 3[1], which while painful, is waaay better than a total re-write. F# has much better libraries and ecosystem (because it is built on .NET). Their frustration was with the libraries and ecosystem of OCaml, not its syntax[2]. So, if they switch to F#, much of their core logic remains syntactically the same, and simply needs reworking (rather than rewriting). They also have to retool/call .NET libraries instead of C/OCaml ones, of course, but this is really the point of the move anyway.

So: better libraries for what they're doing, not a total rewrite (just a re-work), preserve the overall codebase's structure, less disruption. It just makes good business sense to me.

[1]: https://stackoverflow.com/questions/4239121/code-compatibili...

[2]: https://blog.darklang.com/leaving-ocaml/
funnily enough that's actually how I was allowed to marry my Austrian wife.

She was pregnant this summer and we tried to get married but because I had an american birth certificate I wasn't allowed to, because the certificate didn't have an "apostille" which is a stamp that can only be issued by the state of birth (Austin,TX) but we live in Austria (Europe).

I found a legal loop hole that stated if your birth certificate was lost in a war or would be substantially hard to get, you can get married without the certificate.

Thanks to the shutdown and the whole COVID desaster in the USA I was able to make the legal case for it and I was allowed to marry her :)
A city can function just fine with out a bunch of local by-laws controlling what you can and can't do on your own property and proactive enforcement of local codes and minor civil infractions that aren't harming anyone. I live in one such city (of similar size). It's awesome.

Portland's problem in my observation is the wealth and cultural norms (not the same thing as the politics) of the tourists who become permanent residents and an economic impetus to keep things quaint looking for the tourists. Nobody wants tell the golden goose to stop crapping on the lawn.
In the case of C++ it is often noted by library writers that simple implementations often beat their most complex efforts in the real world: between the compiler optimizing better, and simple algorithms leading to less CPU stalls because of a cache miss

In the real world O(n) is faster than O(log n) on all real data. (that is data that fits in RAM)
You're giving human measures of value undue precedence here. It's the same way racists give precedence to their own race, colonialists give precedence to their own culture, and how most humans give precedence to their own species.

You belong to a certain group, in this case humans, and your tendency seems to be to apply measures of value that reward the traits at which your group naturally excels. Which all reduce to physiological traits which were no choice of your own.

If you can't judge one race superior to another for physiological differences (e.g skin color), then how can you in good conscious judge one species superior to another for the same thing, i.e. physiological differences?

I'm always surprised that people generally reject sexism, racism, nationalism, and various other forms of tribalism yet speciesism never seems to register as directly analogous and similarly worthy of condemnation.
but why would you need to rotate a cold wallet (presumably) key? Key rotating makes sense for your password or tls keys, because they're used on a regular basis on networked computers that can possibly be compromised. But if the private key is stored on an airgapped computer (or paper wallet) there would be no advantage. If anything pulling the computer out to do the signing presents more danger because there's opportunity for your house to be raided (by police or rival criminals) while you're doing the signing.
And still people actually living in Africa don’t know how to escape faster to Europe or, yes, even USA. Because, you know, freedom. Maybe you should tell them how awful it really is and how much better they had it before.
Uber and Lyft win battle over driver status in California
I think it's same reason why Designing Data Intensive Applications is in the top most popular books on safaribooks for quite some time now.

Many people are grinding for job interviews and many companies now copy FAANG and have a "systems design" round, Paxos/Raft is one of the key topics there, thus it's discovered by more and more people.
Hahaha, thanks for the laugh, and the explanation (you too redwoolf)
A potential employer doing that will open themselves up to some serious legal problems.

"Oh, you committed code to a repo I consider dubious though nothing proven... hmmm not sure I'll hire you".

"Oh, you shop at a store run by a non-white person.... hmmm not sure I'll hire you".

"Oh, you follow a religion, but I'm atheist... hmmm not sure I'll hire you".

... the list goes on.
FILExt – Open, view and convert unknown files
IIRC the author has a PhD in CS, and his thesis work was on PLT.
Building a time tracking SaaS using Django and Vue (info)
How do we start moving away from canned outreach tactics?
Thanks for writing this Paul; Rust is not going to be for everyone, and it's always nice to see reasoning laid out.

For whatever it's worth, I wish I had more time to contribute some code back when you were asking for examples. It kinda felt to me like a lot of your code was trying to write OCaml in Rust, which causes a lot of this friction. But it was only a feeling; I didn't have the capacity to really dig in. It is also very true that taking time to get up to "what is the Rust-y way to do this" is a challenge for folks learning Rust, and a valid reason to use a language that works closer to how your brain works.

I'm excited to see how F# works out for you; it's something I've always wanted to spend some time with, but never found the chance to actually do so.
Network Observability Challenges with Remote Workers
We've Rarely Seen a Dinosaur Brain Like This Before
I agree with you, but work is being done.

The problem is that AI isn't AGI. So a robot that can pick strawberries (exists, is in commercial use) cannot also pick apples (also a robot in commercial use). The apple robot needed its own R&D cycle. Grapes are different again, and olives, and lemons, and cherries, and almonds... And that's just horticulture.

In a highly diversified economy, it is going to take multiple decades and person-millenia of effort for the AI we have to show much impact.
Portland, Oregon already passed a similar law. Both of them seem a little ambiguous to me: they both clearly ban the city's use, and ban the city from allowing corporate use in public places, but do they ban the private use of facial recognition by individuals on public property? Does failing to specifically ban this constitute authorization?

It's been reported that protesters in Portland OR and other places have been using facial recognition to identify police who don't have visible badges -- so I am wondering if this is banned.
Mergerfs: A Featureful Union Filesystem
Same Kim Dotcom that pushed the Setch Rich conspiracy and falsely claimed to have proof that he was the leaker to WikiLeaks. I have a feeling there is more happening behind the scenes than just copyright infringement.
Perhaps keeping humans in packed conditions should also be reevaluated. My whole family hasn't had as much as a cold since the lockdown began. Many others seem to be experiencing the same benefits.
> Erlang is mostly used in servers i think they might see this as a good compromise.

I'm not sure what the differences will be but start up time is still a very big deal for web servers.

For example I can start up a non-Dockerized Python / gunicorn app with 8,000 lines of code and 50+ package dependencies in about 400ms on a $5 a month DigitalOcean server without doing any type of optimizations.

For someone who just wants to deploy a project to 1 server that means there's only 400ms of down time when I restart my server.

If a runtime takes let's say 10 seconds to start up, that could be enough of a deterrent to not use it if you know you're going down the route of a single server deploy.
It was originally set up to cater for folk photographing low flyhing in the Welsh mountains, particularly around the Mach Loop. So it's historically a subscription service with its own ICAO lookup database for military aircraft in the UK, which is very accurate indeed...

Now anyone can subscribe to 360radar, but it is limited to the UK and a small part of northern Europe. It's not the cheapest service, but if you're an aviation photographer in the UK it and its linked community are a key resource.
> That being said, I have a feeling that the author lacks programming expertise to develop a language (I am not saying this in an offensive way). They are dodging things that are needed to build a language (memory management, choices of libraries etc.).

The author is Paul Biggar, a former Sr. Compiler Engineer @ Mozilla and founder of CircleCI.
So much of the reaction to the Columbine shooting was the event itself and not why it happened. I'm not trying to excuse the tragedy there. Only pointing out that if you push people they may snap, and even if they were in the wrong in snapping the effects of the snap still remains.

My high school was and is extremely highly regarded and was a torture chamber for some people. My kids have grown up with the oversteer and their experiences were much better (in other schools) thankfully.
It is....hard to take this article seriously when it compares the Chinese cultural revolution’s forced resettlement of millions of people to white collar workers moving out of Silicon Valley voluntarily because they CAN work remotely and WANT to save money. Even as an interesting anecdote/analogy to open the article with. The lack of perspective is a bit mind boggling to me. Like, the former fucked up quite literally an entire generation of people.
>so coindesk/Coinbase is out of question here

coindesk is a blog, not an exchange.
I was happy to see the C64 called out near the end of this. I love that machine, and the Amiga so much. And reading about this Pi 400 the other day truly struck me in the same vein. I honestly don't care much about the couple obvious shortcomings, for $100, this is a purely nostalgia purchase for me.

I could do with some case color options, but that's a small niggle given what this thing can do. And I appreciate the focus on price point. Old school design constraints.
It absolutely should only take a couple of frames to make a video fullscreen, but to put things into perspective, on my 2015 macbook it takes 3-4 seconds to toggle fullscreen on youtube, and my much more powerful linux desktop isn't much faster.
> Which was the difference between "running a file-hosting service" and "knowingly hosting copyrighted material".

Every digital file is copyrighted (in practice). Some people are allowed to distribute some files, others aren't. You are claiming it's up to him to know who were allowed and who were not, but I don't thing that's clear in any way.
Why do you need to build an editor too?

Side note, I've written a GC in rust (stop the world, compacting). It's not a cutting edge, concurrent generational GC but it's not that big of an undertaking. And it performs very well for small problem sets since memory is all slab allocated. Only a few hundred lines in Rust.

I do definitely see how writing a tree walking interpreter is non ideal in Rust if you don't have a ton of experience writing Rust. I have a tiny lisp in Rust compared to doing it in dynamic languages it is quite verbose and hard to grok.
> I'm not sure what you're angling for?

You assume that The important bit is removing object allocating, removing boxing, deep inlining, and specialisation... when you've done all that work the exact registers and instructions don't seem to really make a huge difference.

But it would be very interesting to have something like a scientific study about why Gral is indeed faster than other approaches.

> Well then why are we arguing about it if it's apparent to both of us?

Because I would like to understand the true reason to be able to improve my implementation (if feasible).

EDIT: as you claim textbooks about compiler design are wrong or not up to date, so my desire to have someone change that seems understandable, isn't it?
Forced marriage is the one that is forced by someone and you don't want it. There is no reason to put that word into quotes.

The fact that someone is getting financial advantage from that does not make it not forced if one of partners does not want it.
This argument assumes that the demand for CPU cycles is inelastic, i.e. that more efficient code will reduce consumption rather than increase demand. History shows this not to be true. If you provide extra capacity by whatever means, code efficiency included, people will find a way to use it.

The only effective way to stop climate change is a very aggressive global carbon tax. And good luck with that.
Cornell and Facebook AI Simplified Graph Learning Approach Outperforms SOTA GNNs
The obvious solution being to stop paying money for RIAA lawyers and use that money to defend against the RIAA lawyers, netting zero expense and twice positive PR.
From the web page:

Launching today, the ‘90 Day Finn’ program offers a free 90-day relocation package to Helsinki, Finland for selected U.S. tech professionals. The entrants and their families are invited to enjoy work-life balance unique to Finland and guided to stay safe amidst the global pandemic in a city that is run based on a pragmatic, science-driven approach.

Open for applications today, the program provides a new red-carpet entry scheme to Helsinki, one of the world’s leading technology hubs. Helsinki is the capital of Finland, a strong European democracy built on shared values and equality. Finland ranks the best in the world in happiness, a work-life balance, digital public services, education and environmental health, among others.

The ’90 Day Finn’ program is run by Helsinki Business Hub, the international trade and investment promotion agency for the Finnish capital region.

Helsinki Business Hub will ensure a smooth stay for the selected participants. Everything from needed documentation to housing, daycare, schools and healthcare will be arranged to suit the participants’ individual needs. In-person introductions to local technology hubs and business networks will help entrants get settled and up to speed.

“During a time of lockdowns, wildfires, social injustices and political turmoil, people living in strongly affected yet highly expensive areas have begun to ask themselves how they could have both a career and an enjoyable family life,” says Johanna Huurre, Marketing Communications Director at Helsinki Business Hub. “We decided to offer them an opportunity to experience what life has to offer outside of their regular hoods. In the Helsinki region, both singles, couples and families are able to combine work, family and leisure in a way that is hard to imagine for many Americans,” continues Johanna Huurre.