skysight-inc/HackerNews huggingface dataset:
If you have a flat management structure sure, but in this case they knew they were breaking the company's change management procedures because they were going to "slip the code into production without anyone catching on"

I'll wager they were strongly warned they might not be so lucky if they try a stunt like this again. If something had gone wrong they'd all be out of a job and good luck getting a favorable reference.
This sounds interesting. Can you give a concrete example?

This seems to really fall into place with my feeling that heavily dependently typed data types Ans programs using them are hard to refactor as the invariants that you break in the refactor cascade through your entire program.

Separating them probably makes life easier
And there lies the difference that made my grandparents generation, albeit on the Allied side of WW2, the greatest generation. Not the willingness to go to war, that was enforced by drafts all over the globe back then. It was rather the total revamping of the economy, industry and society to support the war against the Nazis and Imperial Japanese. The UK went to rationing, and still people carried on in global struggle. The US produced all of three cars between 41 and 45 (I d have to look up sources here...). And don't even think about the hardships the USSR went through.

And here we are, pampered boomers and millenials, in a society so selfish and profit and status oriented that we are not willing to accept the slightest inconveniences, or god forbid tax increase, to tackle one of the biggest challenges we ever faced.
> [Safari is] the single most-used app on the platform.

No, that would be Google Chrome.
Hey....now that's Adblock usage I somehow overlook.

I remember can't browse IG more than a couple minutes on a phone because there is an ads for every 5 pictures, but I can browse it mindlessly on my PC with Adblock installed, because the experience is so clean.

Maybe they knew all along. :p
I also recommend the software foundations in coq https://softwarefoundations.cis.upenn.edu/.
So? You do realize that most people who write code can easily find other jobs, and are usually paid better for thinking outside the box, right?

>>if they try a stunt like this again

Dear Principal Skinner - I will never make management look like idiots again. Sincerely, Bart.
> Even the Windows calculator screws this up: it only accepts either . or , as input instead of both.

It does, however, always accept the . key on the numeric keypad, so many users won't really notice the discrepancy.
> Energy efficiency is important relative to other distribution methods.

The point is that energy efficiency is only one factor among all other. For example, it makes little difference if you blindly tag a 80% efficiency tag on a EV if afterwards you have to waste twice the energy to cart along a massive battery.

> If the efficiency is half that of electric, you can power half the cars you could with electric with existing energy supplies.

The point that you're missing is that said cars are also far heavier (the battery on a Tesla Model S weighs half a ton alone which contrasts with Toyota Mirai's 40kg fuel cell), which requires far more energy to move around. What matters is how much energy you actually waste while driving, because that's where all the energy is going.

> Hydrogen hasn't been adopted because it is expensive, dangerous, difficult to store and not as efficient as electric.

I disagree with any of those points, specially as some of them like the safety scaremongering are far-fetched, as they aren't really grounded on the real world.

The critical difference between EVs and hydrogen was that EVs benefitted from a fantastic marketing and PR push, investment in infrastructure and R&D effort from private companies pushing EVs that was able to budge the status quo and made them acceptable to the public in spite of their major drawbacks such as massive cost, autonomy restrictions, and long charging times.

This foot-in-the-door was further compounded by the way some states decided to invest heavily in EV subsidies and public infrastructure, which was completely absurd, unrealistic and politically impossible in the recent past.

EV's recent mass adoption acceptance is not a technical feat but a social and political one which happened to leverage a specific technology.
If trees are planted commercially, they’re often planted «too close» since not all of them survive to «old age». This makes them much more dense than what you’ll find in untouched nature. (That’s just one aspect, see other comments etc)
They were all Jewish. Jews are over-represented in Physics Nobel prize laureats, not just Hungarian Jews.
This doesn't sound right. It's a pretty big claim.
> also, given that you're calling it a "petrol" car - a Briticism

"Petrol" is the more common term. If anything, "gasoline" is an Americanism:

https://en.wikipedia.org/wiki/Gasoline#Etymology

