skysight-inc/HackerNews huggingface dataset:
What a great essay, I'm going to show this to my kids.

As someone who didn't do a PhD I always wonder what it would be like. I could never have done it in Humanities but I reckon a fair few of his observations are the same. At the time my main concern was the self-starter aspect of it: if I'm not given a specific task to do like I have been since the age of 6, how will I get anything done? I was also eager to go make money, largely to do with my background as a refugee kid. It also didn't seem to fit the common life plan of having kids sometime in the decade after university.

Specifically, how do you grapple with contributing something new? It occurred to me that that is a bit a of a lottery. You need to be digging somewhere that has something new, and you need to find it. But then I've also read a thesis or two and thought "hmm this is totally unsurprising and adjacent to this-or-that idea".

As with everything else that's enjoyable, it's ruined by politics: finding the right advisor, getting in the right program, being comfortable with living on a tiny budget, competing with all the other smart kids.

Seeing others doing and talking about PhDs, mainly in sciences, seems to have confirmed my main attitude on the idea: it's only a matter of effort to learn something that's established, eg I can read about quantum physics or relativity from someone who's spent decades digesting it, and thanks to diminishing marginal returns I'll be reasonably close to the edge without causing myself a mental health breakdown. It means I'll never know the cutting edge until it has become the establishment, but the upside is I can know the current orthodoxy on a wide range of subjects.
I do put money and effort into Linux development, which is why I find it frustrating that so many people working on libre software / hardware don't have usability in mind, but only some ego-driven idea of how they think it should be. Freedom for the sake of "having things my way" is childish and annoying. Freedom that is used to improve the ecosystem for the entire community is what is valuable about libre software.
Oh no, god forbid we try to drag ourselves into the 21st century, and get somewhere close to what every other modern democracy has offered for decades.
> They are, and it's true, even TODAY

Tesla claimed it was 5 years ago:

https://www.tesla.com/blog/all-tesla-cars-being-produced-now...

But it wasn't. And it still isn't.
Yes. You need NFC chipped phone and and NFC model YubiKey.

That also solves a major usability issue: instead of trying to juggle between a mobile application and a TOTP authenticator (on the same device!), or plugging in a USB adapter for authentication needs, you just quickly tap/wave your keyring next to the phone. Or take your phone quickly by your pocket when you need the second factor.
Well, they definitely weren't going to be driving them across the Darien Gap.
Yeah corporate apps had support for IE6 ...and that was it. If you weren't using the internal business tool with IE6, the developers were under no obligation to even respond to your email.

Another big thing was IE6 was supported by pretty much every online bank, particularly in South Korea, which is not a huge market, but SK was one of the last, most advanced economies to switch off IE6, primarily due to banking platforms.
Was involved with a project once upon a time that spent six months developing ontologies for event ticketing, not me thank god, but another team of about eight.

The delivered ontology got used twice or maybe three times, and it didn't cover all the corner cases we knew about.
That is how Python got its spotlight with "Python" libraries, which are actually C.

And that is how plenty of polyglot devs can enjoy their favourite language.
Modern vehicle weigh multiple tons, what's a half-ton battery really matter?

Also much of the weight is carbon and oxygen. LiFePO4 also (obviously) is substantially iron and phosphorous.

Li-Ion battery production had been growing at double-digit percentage for decades. I think they've proven you wrong many times over.

Finally, electric cars charge at ~96% efficiency, while hydrogen is something like 40%. I, for one, am not interested in paying 3x per mile.
Normal garbage from Vox.

The cultists being controlled by the Industrial Environmental complex believe two incorrect things

1. It's a large concern for humans.

2. It's a large concern for the environment.

Yet you can see here, repairing the environment barely even factors in. They can barely talk about the important of planting tree to keep the last of the ecosystems working.

The don't actually care about the environment, their cult is around caring about CO2 and it's effect on the environment. Because this is hard and is easier for the people to control them.

