skysight-inc/HackerNews huggingface dataset:
A sad reality is how true this is. Anyone who had built up savings 10+ years ago was already completely wiped out. The situation will not significantly change with this adjustment. The day to day for the common citizen of Venezuela is the same: work as much as you can, and immediately convert your money into tangibles: food, sundries, tools if one can be lucky enough to afford them. These things will continue to increase in cost, wages will continue to increase at comparable rates. It's a trap where one has no choice but to continue producing and consuming, and the money is nothing more than a temporary stopover.
Yugoslavia did not have sanctions in the 80s, that was before the war. You are thinking about the sanctions that were imposed to the remainder of Yugoslavia (Serbia, Montenegro and Kosovo) in the mid and late 90s.
I worked for OCLC for about five years, so I have a lot of sympathy for the pains that archivists go through when trying to standardize content metadata.

Can't be that hard of a problem to solve, right? I mean, we're only talking about coming up with a good solution for cataloging the sum total of all human knowledge.

(Not a small undertaking.)

Libraries are caught between a rock and hard place. On the one hand, they have to be stewards of this gigantic and ever growing mound of paper, and on the other hand, they have to deal with the lofty ideas of the W3C and Tim Berners-Lee, trying to connect all of that paper to his early 2000s vision of the ultimate knowledge graph / the semantic web. No wonder we're sticking to MARC 21.

The only people using that web for research are universities. The rest of us are using WHATWG's spawn-of-satan hacked together platforms because the technology always moves faster than catalogued content. 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.
> 90% of life is just turning up for other people

I have to agree with that statement even though I find it disagreeable
By what metrics is Taiwan “failing” in any way? Their GDP per capita is almost 3x of China. They don’t live under constant surveillance. With what relatively few people they have they’ve created the world’s most advanced semiconductors fab.
I think the audience makes a huge difference. I mainly sell to a technical audience and Adwords stopped being effective for me years ago.
Indeed and the reported Exynos GPU utilizing AMD IP is likely a bit hot on phones but the sustained leaks for 3D games look promising, if they are accurate in that they were recorded for sustained activity then it sets a sort of upper bound on the power draw given it’s in a phone.

Peak:

https://twitter.com/fronttron/status/1430192491450363913?s=2...

Sustained:

https://twitter.com/fronttron/status/1434492507283279884?s=2...
Picnic | Senior Software Engineer | London, UK | ONSITE or REMOTE | Full time or contract

Keywords: React Native, TypeScript, RxJS, MobX, Node.js, PostgreSQL, Redis, SQLite, CQRS

Picnic is a new group chat app, built for close friends (https://picnic.chat).

Group chats matter, and they matter more than you might think. For billions of people, they've come to play a vital role in our most important relationships: the space online where our real friendships live. We believe the one-size-fits-all, functional apps where our group chats live today could be so much more. That's why we are on a mission to build a better home for people's favourite group chats: one that is more joyful, more intentional and more ethical.

It's an exceptionally good time to be joining our small but mighty founding team of top engineers from Facebook, Apple, Google and more. We are fresh from raising a £2.1m Seed round led by top tier VCs (announcement coming soon) and are backed by the likes of Robin Dunbar (the man behind Dunbar's number), Snapchat's 1st Engineer and many more world class operators.

We're looking to hire somebody who is comfortable working as a key part of a small team, with experience of having shipped consumer-facing mobile apps. The _Senior_ in our job title does not refer to how many years of experience you have (or your degree!), but to your general approach to development: you are able to think about the system and architecture as a whole, know enough about all aspects of the stack to effectively diagnose issues, and are able to pass your knowledge onto other members of the team.

If this sounds like your kind of thing, read more about who we are, what we're doing & how you might fit in here: https://www.notion.so/teampicnic/Senior-Software-Engineer-c8...
In my math PhD program I have not heard of anybody finishing in the 5 years allotted.
This has to be one of the most reprehensible pieces of flat-out propaganda I’ve seen from The Guardian.
It's been a problem since lawyers were invented. If you have a system of rules encoded in language subject to interpretation by fallible humans, you have a recipe for conflict and recrimination.

The problem these days seems to be the bloat and unnecessary complexity such that lawyers are now the only people who can play the game encoded by the rules. The rest of us peons are pieces on a game board.
Are you against carbon-free nuclear energy, or against payments propping such energy up?
In many cases this is only because of unnecessary duplication of languages and frameworks.

People wonder about whether they should create their back end in Ruby or PHP. People wonder about whether they should create their front end in Angular or React. People wonder about whether they should use MySQL or PostgreSQL for persistence. They wonder about which of the many OS distributions they should use for hosting their application.

