skysight-inc/HackerNews huggingface dataset:
I am not talking about problems in a couple of hundred years. I'm talking in 100s of millions to billions of years. It could be that no other animal is smart or organized enough to recycle carbon... and it may be trapped forever, trapping every potential life with it... and life may disappear never to be seen again.

Lack of biodiversity in the short term is a much smaller problem in comparision... specially considering that divergent evolution is a thing. Biodiversity is just a function of life, biomass and time. Hence, in the longer term, if nothing is done about this, biodiversity is going to be lost... because biomass will be lost... because of fossilization of carbon.

Useful nitrogen is not scarce compared to useful carbon. Remember that carbon has to be suspended in the air as CO2 for plants to capture it, trap solar energy and make it usable for the rest of the living beings. Carbon just happening to be on earth in other forms is not enough. So, we have 0.05% CO2 and 75% nitrogen in the atmosphere. We are definitely not running out of nitrogen. Similarly, earth is made up of 80% iron. We're not running out of it either. It's the CO2 that in danger of being lost because of fossilization.
Not sure where to start on this one.

a) there's some quality content on Netflix, Amazon, Disney. Even youtube has hidden gems, although you definitely have to dig or be in the know. If you choose to watch vacuous nonsense on n those platforms, that's your choice

b) and related is that the key word you left out there was "uninvited". I'm quite happy to watch vacuous nonsense when I choose. Sometimes that's what I'm in the mood for. It feels different when it's rammed down your throat

Basically, you're conflating two separate but often adjacent things - mainstream content and corporate advertising. The whole point of streaming is that you can have the first without having the second which is kind of unprecedented in recent entertainment history.

If your meta-point was to prove how cool you are because you eschew the mainstream then... congrats?
precast and otherwise pre-fabricated concrete has been in use for about as long as there's been concrete.
I haven't tried it but apparently you can compile to Nix from Dhall:

> You can use this compiler to program Nix using the Dhall language. This package targets people who wish Nix had a type system.

https://github.com/dhall-lang/dhall-haskell/tree/master/dhal...
What was your setup and when did it happen? True/Veracrypt or LUKS?
True, but in time it will escalate more, just as this escalation builds on the ones that came before it.

Just because a trap closes slowly doesn't mean it isn't a trap.
You’re not describing or defining quality. I’ll refer you to Zen and the Art of Motorcycle Maintenance for a real inquiry into what quality might mean.

You’re asking about companies that value the same “good engineering practices” you agree with or consider “good.” Companies exist to make money. Generally the only quality of code that concerns a company is how well it delivers business value. That priority may or may not align with your idea of good code. In my experience sometimes business value and what I think of as good code align, and sometimes they don’t.

Concerns about code quality usually matter at the team level, not the company (management) level. So really you’re asking how to find a team with values aligned with yours in regards to writing code. Finding a team you enjoy working with, in a company that allows the team to deliver business value without crushing constaints, will require some research on your part. Connections through developers who share your values and concerns will probably work best.
Search is also obscenely slow. I type a few characters, and then have to wait several seconds to see the note I need. Compared to its competitors that frontload the entire graph, it’s unusable.
The Earth is just a dot in the sphere around the Sun through which all the Sun's energy passes.
Wow that seems relatively quick. If you're comfortable, can you share the size of these sales and their geography?
Preparing people for jobs with targeted education and a test? The horror!
> Teaching the kids about the power imbalance directly instead of just decreeing "you have to share" is outstanding teaching, and certainly much more effective.