> away from species that locals prefer for firewood and animal fodder. In other words, residents of Himachal Pradesh actually had fewer useful forest resources.

Fucking fire wood kills, it's one of the biggest killers. Vox is to stupid to even relate it to humans and the importance of electricity everywhere.

HN loves to eat up the propaganda from bad governments and their faked tree plantings. And as Elon Musk points out it's easy to say but hard to do.

But tree planting makes the world better, with a lot of room for improvement to be worked on, it's just a shame people don't actually care about the environment and won't fund that.
Literally in the second paragraph:

> oppose the proposed $3.5tn budget bill put forward by Democrats

That makes it pretty clear to me that it's a $3.5TN budget bill. Also, that sentence is a link, so it's underlined. Difficult to miss.
"It's political" is true; but it's also true that it doesn't work as advertised.
The article says why. The US Chamber of Commerce has fought tooth and nail against climate legislation because they view themselves as "job creators" and see anything that threatens corporate profits as an existential threat to society.

They've only recently been forced to admit that climate change even exists, but it's still like pulling teeth because they insist that any solutions have to be technology driven from the private sector, with no mandates whatsoever from government.

Check out https://en.wikipedia.org/wiki/United_States_Chamber_of_Comme... and try to keep from retching.
Yeah - the consciousness is integrated thing shows a lack of experience with both drugs and schizophrenia
> They are, and it's true, even TODAY

That’s a very strong claim that needs to be substantiated with evidence.

Do you have evidence of a ‘Full Self Driving’ Level 5, Robotaxi without a steering wheel made by Tesla Inc. existing on the roads today?
I assumed 80s was a typo and you were referring to https://en.m.wikipedia.org/wiki/Hyperinflation_in_the_Federa...
I didn't use --release, but I also didn't use an optimization declaration in lisp.
Turns out there's a cost to guaranteeing a certain quality of life, without requiring the productivity that was previously needed to secure it. Capitalism has its faults, but for the day to day management of a population, rewarding those who produce goods is a pretty logical baseline for economics
Strange bug in Django-stripe library and the more stranger way to fix it
Your second last paragraph perfectly summed up my feeling about it. :p I don't want to touch it at first, since its scam/money laundering smell is very strong(and also environment impact) also I think overall thing is pretty stupid.

But after some time that I,um, "participate" in it, I can feel the lots of weird creative energy flowing in there, collectively. Not a thing we see often in today's world. It's quite rejuvenating, and crazy.
For further perspective, I also recommend reading Scott Alexander's retelling at

https://slatestarcodex.com/2017/05/26/the-atomic-bomb-consid...
> at the end of the day they felt to me like an accomplice.

Precisely, it’s a racket. The financial institutions take other people’s money, create more out of thin air to lend to other people while not checking very much whether they are who they claim they are so they can maximize their interest income, and offload most of the risk onto the government and strangers.
Summary: planting trees != growing trees, and it is often used as a token to gain political support while the ultimate outcome is dead trees.
Maybe have a chat with them and explain how it's affecting you?

If you are not comfortable having a chat like that you need to play it via an intermediate like HR, but remember that HR only acts in the companies interest.

I am not always in favor of the "victims should grow a thicker skin", but sadly that's how many need to survive in the workplace.

Try to judge others behavior like you would judge a rude child. If a child is rude you may think they are tired, stressed or hungry and not take it personally. If a VP is rude he must be a shithead, while stress might explain a lot as well.
It's a silly bikeshed, but I wish they'd gone for hyphens as separators rather than colons. There's something about

[abcd-ef12-3456-7890-abcd-ef12-3456-7890]

that's nicer to read than