But perhaps that's the true waste of time - maybe we shouldn't need multiple approaches to each problem. Maybe we'd only need one, which could then be the sole focus of the industry. The tooling would be incredible if there would be just one workflow to support. The technologies would be tightly integrated, since that's where all of the effort would go. And there could be models built around the language and frameworks to such a level that any usages of antipatterns could be immediately identified and even fixed automatically.

If you ask me, the millions of man-hours that have been spent on creating a brittle and fragmented landscape of tools that don't work well and make developer's knowledge obsolete in a few years while also urging people to do CV driven development are the real waste of time.

Of course, that's the reality that we live in but maybe for the developers in 500-1000 years it won't be that way.
I find the often ML-inspired syntax too high of a bar for most programmers to clear when being introduced to a language.

I think a syntax more similar to something like what is introduced here: https://shuangrimu.com/posts/language-agnostic-intro-to-depe... more accessible for a lot of programmers.

I separately think that proofs are actually a bit overblown when it comes to dependent types and that dependent types are most useful for specification, but often times could benefit from "fake" implementations.
California has a special summer blend of gas that has an unusual vapor pressure due to somewhat unique additives. The only people that make CA blend gas is, surprise surprise, in the high cost of business state, California. California effectively has a closed petroleum economy which has a dramatic impact on fuel prices. It's completely disconnected from Venezuela.
As with all bugs and edgecases this of course eventually became useful for some setups: https://www.reddit.com/r/factorio/comments/9bs4sx/my_new_kov...
Yuanda Robotics | Full-Stack Software Developer | Hanover, Germany | ONSITE | German-speaking | Full-time | https://www.yuanda-robotics.de

Yuanda Robotics develops collaborative industrial robots and supporting application software. We are hiring a Full-Stack developer to work on our upcoming SaaS platform. You should be comfortable writing code in TypeScript and be willing to work across the entire stack – infrastructure, database, application logic, GUI, CLI. Prior robotics experience is not required for this role.

Our stack: TypeScript, React, Node.js, serverless AWS

Your skills: Proficient in German and English, 3+ years relevant work experience

See the full job description (in German) and apply here: https://www.yuanda-robotics.de/jobs/full-stack-software-deve...
Cool! No offence, I went on a rant hoping to start a discussion about FP. The fact that you have a dependently typed language in 1000 lines is an amazing feat. Don’t want to take anything away from that. I just wish the functional community took readability more seriously is all
We need “unprecedented measures” to stop and reverse the “unprecedented” damage we have caused to the planet and its climate.

Desperate times call for desperate measures, and if the past year of climate catastrophes has shown us anything, it’s high time we act.

Yes, the proposed changes might be inconvenient but it’s time we suck it up and do the needful. Small steps are not good enough. We need drastic measures.
In my lessons about scheme (given by the french translator of TAOCP), I have the following essential characteristics:

- static binding

- closures (true)

- tail recursion

- garbage collector

s-expression or typing is a matter of choice, but, IMHO, if you lack one of the four previous items, it is not really a lisp.
> that will plausibly be signed into law in the United States in the 2020s

Its 2021... not a chance you can claim that. One thing that is certain is that the US wont pass the 3.5 trillion dollar bill - there is zero path forward for it at this point.
I think you made good trade-offs regarding the syntax. Your language needs to be simple in the sense that it should not be complicated to parse unambiguously. But it also had to remain somewhat usable.

I think you made a good choice: it's easy to parse, and not all that difficult to read for the people who are likely to use it, after some minutes of deliberate practice.

Sure, it's quite symbol-heavy, and it's not as clean as, say, Agda or Idris. But (after a few minutes of practice) I find the difficulty entirely comparable to reading Coq.

Unsurprisingly, people who by their own admission never use functional, much less dependently typed, programming languages won't find it easy to read. But nothing you can do would make it easy to read for them, any more than you can make Jack Sprat easy to read for those who do not speak any English. To convey what it does, you'd have to write it in an entirely different language, and it would lose its very purpose in the process.
This attitude is terrible and corrosive to your own sense of self-worth.

Yeah, life isn't fair, let alone performance reviews. No matter who you are, someone else has it easier, like the trust fund kid you see driving past in the Tesla, but do you think he's happy?

We all have to eat, so by all means take the next job that will pay you more. But when you're at that job, whatever you are working on, take pride in it! Always do the best you can, even if you hate your boss. This is not for the benefit of the company, it's for your own mental health and integrity. Over time this builds your skills and competence, which opens more doors. Petulantly slacking off because you weren't sufficiently recognized hurts no one but yourself; the universe does not care.
Welcome to Hacker News!

A good read to make sure you get heard here is to read this essay by HNs founder:

http://www.paulgraham.com/disagree.html
Posting to HN with a title that says “you can” makes your point moot no?
I have a suspicion that the great majority of businesses have no idea whether their advertising is effective or not. Of course this is encouraged by all the dark patterns you see in the Adwords control panel.
I get ~1.5s on the Lisp program and ~2.1s on the Rust program for fib(40), and ~186s vs. ~257s for fib(50). Did you forget to compile the Rust program with --release?
Well, half of it does not have to be necessarily implemented in the core (we are not talking of complex languages like Agda), but yeah, I think if you do not know anything about the PomPom will take some time to finalize it. But I am pretty sure if you have some knowledge about the core you can have a lot of progress in one day.
Actually, no. The OP's link is about government stupidity and yours is about people's despair. It's ok if someone can't tell the mortar tanker from petrol tanker. Not everbody work in the construction industry. The whole story is not fun for me, it's sad.
Inflation des not necessarily target rich people. In some cases the wealthy will have significant land holdings. These act as a store of wealth.

Inflation is damaging to ants who keep money aside in case of medical emergency or unemployment or retirement. It also eliminates short term debt interactions, such as where a business buys goods with 30 days to pay. This adds friction across the economy.
> they seem perfectly good to me

> What do you want

Usability that compares to even the most basic Android or iPhone onscreen keyboards would be nice. A keyboard is far more than an array of key buttons. Swipe to type, predictive text, autocorrection, responsiveness are the basic features, and linux keyboards don't even have that.
ETA prediction with Graph Neural Networks in Google Maps
> Good thread here that provides a counter-balance. https://twitter.com/nireyal/status/1443882540868063241?s=21

By the author of Hooked: How to Build Habit-Forming Products:

https://en.wikipedia.org/wiki/Nir_Eyal:

> In 2014 Eyal published his first book, Hooked: How to Build Habit-Forming Products, which became a Wall Street Journal best seller.[12][13] The title reflects Eyal's idea of the "hooked model", which aims to "build products that create habit-forming behavior in users via a looping cycle that consists of trigger, an action, a variable reward, and continued investment."[14]...

> Eyal has spoken out against proposals to regulate habit-forming technologies, arguing that it is an individual user's responsibility to control their own use of such products.[2]

Somehow I'm not surprised someone like that would be writing desperate yet underwhelming apologia for Facebook.
Redistricting plus midterm effects means that Democrats will lose their trifecta in January 2023. They’ll be unlikely to regain it, if they’re lucky, until the end of the decade. The party of climate denialism (the ones that start with R) isn’t going to get on board with climate legislation.

Also where do I state any certainty about the price tag?
This post is full of pitch forks aimed at the socialism bogeyman. It’s a bit more nuanced. I’m not going to defend that prick Maduro, however oil prices and sanctions haven’t helped their situation.
It sounds like the bill is proposing significant tax increases and the companies are fighting the tax increases. If I put a bill forward to lower taxes and execute baby seals, corporations would vote for it.
You seem to have confused several different things: Support for socialism, support for the ruling party, and legitimate elections.

Venezuelan elections have been widely critized as shams and have been largely boycotted by opposition parties in Venezuela.

Venezuela has significant oil wealth but has been ruled by a corrupt and autocratic single party for decades that has squandered and embezzled that wealth.
I'm sure 99% of Apple users would be happy with a popup on first use of Safari that asked "would you like to block adverts?". It would be no skin off Apple's nose.
Managing Secrets with Doppler in Django
I was going to comment about this as well. We've been unable to ship packages from Japan to the US for the past 20 months. I heard that as of yesterday we are now able to ship again, but all custom forms & address labels must be printed rather than hand-written.
Yeah, for now. I'm doing my part to change that. People love the fact uBlock Origin blocks the idiotic YouTube ads. There's always Brave if for some reason they can't stand Firefox.

And hey, if Apple will crack down on Facebook's espionage over privacy concerns, who says they won't do the same to these advertisers and their abusive surveillance capitalism? Maybe they'll realize that advertising is pure noise nobody cares about and block all ads in order to improve usability. Maybe one day they'll get pissed they aren't getting their fair 30% share of advertiser revenue and block them out of spite. Maybe they'll wake up one day and simply decide to kill the ads industry. Now that's a delusion worth having.
Better yet, the state needs to get out of the way of the private sector building things and let it create more supply. A friend of mine wanted to tear down and rebuild an old house he bought. Spent a year and a half trying to obtain all the permits and gave up. And that's a regular house on a plot of land that he already owns, the "easy" case. You can imagine what kind of insane bureaucratic hoops one would need to jump through to build anything that's "affordable" and therefore a little bit unconventional. My house tripled in value in 10 years. There's simply no way a glorified wooden box costs $2M. The "state" (and the restriction of supply) is the reason why.
I have been running/hosting Pritunl for myself and a few other organizations and so far no one has had any issue. I am currently using it to provide security to an organization and its 300 employees.