> In most Commonwealth countries, the product is called "petrol", rather than "gasoline"

> The use of the word gasoline instead of petrol is uncommon outside North America,
Before I start I must say, I built IPv6 only datacenters and enterprise networks. I am saying from experience.

> Can’t just simply put one IPv6 router/firewall behind another. Not all IPv6 routers support DHCP-PD, and even if they did, you could have 2-3-4 levels of routers/firewalls at a business.

You cannot do this with IPv4 either. Routing has to work. It works for both IPv4 and In But if you are saying, you add 2-3-4 layers of NAT, this is just crazy.

> Can’t just simply open a firewall rule on the main site router to forward say HTTPS to an internal service. Why? Not all ISPs give static IPv6 prefixes, not all PCs/servers/devices support DHCP6 for static leases, and then there’s IPv6 privacy addresses.

ISPs not providing static prefixes is a particular ISP problem, not an IPv6 problem. If your ISP cannot hand out static IPv4, you have a similar problem and tge workaround would be what? Dynamic DNS?
Admittedly we had /32 and own ASN, but in remote offices where you don’t buy transit, you live on PA addresses (and of course they are static). From what I know, some ISPs don’t issue static prefixes to residential customers, but if you want to serve services from your prefix, use a stable prefix and a decent ISP.

Privacy addresses are intended for client-initiated traffic, so no matter how many privacy addresses your server has, the stable one is still there.

> WAN failover / multiple ISPs is hard. You have a fibre primary feed, and a secondary cellular/5G feed. Each has different IPv6 addresses. How do you ensure the right ISP is used at any given point?

By sending RA and expiring the old prefix on the failover. I admit, this is not an obvious solution and it may not be suitable for some edge cases.
Just Call Me the Interpreter: Translating Brand Strategy into Meaningful Visuals
Beauty is in the eye of the beholder obviously but I love how my Model 3 looks.
I don't live in the US, but I will still be subsidizing it. I work for an American corp. If the customers and owners of the company are paying more tax to Uncle Sam, they're gonna be paying less salary to me.
Well, from my point of view, elite-level education in humanities for most of the history was a privilege reserved for the elites (to define "elites", I will use a narrow definition of "not having to work for living", though there are some exceptions). So if you consider obtaining a PhD in humanities, you need to _plan_ that you won't be "working" for the rest of your life, either by the "virtue" of being born in a wealthy family, or by networking and targeting the privileged sinecures.

The system is unfortunately _designed_ to work this way.
It seemed kind of genius to me. The numbers look solid and easy to replicate. Talking about backup yachts is a lot more catchy than saying DBMS overprovisioning helps build fat margins for infrastructure providers.

(OK, the second formulation has a poetic ring to it for the accountants among us.)
Ah yes we used this and BadStore in the web security course of my university. Not very hard, but good for beginners.
What makes you think that ordinary human bodies are somehow a source of prions or that their composted remains are somehow different from the composted remains of wild life that actually already is in our food chain? The whole thing is more than a bit far fetched. People eat fish, collect berries from forest, mushrooms, eat deer, rabbits, etc. That's all fine. How is this different? We even eat lifestock that have been know to occasionally have outbreaks of prion related deceases (sheep, cows, etc).
I feel that static/lexical binding is more of a Scheme thing, though. The Lisp community used to be kind of on the fence on that for a while, even though it ultimately chose to go the same way.

Edit: And to be frank, while dynamic binding may be a horrible mistake in bigger projects, it sometime gives you exactly the easy way out that you may appreciate under time pressure. It's a classical case of "it seemed to be a good idea at the time".
> I can find a few sources if you want

Yes please. Thank you in advance!

> Jewish people (imho)