[abcd:ef12:3456:7890:abcd:ef12:3456:7890]
When I have experienced this, I have understood it as a personality trait. I never thought it was due to organizational changes. But it could be, I guess.
Free information about overpriced digital trinkets, how amazing...
Maybe it is because of when you are doing this all day, you really don't see this anymore? I can read j/k just fine, as well as Haskell, but I find many imperative languages noisy and basically ugly and unreadable. I like things terse and as much as I can on 1 screen so I don't have to scroll or remember things (when you get older, remembering wtf something was called again gets pretty annoying; very strict static typing and defining types precisely (aka a zipcode or telephone number are not strings!) together with terse functional constructs help a lot; the IDE will know everything so you can focus on implementation).
Devs, what is the main problem you face with current job portals to land a job?
Mailing list: https://forms.gle/GM9N2jRXXm9yxcuu5
That inflation was even worse - but I did not experience it. Of course, sanctions, war, etc. greatly contributed to the hyperinflation in the 90s.
One thing I don't get: if in the entire industry $273bn were spent on ads in a year, how come that one company which derives most of its revenue from ads, such as Alphabet has a market cap several times larger?
As a programmer who has worked in enterprise, financial contexts and a big tech firm, I can assure you I have never been lacking in random non-programmers "educating" me about how to do my job, sometimes through the medium of passing regulations that don't make any technical sense. The idea that experts don't get interfered with normally is an academic idea, a projection of for they think the world works everywhere.

