skysight-inc/HackerNews huggingface dataset:
I've never had a truly terrible experience at the offer stage, but I do have one sort of dodgy story.

Interviewed at a startup, it was small but had just landed a VERY large customer in addition to series B so they were going nuts with the hiring. I daresay I did well during the interview and within a week we'd moved onto discussing salary etc.

Now for the non-Australian readers here superannuation is your mandatory retirement savings/investment fund. Your employer has to pay you a minimum % of your salary on top of your actual salary to your super fund and you can't touch it until a certain age. In 99.99% of cases employment contracts here will state your salary PLUS super so they'll say something like "$100,000 plus superannuation of x% paid fortnightly/monthly/whatever".

Back to the offer;

We agreed upon a figure, lets say it was $100k + options + superannuation (I have no memory, this was many years ago) - notice all the plusses here everything we talked about was IN ADDITION TO the base salary. A few days pass and I've heard nothing so I flick an email to the hiring manager, and still hear nothing back. A few more days pass and out of the blue I get a Docusign request containing my contract, yay!

Being young at the time I was just going to sign it immediately but I had a feeling in the back of my mind that I should double check, and sure enough they were trying to screw me over. The remuneration section read "$100,000 inclusive of superannuation and stock options value at $SomeAmount". They were trying to short change me somewhere in the ballpark of $30k by their own estimates. I called the hiring manager and of course he tried to pretend this was what we had discussed all along (it wasn't, because no one in Australia does that) so I told them to go jump.

Turns out I dodged a bullet - their one large customer sued them (quite publicly at the time), and Accenture or someone similar swooped in after that fact and bought the survivors for pennies on the dollar, and then fired everyone.
I love this comparison, similar to the “if my grandmother had wheels she would have been a bike”
If you can require people to pay taxes in your money, you made money.

They can't. They didn't.
They are trying to tell a story about how Dhall helps you avoid hard to notice errors, but they aren't doing a great job.

Would be cool if they had a three panel story:

* using json with the typo

* using dhall with the typo

* using dhall with variables to avoid the typo

Might be easier to understand.
But guidance is an incredibly weak standard. The CDC for example recommend you only eat steaks cooked to a temperature that works out to medium done or higher. I suspect I'm not even sure the guidance on the state level is actually different. I suspect just less reported on
I believe you may want a non-turing complete language for strict configuration.

But sometimes, as you indicate, you want VERY dynamic configuration. But I would argue then that such logic goes in your application itself and is not in fact part of your configuration.
> Or allow a leading comma

This actually works just fine.
How many serious bugs have there been in bitcoin?

All I’m talking about is a simple ledger, not the fancy smart contact nonsense.
My parents used to tell me that even if you are literally perfect 8% of people will dislike you.

Not a bad thought to shut down the tendency towards people pleasing.
I can't address your speculation or prove a negative, I can prove she endorsed or said those things.

It's in the wikipedia article linked by the GP. To help you out -

In September 2021, concerning COVID-19, she tweeted an article by Glenn Greenwald which argued that proof of a negative test is far more meaningful than proof of a vaccine, contradicting experts who argue that testing is insufficient and should be considered temporary to allow more time for vaccine hesitancy issues to be addressed.

Assuming she hasn't deleted her tweet:

https://twitter.com/bariweiss/status/1440687368957095940

She said she was like Galileo here: https://www.ft.com/content/5d840a5c-fa0c-4d08-9574-59f0d3e8c...
I seriously could not care less about proton, it is basically a gigantic and massive money sink hole and literaly disgusting software, actualy quite microsoft grade.

To make things even worse, proton is said to include a significant amount of software components directly copied from windows.

What actually worries me, is the devs from gcc and the glibc perfectly ignoring the fact that there has been games on "linux" for the last decade. The glibc devs have literaly a frenzy of GNU symbol versioning, breaking game binaries built on a recent glibc that on distro with a glibc no older that 1 year and half for no good reasons. Not to mention you still cannot properly libdl the libc itself, namely do a clean ELF dynamic load of it (maybe not true anymore, have to check). Unfortunately, many game devs have the c++ tantrum and the static libstdc++ from gcc does not "libdl" properly what it needs from the glibc/posix libs, and something tells me not to hold my breath at gcc devs fixing that.

So, I guess, I'll keep playing "linux" native games until windoz... I meant they force proton upon everybody for good, or until the glibc and gcc devs managed to make it near impossible to make reasonably robust in time and compatible across "linux" distros game binaries.

Actually, I got myself a simple C compiler and built a lean win64 with vulkan support from wine, useless, no windows game binaries are that clean, except maybe the ones from ID software.
This is the type of egregious behaviour where you should really name the company.
The site is not actively accepting deposits. Did you assume that it was, based on something you saw there?

Read this passage from Alex Mashinsky's bankruptcy affidavit:

> Importantly, however, shortly after the Pause Date, on June 18, 2022, Celsius made the necessary changes to the Celsius App to prevent any new users from generating a deposit address and thus being able to deposit cryptocurrency on the Celsius platform. Moreover, as of the Petition Date, new users are prevented from even registering for a Celsius Account.

Celsius can't prevent people from sending crypto to addresses that Celsius controls, but that's a whole different story from "continuing to accept deposits."
Gas stations do this widely in my area, I wonder what their take rate on debit vs credit is. I've never seen data on that, unfortunately.

Amazon/Target/Walmart etc are in an interesting situation re: who would blink first on implementing surcharges. They haven't yet in 5 years, but of course that doesn't mean they never will. Walmart is the one that would seem most likely in terms of targeting value-first customers, Amazon in terms of technical flexibility (e.g. you can already link your checking account if you want), but a lot of the other ones desire those sorts of more financially-sophisticated customers.
Not a loss, per se, but if you were told you were receiving $200k in compensation as RSUs, and they drop in value to $50k, you could argue that's a $150k loss. It's absolutely a loss when you factor that in as compensation for the effort and labor your produced for them rather than co-onwership of the company, which RSUs decidedly do not represent.
Tell HN: I’m a wannabe developer, who works as a construction worker
[I’m a ~20yo male]

I’m mostly looking for a remote position and I have a relatively strong (Junior) background in programming but can’t communicate orally properly, especially at interviews, especially behind the phone…

Because of the fact that we travel a lot with my family (and I’m required to be with them) I can’t find a job at Walmart/Costco/… cuz they all take time to be applied and the moment I get applied we have to move…

So I went on Kijiji/Craigslist and similar websites to find a instant cash job.

TL;DR:
I (a wannabe dev) ended up working as a construction worker (no experience, instant, cash job).

I got my iPhone, MacBook and some other accessories through this way (cuz I’m an Apple obsessed user).

Tired of this much work, my body hurts ;)