That was presented more as an impression than a data-based evaluation, but ok - it means HN has a little tolerance for para-intellectual bursts. :) (If all impressions were heartwarming, they would constitute less of a problem. They would probably not constitute a problem at all, if the mandate was clear that one's thoughts must duly be vetted.)
From the description, it takes advantage of belts being a little weird, but if it actually hits 100% that setup locks up.

Also, as pointed out, that setup can be made more reliable and not-glitch-using by making the bottom left corner of the loop a slower belt.
> Imagine needing a license to write software. It would mean the end of free and open source software as we know it.

i don't think so because as you said:

> It's about legal responsibility and liability. Make professional programmers directly responsible for the code they get paid to write.

we urgently need liability for for-profit software in order to stop softwares race to the bottom.
I think we need to try everything to see what’s most cost-effective: every possible solution has to deal with the enormous scale of the problem — ~36 gigatons of CO2 emitted each year, and we need an effective 99.9% reduction in CO2 emissions sustained for the next millennium.

That last 9.9%[0] is going to be incredibly hard if it was an actual reduction rather than some other solution, so carbon capture is probably important.

But that means that even if planting trees is only 360 megatons/year — 1% of the ultimate problem — it can still be a big part of the solution.

Might get replaced (economically speaking) with something more direct, like Sabatier-process fuels, but for now it’s worth trying. (But all that said, trying must always have the possibility of the answer being “no”).

[0] Guestimate on the basis that last-percent is generally more difficult than first-percent, and how much comes from each sector.
Funnily enough, a lot of low-level coding is easier in CL than C (especially bit wrangling, but CL:DISASSEMBLE makes for easy introspection of performance critical code too), it's usually the interface part with C centric OS that get easier using FFI wrappers.
I should not comment on this chain, just adding clarity on my behalf... all I've done in my "career" is web related stuff, mostly JavaScript paired with a backend... I've never used BT/BST only recently learned it for myself just to know what it is.

If you went through a CS path then I would say you should know about it. I'm trying to pick it up due to FOMO. I hear about it.
Are forestry subsidies better than CAP? Another problem is that it's one way, I've look at afforesting grazing land but since you can't clear the forest to revert to grazing it loses resale value.
And the reason why they are bulked into a single bill is to utilise the budget reconciliation procedure which bypasses the filibuster.

I think the filibuster has some merit. If you want to do something controversial (to the point that the opponents are willing to do the physical effort of making speeches 24h a day to stop it), there must be a strong majority of 60%, not just 50%. But there must be some sort of cost to filibusting.
Serious things need serious effort to spend money and allow resources. And the will to keep spending until you succeed.

Nobody would drive a car made by volunteers or go to a war without thinking into spending serious money so, why we still think that saving nature can be done cheaply?, why we think that can solve our biggest problem with just a beach shovel, a couple of donuts and praying for rain?

Hire a few people, by Picea's sake!

We need to put professionals that know what are doing here. They were replaced with free labor and let the saplings at the mercy of the weather and here are the poor results. School children doing unpaid job for a day is heartwarming, but bad management and mostly useless. Is just a publicity stunt.

Saving nature requires resources, not selfies.
Unicode Support for DIY Language
The PSP is there despite Linux. It's a co-processor running closed source firmware. With all respect, I seriously doubt your analysis is correct.
In a median 10W consumer compute future where that’s limited by electricity prices you’ll have much more pressing issues than “what does the metaverse look like”.

I do think your low powered engine project is very cool though.
"An unusual tradition - a hangover from a time when people used mustard for its medicinal properties - is that chemists sell julsenap at Christmas"
Trees if left alone will plant more trees in most places.

Humans really make a mess when they interfere with nature (i.e. humans caused the very climate emergency) and tree planting is often a kind of intervention for other people first; for carbon offset, charity, startup investment or to make people feel better, for example.

The huge tree planting campaigns are not really about ecosystem improvement and biodiversity. Just ask any ecologist.

They do raise consciousness in young people however, and in some places we do need to tend and water seedlings but...

We just need to let the land do its thing and literally do nothing to much of the world. However that to many people is more shocking.
> The only reason why one NFT is worth more than another is because of who issued it and what it's linked to. So to argue that the individual token's uniqueness is the only thing that matters is to reject the entire relationship between NFTs and artwork.

I don't really understand your concerns to be honest. It is exactly as you say. The connection to the artist and art matters.

Yes if an artist releases 10-editions for their JPEG image (which happens frequently), then those 10-editions may be semi-fungible, in the same way that say "floor-price cryptopunks" are, where many people are sort of happy to put them in a basket and trade the floor without caring too much about whether they have token 1 or 3. But someone might well decide to care, because token 1 is the one their grandfather used to own many years ago.

Some people may value the edition number 1 more than the remaining 9, but maybe edition 8 was previously owned by Elon Musk and carries a premium.

beeple can decide to release 10 thousand more tokens representing the artwork sold at Christies for $69m, equivalent in every way except the serial number It's anyone's guess what would happen, but presumably it would cost him in reputation, and the original would still be able to command a large premium.

Artists releasing physical prints also on occasion release another series some years after the first; Damien Hirst is releasing more dot paintings, and they are all so fucking similar they may well be considered fungible.
Ask HN: Why is Domain Squatting considered acceptable?
Domain Squatting as in immediately purchasing popular domains once they expire or are first available for purchase, sometimes on a large scale with automation.

While looking for domains for projects I have run into way too many great domains which just sit around unused. The owners ask for really high prices, usually in the thousands.

It's the same as real estate speculation - you buy property in a good district and don't touch it until someone urgently needs it or the price has gone up. A total waste.
We don't even need clinical reporting to tell that instagram has a bad effect on teens. Just observe a teenager of your family to see the values that are being taught through it. Is this how you want the next generation to be?

Facebook is such a terrible human manipulation company, and it has always been, and it's just sad to see the support it gets among technologists. Zuck doesn't strike me as particularly deep thinker (judging from his podcasts) to be able to steer his behavioral experiment to good, nor does he seem particularly well educated tbh. Even people who think they are doing good by being in the company (Clegg, Lecun) they are not helping, they re legitimizing a train wreck . I just hope people get bored and leave the behavioral treadmill before it s too late.
Brake dust is much less of an issue with electrics too, but agreed that tires are still a factor. But as someone who lived in urban centers for the majority of his life - I think getting down to tires being the major issue is solving the majority of the problem.
Because IPR law makes this kind of behaviour possible, and domain registry profits both ways as do UDRP lawyers.
Any given platform in Big Social has millions it can throw on tuning its GUI and algorithms to increase engagement—and they do, seeing as that directly translates into advertising revenue. Then, each user has to face all of this machinery alone, often exhausted and/or sleepy, at home, defences lowered. I think it’s wishful thinking to expect majority of users to be able to stay vigilant at all times.

Neither do I think we should “regulate habit-forming technologies”, though. That really smells of addressing a symptom and of government micro-management. Sure, we can try regulating those behemoths into acting altruistically, pass laws, fund departments dedicated to monitoring of habit-forming technology usage—but inevitably lawmakers will be lobbied by big tech, departments will be understaffed, regulations wouldn’t keep up with the new tech, loopholes will be found and exploited, corruption will occur, and this all will drag on… while the business model would find its way.

Which I think is the root cause: the business model. It should never have been possible at such scale. Any platform this size that survives off advertisement money either exploits its users, loses to the next competitor that does, or—in what’s possibly the worst outcome—becomes a strongly government-regulated (and by implication government-approved) almost-monopoly. The stark misalignment of the interests, unique to this industry, effectively makes the purported service provider (can it even be called that if the service is free, though?) an adversary from end user’s frame of reference.
I have experienced senior people behaving like this. The rub is when you are not in a position to challenge. Whether because of hierarchy or lack of complaints procedure. I bide my time and then leave. I have observed this is what happens in general. Bad manager, good workers quietly move on.
Good luck finding a new job without a reference from your most recent employer. I suppose someone who is deceitful enough to "slip the code into production without anyone catching on" wouldn't have a problem "thinking outside the box" to get around that though, if we're going down this road we might as well go all in.

My new employer may even increase my pay even further once they realize I diddled them with my last employer's reference to mask a termination for willful misconduct.

I got as frustrated with IE6 as the next developer but this doesn't give anyone license to resort to "guerrilla methods"
> This is true for values defined in code, but TypeScript cannot directly see data that comes in from eg. an API, and so can't infer types from it.

No, that's not right at all. TypeScript allows you to determine the exact type of an object in any code path through type assertions and type guards.

With TypeScript you can get an any instance from wherever, apply your checks, and from thereon either throw an error or narrow your any object into whatever type you're interested in.

I really do not know what leads you to believe that TypeScrip cannot handle static typing or input validation.
Seagrass and mangrove is even better: https://www.euronews.com/green/2021/09/29/seagrass-the-plant...

https://www.nature.com/articles/ngeo1123
This is a great time to checkout Air of Time: https://airoftime.com

It will hopefully make NFTs feel a little sensible :)
It seems you're discriminating positively.
The Jewish population in Hungary was very large at the time.
Many of them were just farmers. Some of them were doctors and engineers and business-men.
Those exceptional mathematicians were indeed an exception.
This is not to negatively discriminate.
Believing that an ethnicity has super-powers or super-flaws is a bias. You notice all the exceptions and don't notice all the other average samples that don't confirm your hypothesis.
Also small sample of populations are just more likely to have extreme values. This is more because of the narrow sample.