But fundamentally you're still conflating terms. Many people presented as experts by the academy, media and governments turn out on close inspection to not have actually proven themselves able to do the work! They are "experts" and "scientists" but not experts or scientists.
Was 90% sure this was going to be an article about homelessness in Dublin city centre (the real Dublin, not some imitator in Ohio :p)
All of the things you've listed aren't universally bad. Prisons keep bad people out of society (and yes, I'm aware that some folks shouldn't be in prison, and I wish that'd change, but majority are in the clink for violent crime). Nuclear weapons ensure superpowers can't attack each other - that's why we haven't had a world war in the past 76 years in spite of some pretty crazy tensions. Land mines make land invasions difficult and protect those who installed them. Harmful chemicals usually are not made just for the harm - they have their own useful functions. So I'd draw the line much further than that: somewhere near biological and chemical weapons which have no useful function at all, and do not help with maintaining peace.
PICO-8 – Fantasy Console
It certainly does, just not in US.

https://www.ordemengenheiros.pt/pt/a-ordem/colegios-e-especi...

No Portuguese university is allowed to call their computing degrees engineering without their approval, and in certain kinds of state related projects, the one putting their signature into the legal contracts has to have the professional title acknowledged.

Germany and Switzerland have a similar process for those carrying engineering on their title.

Either that or you have done it via a trade school, and people on the job have to have a kind of teaching certification for the school to approve the company as teaching place.
Recently I came across this bug where the Django stripe library in python would fail to sync data with Stripe.

After trying all the fixes, I came across this solution that suggested to remove the logo and icon from Stripe interface and doing so actually resolved the bug.

I was really surprised on how someone managed to debug such weird bug. Who would have thought that the logo you uploaded to Stripe website could cause the API to fail.

What are some unique/weird bugs you guys have encountered?
It has a lot more now than it did when I arrived here in 1986. Dramatically more so.
Chavism worked when oil was well above 100usd. 80 is still very low relatively to the rest of the 21st century
More data points from New Zealand, 2021:

36 parcels delivered, 11 parcels undelivered

Packet loss rate: 23%

From the US, 3 months: SparkFun: I placed an order on 2021-05-23, it arrived on 2021-08-16. Worse, the NS73M FM transmitter and the Raspberry Pi Zero W inside don't even work.

From the US: Nooelec: I ordered an SDR on 2021-06-09, and it still hasn't arrived.

From the US: 4 parcels from eBay sellers were delivered.

From China: From AliExpress, out of 31 orders, 5 of them have not been delivered. I tried to appeal one of them, AliExpress insist that it was delivered and refused to refund. Therefore I now have no recourse but to write negative feedback when parcels aren't delivered before the 90-day feedback deadline.

From China: From eBay: 4 undelivered (order dates between 2021-07-31 and 2021-08-14), 2 delivered.

From Hong Kong: From eBay: 1 undelivered (order date 2021-06-28)

From Germany: From eBay: 1 undelivered (order date 2021-07-06)

From Lithuania: From eBay: 1 delivered (order date 2021-02-05, delivered before 2021-03-19)

From Taiwan: a Christmas present arrived from my girlfriend in about 3 weeks. A birthday present from my girlfriend arrived very quickly, in about 10 days!

From France: a birthday present from parents arrived after about 3 weeks, thankfully just in time. Another parcel from them included an eBay order from France to France that was delivered quickly.

From Switzerland: another birthday present from parents, arrived after 6 weeks. They'd taken it to Geneva airport because they thought it would be quicker.
Consequences of Brexit
Earning 273 billion per year is much more valuable than owning 273 billion.
Dashdoc | Software engineers | Paris or Nantes, France | ONSITE 2 days/week | Full-time

We're building a next generation software platform for the freight trucking industry.

Lots of interesting challenges, great team! We're launching in 2 new countries next year.

We're looking for people who are autonomous and want to have an impact on the product. We work with the shape up method (no scrum!).

Also hiring product managers and designers.

https://www.welcometothejungle.com/fr/companies/dashdoc
How the Covid-19 antiviral treatment 'Molnupiravir' works
All that empty space doe
The syntax you presented is really very accessible. Of course, it makes things a little more verbose, but I think you are right, the path for bringing more attention to dependent types is probably making more accessible also. Btw, great article I will have a more detailed look after.
Everyone should be mandated to pre-fund their retirement accounts. Not doing so is part of why we get so many fewer government services while paying ever higher percentage of GDP.
The list is a mixed bag of past CVEs; discussions on challenges or concerns (some absolutely valid) with architecture, routing, emergent centralization and privacy; FUD social media/blogspam; past and current (but solvable) UX issues; reddit/twitter rants; etc. Many of the links are nothing-burgers but there are a few exceptions.

Specifically wrt to privacy, there are pitfalls and subtleties in using Lightning Network privately but it is doable. I think this article does a good job summarizing the current state [0].

IMO LN is secure enough to sleep well at night with open channels but you definitely want uptime monitoring and at least one watchtower hosted on separate infrastructure from the LN node, or great trust in whatever custodial wallet provider you may be using to not doxx you if you do and that's a concern. (Seriously though, any cryptocurrency going through any form of custodianship with any form of company/business will eventually have to be KYC’d and accounted for to authorities, if currently existing and planned regulations take effect. Self-custody and, for L2 like LN, self-hosting, takes some self-education but is the only way to get the true benefits of cryptocurrencies)

[0]: https://abytesjourney.com/lightning-privacy/
I got through a PhD in algebraic combinatorics in five years, but was definitely an outlier.

I had also taken and/or crashed a lot of grad classes during my last two years of undergrad (out of six, total, spread over five schools), so was probably a bit better prepared for the early years than others in my cohort. (There was also a funny system of allowing incoming students to take the first year prelims if they thought they could hack it. I aced algebra and bombed analysis in a legendary fashion, but didn't have to take the algebra test the following year as result. This /significantly/ reduced my stress load in the first year.)

Add in my undergrad time, though, and I graduated at a totally normal age...
The idea to define life as the creation of local negative entropy, in a sense pushing disorder out of a local space is not new, in fact that's the premise of Schrödingers 1944 book, What is Life?, which led him to speculate that human genetic information must be stored in something like a crystal, which he thought of as a prototypical structure for storing information, in a way anticipating the discovery of DNA.[1] (a helix instead of a crystal, but in principle not that far off)

I'm not sure I agree though with the connection between life and consciousness in the article. I think it's very possible to have things that are alive in that entropic-displacing sense that need not be conscious or intelligent at all, say fairly trivial, self-replicating machines.

https://en.wikipedia.org/wiki/What_Is_Life%3F
You are not understanding the point. You cannot actually measure incremental ROAS with basic statistics and easy Google/FB tools, because you would need to know how much they would have spent WITHOUT being exposed to the ads.
Speculation and conjecture, interesting but eh
For me its their achilles heel. Tried sining up earlier this year, the UI is a clusterfuck of products and services, I spent more time on google to find the right pages and the right description, comparison, and documentation of their products
There's a lot more illegal workers than last year which depresses wages, but aside from that things are looking up for American workers since Biden, AOC & Co. dismantled the evil America First guideline.

Inflation is temporary and it's really Trump's fault - he let the Covid-19 situation get out of hand, causing shortages, supply chain and logistics issues.

Wages can't keep up with Trumpflation, but they'd suck even more if the government didn't ensure that millions prefer to live off government handouts and no longer seek employment. Those who didn't get the memo still work, but at least don't get paid less!

It would have been much worse under Trump!
Do you need a cheap and easy to install SSL/TLS?
Depending on the age of those trees and what they do with them (hopefully homes) that's good
If you are going to get replaced by fresh out of college dev anyway, as well make money by switching companies lots of times.
I am not signing up for that mailing list because I don't know you and have no reason to trust you. Instead, I'll answer your question here.

I don't use job portals because I literally don't get paid enough to deal with having to jump through hoops like uploading my resume as a DOCX file and pasting a plain-text version into a web form.

Nor am I willing to put up with inflated requirements and missing information like what a company is prepared to pay me to work for them. I'd rather talk with people who know me when I want a new job, and bypass portals, HR, and the rest of the bullshit.
+1 for love2d, have done several ludum dares with it, and I can honestly say it's the perfect tool for the job.
Highly OT, but why did you use "smarter than I" instead of "smarter than me"? What is the difference between these two?
They aren't stupid - they know how that nonsense ends.

The rest of the inert, woke US enterprises should better join them ASAP before climatists run the entire world into the ground.
I feel the exact opposite. I love companies that can take a joke such as this and run with it. I’m definitely getting one of those even just for the novelty value of it. It’s a meme come true. I’ll probably reprogram what it does but the keycaps stay.
I agree that 99% of software developers are not engineers, not because software engineering isn't engineering, but because they are not doing software engineering. You can, and should, apply the principles of engineering to your development process, but hardly anyone does. Generous planning and foresight, objective measures of performance, an intimate understanding of the system you're deploying, etc.

A software developer glues together 400 node modules they don't understand and ships to Other People's Computers, then hands them their debit card when the load goes up. A software engineer knows that every line of code is accounted for, because they've actually done the accounting, and knew the scale requirements in advance (with error bars) and provisioned the infrastructure accordingly - with a budget.
One of the nice aspects of electric cars is going to be eliminating city polution and reducing road noise.

I have no idea what the CO2 impact would be and don't really care that much ("cutting CO2 will reset the climate to some state we like" sounds like wishful thinking and most of the talk in this space is ideologically coloured I don't even want to pay attention) but the improvement in urban living is going to be undeniable.
or putting it differently, it'd be really fun, if all of these 20 drivers voted for Brexit
IBM Computing Cheese cutter restoration
>> "Hell, at this point, GPT-3 is probably a better approach to knowledge processing than trying to piece together something actionable from a half baked information graph born of old programmers' utopian fever dreams."

Greatest thing I've read on HN. As a librarian and developer, can confirm. At least in most cases...(slipping back into fever dream)....
Were you able to repay debts with the inflated money?
Having to input my resume into a new format and needing to do take home projects or hackerranks just to apply.
What is thought? What is a thought?
I’m not arguing socialism or capitalism is great. I’m saying their crisis isn’t socialism in a vacuum, and lack of nuanced discussion in favour of capitalism vs socialism is getting kind of old.

It’s like thinking a program you wrote only has one bug.
Freebsd got past the issues by rewriting it, although it is not yet in a stable release will probably wait until 13.1