Any advice??

Edit:
I wanted to ask anonymously, this isn’t my true username.
You did the right thing. The one and only time it took a week for me to go from verbal to written offer (with poor / spotty communication in between) was, as expected, a dumpster fire when I finally joined.

If they can't get their act together for interviewing and hiring, they're going to have a much harder time attracting talented engineers and probably have serious management problems internally. You dodged a bullet.

> It appears the balance of power has shifted back to employers

As a counterpoint, I haven't experienced any decreased demand and am still having an easy time interviewing for what I want. I think some of the discourse around this is employers wanting to scare devs into taking lower comp, similar to how a number of very profitable companies immediately and significantly raised prices in response to inflation discourse.
Why do so many web news articles not have a date in title?
Why?
The company can go public or be acquired at a lower price than it's currently (privately) valued.
You don't need eminent domain.

There are plenty of landowners that want to build. The issue is that NIMBYs have largely captured the city government and zoning restrictions have made new building mostly illegal. We jut need a government that legalizes new construction.
Can confirm. No change in product security.
> You can disable javascript in qutebrowser

uMatrix gives you way more fine-grained control over this (JS on/off per-domain and per-subdomain) along with lots of other features and a great UI that makes all this manageable. Just a simple on/off switch for JS is no comparison.
I think he means sold for less than what it was on paper at the beginning. Like you start to work there and it’s valued at 200k but then time passes and now it’s at 30k.
Interesting! That's similar to a clock that my brother and I made years ago (http://naturalclock.net). Ours adds the altitude of the sun throughout the day and lets you select the location and fast forward and rewind time to see how the sun's path changes throughout the year. I came up with the basic concept and my brother drastically improved the graphics and added the map and retrieval of time zones. Unfortunately no documentation and no HTTPS. I don't know how accurate it is. As I recall we based the equations for the sun on a solar cell-related website.