Finally on the language part, great scientists flew nazi countries from all over Europe. Only some of them were Hungarian-speaking. Enrico Fermi was from Rome, from a not particularly religious Catholic family. Enrico Fermi went to the US for better opportunities AND to protect his wife Laura whom was Jewish.
For your consideration I direct you to the struggles of developing Starcraft: https://www.codeofhonor.com/blog/tough-times-on-the-road-to-...

Whereupon a huge proportion of early bugs were programmers who believed they were easily smart enough to write doubly linked list handling methods proceeded to ongoingly and continually screw up writing doubly linked list handling methods while refusing to use standard functions.

This isn't hypothetical.
Yes, but due to ethical considerations. One doesn't have to agree with the outcome of his reasoning, but it's well established that his reasons were ethical, not cynical or egoistic.
Media startup Ozy shuts down after New York Times report raises concerns
I have an alternative $3.5 trillion climate bill. It's to spend $2.5 trillion dollars on purchasing carbon credits and spend $1 trillion as a paycheck for me for coming up with this brilliant bill. Don't agree? I guess you're just against saving the planet.

In all seriousness, I think that some of the proposals are even more handwavy about how they would decrease emissions than carbon credits. I also wouldn't be surprised if essentially $1 trillion will be spent pandering to the politicians' base rather than doing good for the nation. It's not too different from spending the money on yourself.
Pop-Up Holiday Shops and Downtown Parking Lots
A Retrofunding DAO to fund open source projects
I dont if it s revenue neutral if it means being absolutely not neutral on the people and groups contributing most to society's finances.

If that s the case then I agree they have a right to complain, if just on the fact nobody's made responsible but them for something that is everybody's fault.
Types of Organizational Culture to Know in 2021
Sure thing:

https://www.youtube.com/watch?v=VttbZAr1TBc

https://www.youtube.com/watch?v=e7otagz2NS0

https://www.youtube.com/watch?v=qC1PoqyZc_U

https://www.youtube.com/watch?v=xbw2ZB0Lbk8
Location: Toronto/Ontario

Remote: Yes

Willing to relocate: No

Technologies: JavaScript, TypeScript, React, Node, React Native, Rust, HTML,CSS, JSON

Resume/CV: https://www.nickasync.codes/#/

Email: nicktomthomas@zohomail.eu
Sometimes I wish climate change was a person, or an idea, that threatened capitalism rather than a scientific phenomenon so that the American propaganda machine would take action to mobilize the American people. Unfortunately, this is not the reality we live in.