Uh huh, it sounds like you agree with me now? The article isn't about sharing lego. It's about using lego to teach kids about society, power structures, and capitalism. The article lays the ideology motivation of these teachers bare, it isn't hiding anything. You don't need to read between the lines because the article is quite open about all of this. This article is not about "teaching children to share Lego toys" as you previously claimed. It's about "Exploring power, ownership, and equity in an early childhood classroom". That's what the article says the article is about.
Uh...Steve said he didn't write them. That will cast serious doubt on this as more years pass.
About forced online accounts, MacOs is better than Windows (for now it does not force, I hope they won't in the future)
What do you think of dhall-nix? (I mentioned elsewhere itt.)
The Paradox of the Lizard Tail, Solved
base64 would be pretty neat! I also wonder what non-emoji unicode characters are commonly supported in paths... If say, CJK character sets were supported by most apps, single-character paths would even work.
It's worth considering the difference in CO2 emissions from the longer transit routes that would have previously been taken. Over the life of this tunnel, the net CO2 emissions are likely negative.
Unrelated to the article but relevant to the company's website, all of their 'browse rentals' pages end up in what appears to be a 404 page.
The rest of the lab/company uses python and collaborating with Julia code is difficult.
> Ideologically, I love nix. The syntax/language itself is a massive barrier IMO.

Really rooting for the Nickel project which is a new configuration language aims to allow for gradual typing and contracts for Nix expressions:

https://www.tweag.io/blog/2020-10-22-nickel-open-sourcing/
The future, as defined as what's a hot topic during next quarter's hype cycle.
Zoning laws, rent control, etc., are not a product of free markets.
What’s the appeal of deep voices in men?
Something about it reminds me of https://www.ft.com/ in how they use a non white background for a lot of the text. I find it pleasant to read on/with. It’s fun that the print version is also not white.
archive link - https://archive.is/fythn

will be interesting to see what happens. But from an efficiency perspective I can't see any reason companies would comply. There are almost no benefits but a lot of costs to requiring in person work
> most of the civilised world

Even without the spelling or the previous reference to GBP, I could have guessed nationality from your tone.
Fyi, everything the US mentioned is happening. Russian friendlies are being evacuated from Donetsk after buses magically appeared 10 hours ago.

False flags happened 2 hours ago. US warned for it 6 hours ago.

Removing every trade relation with Russia should be priority #1 atm.
...Wait, that's what I was saying. What do you mean by quite the opposite?
Sure but at some other point in time Intel had a denser process and TSMC caught up despite Intel also improving, so that fact alone doesn't give you a lot of certainty about the future.

> Or is there any objective metrics to determine which one is better, other than MTr/mm2?

There are many, many objective metrics. Many are interdependent, many are tunable or selectable within certain ranges, many are in opposition, most are highly secretive, and all of them influence he type of device being made, the circuit design, logic, in different ways.

Even the experts with all the data for a particular technology and with a particular device in mind can't necessarily tell at a glance whether a change would be worthwhile. And even the meaning of worthwhile varies for the end-user of the device depending where their workload is. Make the middle-performing transistor slightly faster and leakier? Great you can close timing at a few ps faster but the device uses more power and is hotter, good for some customers bad for others.

Even simple density is not that simple in the fine details. Density can be in opposition to leakage, switching speeds, wire RC and propagation delay, etc.

There isn't an easy way to compare and there never will be.
You need a strictly pure functional language to do what Nix does. It's able to determine if something is already installed (in a specific state) because it calculates a hash of the output. Side effects throw a wrench in all of that.
I read that as "GTK3" for a second and it made me giggle.
A bigger problem is that the command-line utilities (what git calls "porcelain") are full of jillions of inconsistencies. Some tools (nix-env) read ~/.nix-defexpr, others (nix-store) ignore it. Sometimes arguments are interpreted as filenames, sometimes as attrnames, and other times as a search query that nix will use to grind through some big list of package names.

The new "nix" command with subcommands ("nix env" instead of "nix-env") is much better, but has been stuck in "experimental status, breaking changes may occur at any time". Stabilizing the nix command syntax and deprecating nix-env/nix-store/nix-instantiate would go a long way.
Accept the offer but don't stop looking
The political contextualization of the article exists because this is a social justice magazine for activists called "Rethinking Schools." The "wrong outcomes" you're decrying come from people who are already entrenched in the same ideals that led this group to question modern education in the first place. Something tells me this isn't their target audience.

It's important to teach children at an early age about equality and empathy. Actively engaging with them over the course of weeks in order to help them understand complex ideas of power dynamics and community is commendable, not ridiculous.
The plural of Lego is Lego. The abomination of Legos shall not be said.
Is it just me or Notion is indeed too slow on Web?
In my experience, numba's killer feature is fast looping over numpy arrays. It does this extremely well. I work in an applied physics research lab, where we eschew matlab wherever possible. So we rely a lot on python, numpy and scipy. Even if we wanted to move to something like julia, it wouldn’t be practical. Every time we buy a new piece of equipment that has a python api and outputs a lot of data (we do a lot of work with picosecond resolution event timing), it’s going to use numpy.

Though if any numba developers come across this, I’d advise them to plan their upgrade process a little more carefully. The current numba conversion for python lists is due to be depreciated in favor of typed lists. But the typed list (List()) method is still too buggy. I experienced huge delays when popping and appending elements. Please flesh out these new methods before adding a bunch of warning messages about depreciation to the current builds.
I'm not sure they are doing that much better than the US. The completion date for this bridge is (currently) estimated at 2029. Fun sequence of sentences from its wiki page...

"and the tunnel idea received support from a large majority of the Danish parliament in January 2011. By 2012, therefore, the completion date had been pushed back to 2021, and in 2014 was estimated to be 2024, and then in 2015 delayed further to 2028. In 2020 it was delayed to 2029."

https://en.wikipedia.org/wiki/Fehmarn_Belt_Fixed_Link
Same techniques apply to many companies. And two hours a night for two years to get 100k in stock options that few can offer sounds like a good deal to me and many others.
You’ve been working full-time for seven or eight years, at several companies. Unless those were all very small companies you should have been exposed to quite a few colleagues already, programmers and otherwise. You build a network by establishing and maintaining relationships, and engaging with people who don’t do exactly what you do, or have exactly the same values. Some of my best professional leads came from friends and former co-working in marketing, sales, management.
Speed of light is unfortunately one of the main reasons to do region specific databases… you might be able to do it globally with some sort of clever UI to smooth out the effect of delay and maybe a kind of event stream ordering actions by time… but all depends on the purpose of the writes and how those writes impact other users…
Well you clearly feel strongly, but it came off as a bit harsh when the creator spent 12 years on these. How is this different than shareware or 30 day software trials or feature limited trials? Free stuff shows the quality, nature, general function. If you need more or need to use it commercially (to make money yourself), you have to pay to upgrade. Seems pretty much like this approach is analogous.
Plus the nixpkgs and nixos docs are generated from some weird hybrid docbook-markdown that mere mortals (well me at least) can't get to build. So we are stuck using the makes-my-eyes-bleed font on nixos.org, and the gigantic mile-long single-page manual format (which is nice sometimes, like for searching, but other times you want a TOC sidebar).

The documentation for the nix language is all done in mdbook, and is beautiful and easy to read. I wish the nixpkgs/nixos manuals were like that.
Not without unfortunate tradeoffs.

This motivated me to create PUREE (https://puree.cc). PUREE satisfies the "random-looking" goal, and in my (biased) opinion is easier to use than LUKS.

"Plausibile deniability" is a fuzzy, more complicated subject of which PUREE provides no claims.
I prefer the concept of innovative tech points. You get a small number, say 2, where you get to try something off the beaten path if you believe that will provide a competitive edge.
> unsavory industries such as meat processing.

I often wonder what the impact of these jobs is on the humans that are doing it. Half the reason I'm avoiding (supermarket) meat is that I feel bad about keeping these jobs alive. (The other reason is the animal suffering ofc.)
It sounds like this is similar in concept to Bazel, except the output of Bazel is a statically linked binary instead of a binary that dynamically links .so's with known SHAs.

In both cases you have a language that fully specifies how to hermetically and reproducibly build some output artifact(s) based on dependencies that are fixed down to the SHA.
I spent some time in Pontevedra Spain a few years ago, a city that has to a large extent gotten rid of cars. With some minor issues mostly around commercial traffic for goods and businesses, people overwhelmingly seemed to agree that it was a success. Business was up, local stores, restaurants and so on were doing much better, people were moving to the place again, and so on.

I hope more cities in Europe start similar initiatives, we have the good fortune that our cities are older than the car.
Hashicorp Packer is a nice way to declare container builds as code. The containers are reproducible as far as I can tell. The biggest advantage with Packer though, is that you can create several different types (dozens) of container and VM images (docker/OCI, LXC/LXD, qcow2, AWS, Google cloud, ...) from a single declaration.
Sure, perhaps I was reading too much into your comment. As another comment suggests, there is a big spectrum between disallowing social media entirely and allowing your child unrestricted access. The example you give here makes complete sense. I would just hesitate to ban it entirely in the same way I would hesitate to ban the things I listed entirely.
Meh. If you want "infinite capabilities and unlimited potential" you should learn the best tool for each job. Not the one that works ok all the time.
It’s behavior was more suggestive of Zeno's paradox than of single-threadedness.
... kinda like people who pretend that Zig is a competitor to Rust, and conveniently forget to mention that it does not promise memory safety.

I've been seeing a lot of "steal their thunder" type project positioning lately when something is a radical leap forward but requires major effort to learn -- like nix or rust.

People seem to have picked up on a strategy that if you can put together something inferior but easier to understand (zig doesn't need a borrow checker because it's memory-unsafe; ostree doesn't need a language because it ignores dependencies), and market it as an alternative to the radical thing, a much larger group of people will rally around the simpler thing instead of the radical thing because they feel threatened by the new thing that can't be learned in a weekend or even a week, and using only "20%-time" would take six months to master...

I'm going to get downvoted to hades for this, but it's true.
I get a little bit of sanity when I sit down and realize that my colleagues have written this new system in raw fucking JavaScript. The IDE saves me a few hours each day by renaming and highlighting variables for me. Still lots of cussing and needless flow interruptions but it helps.
I don't really check who's building my websites or little tools I purchase. It's not exactly wfh, it's just having your own business that does not require (much of) an office.
In what sense do you mean "sick"? I.e., "perverse" or "impressive"?
The comment you're replying to describes concerns about maintenance burden from the programmatic nature of Nix.

I think "declared in YAML, pointing to a Docker image", and "declared in Nix, pointing to some more Nix elsewhere in the codebase" is relatively moot to this point. (If you wrote the image, you'll know what it's expected to do; if you don't know the Nix you're pointing to, it's as opaque as a Docker image).

Configuring with a program vs using a plain structured file have different trade-offs.
I don’t recall a suspension of Charter Rights?
But because of federal sentencing guidelines, which Marvin Frankel helped establish, those kinds of discrepancies are no longer possible.
I would disagree with the implied dichotomy of 'criminal minds' and 'non-criminal minds', especially given the somewhat arbitrary nature of what we as a society decide is a crime worthy of prosecution. Possessing a bit of home-grown marijuana for personal use can give someone a criminal record the same as other more heinous crimes, and many employers will find it easier to blanket-reject anyone with a criminal record rather than dig into the context of each applicant.

Is the answer to not allow any sort of background checks? I would say no, but it also seems like there is a lot of room to improve our current system and find it in our societal heart to not perpetually punish a person for a past minor offense.
All citizens of the United States shall have the same right, in every State and Territory, as is enjoyed by white citizens thereof to inherit, purchase, lease, sell, hold, and convey real and personal property.
(R.S. § 1978.)

+

Every person who, under color of any statute, ordinance, regulation, custom, or usage, of any State or Territory or the District of Columbia, subjects, or causes to be subjected, any citizen of the United States or other person within the jurisdiction thereof to the deprivation of any rights, privileges, or immunities secured by the Constitution and laws, shall be liable to the party injured in an action at law, suit in equity, or other proper proceeding for redress, except that in any action brought against a judicial officer for an act or omission taken in such officer’s judicial capacity, injunctive relief shall not be granted unless a declaratory decree was violated or declaratory relief was unavailable. For the purposes of this section, any Act of Congress applicable exclusively to the District of Columbia shall be considered to be a statute of the District of Columbia.
(R.S. § 1979; Pub. L. 96–170, § 1, Dec. 29, 1979, 93 Stat. 1284; Pub. L. 104–317, title III, § 309(c), Oct. 19, 1996, 110 Stat. 3853.)

https://www.law.cornell.edu/uscode/text/42/1982

https://www.law.cornell.edu/uscode/text/42/1983
Incentives Structures
> Oh, but we do allow it to succeed.

You allowed the minimum wage to be increased? You allowed us to require companies to give maternity leave? You allowed us to expand SNAP benefits? If so, it's news to me.
> The underlying factors are deeper: in many places (read: along racial and other lines) it is difficult to get fresh fruits, vegetables and other healthy food

I've heard this argument a lot, but personally I've never been to an area in the US where you couldn't get to a Walmart or similar "cheap" supermarket in a reasonable drive and where you couldn't find basic fruits/vegetables.

Sure, it might not be your fancy organic bodega but they've got everything you need to eat right and it's not that expensive.

I mean, hell, even without fresh produce, you can buy rice, canned beans (black, pinto, garbanzo) and (non-syrup) canned fruit and that will be some of the cheapest food in the store.

It's really not that hard to eat healthy for cheap if you know what to buy.
It’s very obvious that you did not read more than the title.

How on earth did they not teach? It’s exactly what this article is all about.
Except it wasn’t the legos causing the trouble. It was a few kids. Instead of correcting those kids that were being selfish jerks they blamed the toy and punished everyone. Well those kids will still be selfish jerks, the problem remains.
See the video for answers:

After putting in a segment, the trench is backfilled with rocky material (over the segment), so that any buoyancy is negated by the fact that it's held down by a large layer of rocks. This layer presumably also prevents most, if not all, leaks from generating instant floods in the tunnel.

Lastly, once completed the project will result in 5 parallel, but mostly independent tunnels (two train tunnels, two highway tunnels, and a service tunnel between the highway tunnels). I presume that the tunnels can be isolated and waterproofed seperately.
I haven't heard of direct antagonism as such, but I do know there've been social media groups dedicated to defacing/destroying property, incl hacking/theft. Unless maybe you're one of the top 2-3, I don't think anyone has time (in eng at least) to do such things. From what I could tell, everyone does use custom software.

To your point about ISP competition, the original company in the space I was at was developing generic operations software. Our main (large) client decided to inhouse instead of continue the contract, and a smaller competitor bought us. Sharing platforms isn't really in the cards; the best you'll get is MDS[0] or GBFS[1], but those initiatives are typically led by municipalities or their vendors. The former is usually restricted to regulators, and the latter isn't always reliably implemented unless the market specifies it. These are also moving specs (markets want different versions, ofc), it was great fun!

As far as "winning" vs other motivations, remember that (afaik) none of these companies are profitable yet and the VCs aren't dong this for fun. The people I worked with cared very much about the mission, but the board doesn't always agree.

[0] https://github.com/openmobilityfoundation/mobility-data-spec...

[1] https://gbfs.mobilitydata.org/
Completely different situation. Those retro consoles are merely referencing the outdated but, for the old consoles, common classification, to indicate compatibility. They are not part of the race that once existed (i.e. you will hardly find a retro console claiming to be "better" because it can emulate 16bit consoles instead of 8bit ones).
Because you're advertising a product in a way that's deceitful, obviously. If I sell you a CPU and I say "yeah it's 4.5ghz", and it turns out it runs at 1.6ghz, it should be illegal to say "ghz is just a brand, it's marketing".
Thus at least you can have a local account without any attempt of Apple trying to force you not to, and then login to the app store with an apple id, if you want.
And yet, they exist.