It's cool that the Sun Clock has the moon phases and that the sun (according to another comment) goes the correct way in the Southern Hemisphere. I kind of wanted to add the moon but hadn't thought about the position of the sun.
I would probably reply with a verbal commitment just to see the offer, get their hopes up (employers are excited to finally land a new hire!), then reject once I had the offer (unless it was a godfather offer). Congrats to you for taking the high ground!
If you are accepting stock or stock options as compensation, that's generally coming in lieu of cash. Maybe you had an offer somewhere else with $30k more in salary, but you took this offer instead because the projected value of the stock made the total compensation higher. If you sell your stock after 4 years for $50k, you have taken a $70k loss relative to the other offer.
All 3 of my employers in the past said this as well (“we don’t draft letters without a verbal accept, as a matter of policy”). I thought it was weird but didn’t let that dissuade me, purely because they were the only offers at each time. Why do companies do this? What benefit does this afford them or what risks does it mitigate for them? I never understood it.
In theory that's true for many of the kinds of Turing-incomplete languages we care about. (Eg it's not true for JPG or for (proper) regular expressions.)

From Dhall's docs (emphasis mine):

> Note that a “finite amount of time” can still be very long. For example, there are some short pathological programs that take longer than the heat death of the universe to evaluate. The main benefit of evaluation being finite is not to eliminate long-running programs but to make them significantly less probable. In practice, you will discover that you will rarely author a configuration file that takes a long time to evaluate by accident.

> For example, Dhall does not provide language support for recursion. If you try to define a recursive expression or function you will get a type error. Lists are the only recursive data structure and the only way to build or consume lists is through safe primitives guaranteed to terminate, like List/fold. This restrictive programming style keeps code simple and makes expensive code more obvious (both to the code author and reviewer).
Tanka is what I want to use when the time comes.