> especially when there is no 2FA available for the admin user

I host 2 other VPNS, one each instance of OpenVPN and Wireguard to secure my Pritunl setup. This way only I can access the Pritunl port 22 and the interface. I could just use one OpenVPN setup to do this but the other wireguard server acts as backup server to access the pritunl incase I loose access to OpenVPN server for some reason.
While comparatively stable, the US Dollar is able to fall to the same faults that many other currencies have in history.

There's only one form of money that's retained value for over 6000 years of human civilizatoin.
I did not mean that inflation is a means of taxing. Just as a byproduct of printing money.

If it is a problem that rich people sit on their land holdings and do not use the land to serve the public good, why not simply tax land holdings?
I have had the thought that there is something wrong, that I can access nearly any song of my choice on YouTube, with the small penalty of skipping an advert after 5 seconds.

Many of the adverts aren't even for products I'm interested in. They're either get-rich-quick schemes, or repeat-ad-nauseum ads for software like Grammerly, which I will never use.

If Google has some sort of complex picture about me, by invading my privacy, then they're certainly not using it to sell me anything I am interested in.

I guess if Google are funalling cash from advertisers to the record companies, then it will continue. But I have to wonder what would happen if advertisers actually look at how effective their advertisements are.

I feel I'm getting a good deal out of this arrangement.
I think you have yet to see electricity prices rise, in Europe we are paying alot per KWh right now only the bills haven't arrived yet (not to mention gas prices), November is going to be energy inflation resulting in debt deflationary hell (because they cannot lower rates) over here and with Evergrande and peak coal in China and the printing + fracking mess in US it's downhill from here.

Eventually you won't be able to afford anything beyond 10W! Javascript is not an option on 10W for action MMO games with real character graphics.

We are talking "metaverse" levels of complexity, and all the games both of you list are very simple compared to that.
Hmmm yes perhaps. Imagine a submission titled "A linear filter for DSP you can solder up yourself in a day". 95% on HN couldn't. Would the response "I’m constantly baffled by what electrical engineers call “simple”." be warranted? Maybe.
> Knowing there are 5 levels and Tesla is at level 2 does not in any way give one a notion of how autonomous the car is

It literally does. SAE levels [1] are very clear in terms of who is in control, human supervision/take over expectations and Operational Design Domain. It’s not at all about mistake percentage, so the SaaS analogy is irrelevant.

At the end of the day, if you’re still in level 2, it means you’re not fully autonomous because you can’t take passengers from point A to point B and handle mistakes, including safely pulling over when necessary. Tesla is nowhere close to doing this.

[1] https://www.sae.org/blog/sae-j3016-update
> Opposing it means you oppose ...

If life were so simple. Of course, the reality is this bill covers everything from child tax credits, paid leaves, to god knows what else.
The proposed changes include a $12,000 tax rebate on buying a new electric car, weatherization incentives for homes, and will probably include sweet deals on solar panels. Where’s the inconvenience?
It is similar to how many still don't belief in GC enabled systems languages.

If some big shot corporation with weight in the industry doesn't shove it down the throat of devs, then it isn't possible.

And regarding Lisp, most tutorials keep ignoring that arrays, structures, stack allocation, deterministic allocation,... are also part of Common Lisp.
Even at places that supported other browsers, it used to be that once every couple years they would pick a new browser version, they would have an entire team spend 18 months testing it on all the applications in use, then roll that out and after a break for Christmas start again.

That blown got blown away completely when Chrome and Firefox started doing updates. People finally got the message that instead of for coding to browsers you code to standards.

The loser was IE because 1) they had been really loose with standards in feeble attempts to lock people in 2) they had stagnated for years while confident their market position could never be overturned 3) by stoically carrying the line that IE was actually part of the operating system and couldn’t be updated independently they locked themselves into a place where IE only got major updates along with major OS releases 4) they had a mess of their double diamond titanium partner program members that would howl every time they tried to fix anything in IE because they had internal applications that depended on the broken behavior in IE and 5) BYOD happened and IT depts no longer had authoritarian control over browsers and their versions.

It worked out for the better I think. Today IE is only used to download Chrome or Firefox though I get a taste of the IE 6 experience trying to find a security profile for IE that actually allows me to hit a URL on the public internet, but it’s all good once you get one of the installers downloaded. Set the default browser to something else and never have to deal with IE again.