Are there any pitfalls you have learned to avoid?
That's terrible. Hope things worked out for you after that.
I’m confused what the alternative is. If it’s valuable and people lose value somewhere in their life, they will exchange their valuable thing to make up for it.
Nyxt has uMatrix?
They're giving it for free, so there's that. And you don't have to use it unless you bought a Chromebox / Chromebook, and even then some of them can be reconfigured with a different OS.
Lol. I’m at a bank right now. My experience is exclusively in financial services
I searched on Google before I posted, your Atlantic link comes up second in a Google search. The first two links on DDG (which I don't use) are for "The Patriot Post", which I've never heard of. If I search Google for "1619 revisionist patriot" the Patriot Post links don't come up, if I add "1619 revisionist patriot post" they finally do.

To some extent you can control the Overton Window by controlling search results.
Please post a chart of miner payouts per gb per hour for the past 5 years.

And then post the Protocol Labs cap table inception + changes over the same time frame.

And then post the FIL loan books from the biggest miners/market makers.

And then you will have actually done research and likely will stop shitposting
Comparison of similar projects, including Dhall:

https://github.com/oilshell/oil/wiki/Survey-of-Config-Langua...
Ask HN: What is your experience with SSRIs?
I value my intellect, but I've been rendered non-functional by OCD, anxiety et al. Strongly considering a medication, I now have a prescription for escitalopram 20mg.

I'm 27. For over 4 years, I've been in bed for 22+ hours of my day, browsing the internet from a smartphone, planning & daydreaming how I'd like my life to be, battling delusions & rituals. I went almost 3 years without bathing. I have not brushed my teeth in over 4 years. I feel like an old man when I get out of bed. I cannot perform the smallest & most basic of actions without my OCD & anxiety regulating & controlling me.

With all of that, I still hesitate to try this psychiatric medication as I fear it will lead to some sort of permanent degeneration or alteration to my cognitive ability, which I hold highly without any good empirical reason. As a layman, I understand serotonin to, in general, bring relaxation and contentment with your situation, perhaps carelessness.

I know that you must have a balance, but I don't want to feel content with my horrible situation, and these do not seem like qualities that endow a personality which is motivated to and succeeds in solving hard problems and thinking critically through life, but more of the stereotyped apathetic, careless, and blunted "zombie" effect that echos with experiences I've already read.

I'm not sure that I could forgive myself if this medication neutered or sterilized my brain. It's all that I have.
Assigning functions to variables doesn't have to ruin your totality.

But yeah, you'd need to carefully select your subset of the language that is both useful and total, and practical to implement.
Good old fashioned counter party risk.
a parser generator can be a very good first pass at determining whether your language is properly formed
I've always wanted an excuse to use this but never had a reason. The closest I come is using Nix, and I know there is a Dhall-to-Nix compiler, but Dhall can't represent everything possible in Nix I haven't seen any good reason to use it.
Just to add more information. They stopped sending money to Russia and Belarus but definitely there are Russians in the platform but living or at least having an address somewhere else. Recently I saw a job with preferred location set to Russia. Upwork had to comply with sanctions nonetheless.
The issue with the AllWinner Sunxi chips is somewhat similar to the VideoCore booter where an internal ROM is required to boot the CPU; this has been open sourced somewhat recently, but we can't really inspect or change it.

On the other hand, it's not really that much of a big deal since unlike some other chips, it doesn't lock you out of anything, it just does normal basic stuff like making sure the WDT doesn't reset your CPU before you have had a chance to setup the bare minimum of registers and interrupt tables. For me, I'd either have a chip that has a boot vector outside of itself (i.e. some fixed SPI address) or something so small and measurable that it doesn't really matter much (like this BROM).

The big 'next gen' problem we have is somewhat separate but regarding root of trust in hardware it's nearly impossible to make trusted hardware (from a software perspective) without some device specific PKI that is inside the main CPU and cannot be modified from the outside. The big downside is that there is no way to do this after the fact (otherwise a malicious person could do the same), and doing it ahead of time ties it to the hardware vendor or even the chip fab. Sharing things like private keys to whoever buys the chip doesn't work either, as that would make all of the other chips vulnerable as well. PKI-per-chip doesn't work either, as you wouldn't want to maintain a PKI and re-sign everything for evert individual chip.

eFuses seem to be the only other way, or (E)PROM, but those can be attacked using power hacks (i.e. using a ChipWhisperer).

Perhaps a free and open hardware root of trust is just not feasible.
Lmao. This is next level BS. How can we take crypto seriously when they pull stuff like this?
That’s exactly the critique. The CDC makes blanket recommendations that aren’t based in science and assume you dear citizen are incapable of grappling with nuanced advice.
You're right. You have to build them in secret like Cobra Command!
I was making a comment more about the general reaction to Blunt discussion. not the company or the individual. That said companies and obviously speak more bluntly or less and are not consistent
Why not just verbally accept then? They have some red tape to get the contract written up. Then if on paper the offer is crap you can still say no.
How does that work? Does I transfer a bunch of "ill gotten" ethereum to someone who agreed to buy my 5k goofy ape NFT for 1 million bucks and now I've made 995k that I can pay taxes on and use as laundered money? There's still a transaction chain of eth so it wouldn't be impossible to figure out what I just tried to do.
Haha there has got to be some law against this.
Based on all of recorded history.

For example, we didn't need the Vatican, a king, or some other central committee to tell us that the sun was the center of our solar system - eventually the data and market of ideas exposed the best & correct ideas.

The best disinfectant for bad ideas is more sunlight - not coverups.
The worst I've heard is what only recently happened to NSW public servant Jenny West. She went for a role as a trade commissioner to NY for the Australian NSW state government.

She apparently met all the requirements, completely convincing them to hire her as she had bucketloads of experience in the private and public sector. They actually told her that she had the job, so she immediately started to arrange things for a move.

Two weeks later, her boss in Investments NSW, Amy Brown, told her that the position had been rescinded as it was a "cabinet process" - which it never turned out to be - and it was given to the former politician who created the original roles in the first place!

Eventually, it came out that Amy Brown told her it was a "gift" for someone else.

On top of this she was not able to return to her job as deputy secretary of Investment NSW - West had been made redundant!

Right now there are serious claims of corruption. It blew up in the politician's faces and John Barilaro who got the job over West was forced to resign from the position.
I believe it used to be like this, but it didnt take off. Per incident costs were not a good model.
I am not French, but i read a lot, i like nice words and their etymology

Nourishing yourself from multiple cultures would help you a lot developing critical thinking

You are stuck defending mozilla no matter what, fanboyism gets you nowhere, it makes you blind

> I don’t really care if every EU citizen voted to make math illegal. While there is sanity elsewhere, and an internet exists, we can route around the madness.

You'll remember that when times will make you want to go back in time and hope for an alternative path
The New Numbers on Music Consumption Are Ugly
You’re using the term disingenuous incorrectly so excuse me while I disregard your opinion on language entirely.
Whats the context here? Just says a Tesla got into an accident.
> Name one time in the entirety of recorded history when "the decentralized market of ideas" did anything of the sort.

This is literally how most scientific progress is made.
I'm curious about resources that are specifically meant to help people who've learned one proof environment learn others.

I started learning a little bit of Lean from the Natural Number Game, and subsequently worked through Logical Foundations (with the generous help of one of the coauthors!), and have continued learning Coq afterward.

Are there books or sites or exercises out there for "people who've already learned Isabelle and now would like to learn Coq", "people who've already learned Coq and now would like to learn Lean", "people who've already learned Coq and now would like to learn tools and frameworks for verifying protocols", "people who've learned OCaml or Haskell and now would like to learn Coq", etc.?
Thanks so much for sharing. Refreshes my own experience. I was so clear what I wanted to do with my life - so many goals and aspirations. Then I remember holding my first-borne in one hand. Less than an hour old she peered up to me almost inquisitively as if to say "I hope you got this?" At that moment I realized what my life was about. Can barely remember those goals and aspirations now. As they say in Spanish, my first borne now has 42 years. Brought 6 kids and 5 grandchildren into this world.

As I age I am reminded by the same process you talk about but in reverse now. Watch the Robin Williams movie "Awakenings" [1]. Really portrays it. We come into this world absolutely unable to do much of anything. We fade in. Then ... trust me ... we fade out. But in between, if we're really lucky we get to shine.

I wonder if a neural network will ever do that?

[1] https://www.imdb.com/title/tt0099077/
That does not sound right, bitcoin fraction alone should be more than 3%. Maybe GPU mining market value as bitcoin is dominated by ASICs.
In principle I agree with you but in practice quacks take advantage of people’s weaknesses, so it’s a balance between open marketplace and some very basic rules. But I agree with you in principle.
What do you mean by properly formed?
Circle discloses full breakdown of $55.7B USDC reserves
Published: Jul. 6, 2022 at 11:27 AM PDT

Isn't this a rehash without any further updates?

Probably dupes of:

https://news.ycombinator.com/item?id=32023337

https://news.ycombinator.com/item?id=32052267
I have questions, please.

How long have you been eating the yoghurt?
Do you use any other tablets/pills/etc to make it?
Why make the yoghurt instead of just eating the pills?
What do you think it's done for you?
FedNow hasn't been available for decades. It's a real threat to the entire cc ecosystem.