skysight-inc/HackerNews huggingface dataset:
I get instant settlement of cash transfers in my country. No blockchain was required.

Switching to blockchain isn't any easier than simply improving the existing system.
I went through Benjamin Pierce et. al - Logical Foundations [0] which uses Coq. It was great fun, and I am someone who has a pattern of shying away from mathematics a little too often. That said, I'm not the right person to tell you why and when Coq > all other proof systems. Pierce is famous though, and so are his books.

[0] https://softwarefoundations.cis.upenn.edu/
What could be easier than writing a grammar in EBNF-ish notation? This gives you the added benefit that the grammar is explicitly defined, and not implicit in the parser code.
What does that have to do with the valuation getting lowered?

If a person had 1000 RSUs that were on paper worth 40k, now they are worth 30k. Either way they can’t be sold right now. And I don’t understand how 30k is “worthless”
I think people that spend enough time to learn to use a game engine will go to the trouble of finding the best site / source for assets. Unity and Unreal both have good sites for this, but that's partly because it is there business model. Godot is just not as much of a business. It seems like the two great potential business (attention HN types :) ) are:
- asset / plugin library stores
- simple libraries / frameworks for console ports that are not open source / or a port service.
And Japan
I do all of those things with actual money.
You let me down. You let Mrs Eisenhower down. You let the American people down… by sticking that “it's” in there.
HN also recognises and deprecates numerous sources which have been shown to place little regard on truth or to generate needlessly and gratuitously provocative articles.

It's possible to give fair hearing without opening the door to bullshit once the bullshitter is known and demonstrated. Editorial voice is significant, as HN's own moderation strives toward and demonstrates.
It is highlighted in the reference I gave (which I found in a NY Times article). Look for “view report” after “The median rent in Manhattan reached the $4,000 threshold for the first time as lease signings continue to rise.”
The functionality was always there (think ê vs ê), so properly handling glyph segmenting a string requires returning a `Vec<Vec<char>>`, which makes these emoji actually very useful: it makes it more likely that implementations will do the right thing by giving people from "predominantly ASCII" locales a "tool" to exercise those codepaths. Widespread emoji adoption is likely the best thing that could have happened to proper text handling for users outside of the anglosphere.
The only thing I see lost is you. The complaint isn't that Uber is bearing costs, it's that they bare costs in the neighborhood of 3x what the delivery costs!

For a restaurant food needs to compete with paying for actual humans to cook it, paying rent, etc. all things reasonably expensive and costs huge money to scale.

For Uber owning a human's time for the next X minutes should be by far the largest expense because the other side of it is software!

If you understand how software works this shouldn't be hard to grasp... software scales for relatively nothing compared to human labor and rent!

The only way to break that equation is to squander your cut on overaggressive expansion. Overaggressive of course being defined as the point where you spend so much money drowning people who aren't using in perks and advertising that you end up having to squeeze restaurants drivers and existing users harder and harder to keep the ponzi scheme going...
just wanted to say i really like the clarity of that explanation
Uber faces 550-passenger lawsuit over alleged rape and assault in US
Maybe, maybe not. If so, maybe for a profit, maybe for a loss.
Yeah, I also really dislike this mixing up of indentation levels because of a language limitation. The "{" denotes a container, and the "," a separation between items of said container, for me it makes sense for them to be nested a level deeper
> What could be easier than writing a grammar in EBNF-ish notation?

Not learning a new language/build system/coding paradigm. :)
That's only true with regards to the distribution of money, which isn't really what I'm talking about. Maybe wealth isn't the proper word, but you know how it was only the really wealthy Generation X:ers who had car phones? Well middle class Millenials grew up with mobile phones ten times as powerful.
> offering inference means either different implementations could have different inference rules, or else, those rules must be set out in full in the specification

As a tangent, there is a third option (or a twist on the second), called "principle types": carefully design the type system so that there is only one possible type for each expression, or at least one "best" or "most general" type for each expression. The spec for this can be much smaller than a full type inference algorithm.
If you buy drugs on the darknet with USD you're playing a dangerous game
Not worthless, "illiquid"
One could uncharitably rephrase your argument as "this woman is a witch and any article on this witch's site is heretical".

There are a lot of valid scientific reasons to criticize the CDC's approach to the COVID pandemic, including their own publications[1]. One could also point to the different paths taken by other OECD nations with respect to children and see that the CDC diverged sharply, but presented no data to justify those policies.

[1] https://www.cdc.gov/eis/field-epi-manual/chapters/Communicat...
Not exactly, but has huge valuation risk and is likely to end up being $50k all said and done. The trouble with equity is that it can fluctuate wildly in value and you only have yourself to blame (because the decision to sell is ultimately yours, and there can be a lot of anxiety and regret attached to it).
Weird, I now find transferring money between accounts at different banking institutions is incredibly easy. My credit union provides me with free access to the services of EFT Canada via which I can move money around any canadian banks with $0 in fees. If I have to move internationally, I go via https://oanda.paydirect.io/ -- Oanda started out as a currency trading platform. Being able to send a wire transfer in USD to China from my couch in 5 minutes with very little in fees is pretty awesome. Previously it took 2 hours of driving into the city to get to the nearest branch of my credit union plus another hour of waiting for the teller to figure out the wire transfer. And all this has happened without any cryptocurrencies involved. Look around for modern financial services, as they do exist!
Solar rooftops hasn't gone anywhere. Boring company and Hyperloop didn't go anywhere.

Let's face it Neuralink isn't going anywhere too.

Tesla wasn't started by Musk and relies heavily on Panasonic battery developments and SpaceX and Starlink is good old fashioned ex-NASA and MIT talent.

What does Musk actually do? Annoy the SEC, go on Joe Rogan to smoke weed and have more girlfriends per hour than Gengis Khan?
Had 10% superannuation disappear, and they wanted me to sign off conditional on passing checks. They pushed back when I said the checks will happen before I sign. They also wanted 3 months notice.

I don't know what they were thinking. Their offer wasn't so good to make such demands. I don't know why they demand 3 months notice, yet were unwilling to wait for me to be fully checked before I signed and gave notice.

Also, their checks requires facial recognition to a third party. They claimed my data would be safe, but it's an incredibly shitty thing to do to an employee.
sectorlisp has lowered the bar (in the limbo sense) for golf-a-lisp. I wouldn't agree that sectorlisp has rendered size competitions for lisp superfluous, but, damn, it's hard to beat.

So, yes, everybody can now relax if they want to write a small and self-contained lisp. Unless that's your jam, you don't need to worry about the bytes. Just make it work, and keep it simple.

The question becomes "what does this lisp implementation add". Well, compared sectorlisp, it's a breeze to read. It's really well documented, too (to be fair, sectorlisp's writeup is a great read).
this thread is a year old but two of the mods of r/canada are white supremacists
https://old.reddit.com/r/onguardforthee/comments/m4zywr/rcan...
The article seems to omit when the erasure happened aside from saying it was after IG requested the records. Did IG make the request when Trump’s people were still in charge or after the transition? No mention of that key detail.
Config is a type, so it's type is Type.
Dhall has a lot of really cool ideas, it would be great to have semantic integrity checks on imports in other languages too.
Shit, most cities in the US stopped seriously doing comprehensive contact tracing around the time NY threw in the towel, back in late Spring or early Summer 2020 IIRC. Yes, within months of it reaching our shores.

"Pushing mass testing" LOL in what universe? I guess they shipped out a second wave of those mediocre home tests recently but not that many of them and only if you asked. Otherwise you just go get tested at a doctor's office or urgent care if you start to feel terrible, if you want to, just like with the flu, so you know exactly how careful you and others in your household need to be about hanging out around old folks. In fact, one of the ones we recently did was a combo test for both Covid and flu.

Anything beyond that's coming from employers, not the government, and most of them aren't doing much anymore and haven't been for a while.
I've actually thought for a long time that Twitter is a terrible platform. It is quite dangerous too, let me explain.
So, Twitter is a microblogging platform. Limiting character count might have been okay in the age when microblogging was trendy. But nowadays Twitter is important. It is used by diplomats, politicians, official agencies, corporations etc. as their most observed communications channel.
But not only does the character limit make it hard to provide complete and plentiful information, it encourages users to break their information up into pieced together threads. Now, threads are perfect for propaganda. Want to take a piece of information out of context and retweet it on your page to your followers? Sure, that's a core feature. Want to add your own commentary by quote tweeting it while you're at it? Sure, go right ahead.
Observing threads, one can see that the tweet engagement always decreases as the thread goes on. The first tweet is the most interacted with, then it linearly decreases.
To see how this can be useful, look at some official tweets from e.g. the POTUS. There is often some statement or highlighted phrase/headline in the first tweet of a thread and then a link to the official full statement on another website in the second tweet of the thread.
But since engagement with the first part is three times higher than with the second, it is retweeted a lot more. So people miss the actual context.
That's just one example, but i do think Twitter is a pretty perfect platform for spreading misinformation or at least not a good platform for spreading good and complete information.. and it has nothing to do with algorithms (that's a completely different concern).
Researchers find photonic link to enable an all-silicon quantum internet
Celsius told their customers they were accruing Bitcoin and then Celsius didn’t buy the Bitcoin to deposit into their accounts, instead using the money to buy their CEL token that their ceo was dumping on exchange.

Their business model was fine. What wasn’t fine was not following it. Abra, Nexo, Gemini, and lots of other companies are business as usual with the same model right now.
Then look at _why_ you don't have it in today's financial services. Is it because there is some technology lacking that only blockchain and cryptocurrencies can solve?

No, it's because in the years of financial market experience, people realise the risks don't outweigh the rewards.

Cryptocurrencies and block chain isn't solving a problem, it's just spruiking the pro's side of a pro's and con's decision.
Figured, but it's a pretty goofy way to introduce it after that comment.

[EDIT] I mean, you can almost "who's on first?" this.

"OK, what type do you want this to be?"

"Type."

"Yes, what type do you want it to be?"

"Type."

"Great, ok, yes, the type, what type is Config?"

"Type."

"WHAT IS THE NAME OF THE TYPE YOU WANT CONFIG TO BE???"

"Type."

flips desk
A now vanished Chinese restaurant near us was named in English 'The Good Earth', but in Chinese even I with near zero knowledge could read 'Three Big <somethings>'; never found out what that last character was and couldn't imagine what would make sense in context either!
Did you try this? Because while you're correct in terms of the semantics, the performance (which is why I chose that word) is quite another matter.

Specifically it's not at all uncommon for some collection (such as our arbitrary Bunch) to offer a far cheaper way to throw away the whole Bunch than to remove every Thing in the bunch one at a time.

With a destruction mechanic this is fine, the collection destroys all the Files at once, but if the user must hand roll a loop like yours - taking each File out of the Bunch and then closeFile(file) then they can't take advantage of the improved performance.
I once interviewed with a crypto exchange and after getting the offer I noticed it was for contract and not full-time as had initially been offered. I went back to them and said I had a similar compensation offer for full-time from another company and if they wanted me to consider contract with them then they would have to raise the offer. Their response was an offer to pay me directly in bitcoin.
Opposite usually. I have a task and decide to do it in a new manner
Table stakes for *car manufacturing
Sadly, the decision to kill CentOS was entirely Red Hat's. The self-appointed 'community managers' decided that the community didn't actually want CentOS, they wanted a free version of RHEL-Beta called "CentOS Stream."
That depends on what you're doing. If I put my life's savings into the S&P 500 at 2x leverage in 2008, I'd be wiped out in 2009. But that would be an extremely dumb thing to do.
> YouTube videos that now always start with a ~5 seconds extract which spoils the entire video

I vastly prefer this to the kind of “informational” video that’s designed to keep you watching a 10 minute video for the 10 second answer
Aren’t some topics just out of bounds for discussion here though? Topics by their nature which produce discussion unsuitable for what you want at HN. I’ve seen commenters push back on music threads, for instance. And much sex talk seems to quickly devolve from anything productive here.
This could also include GPUs, Asics, and other mining equipment which given the upcoming ETH merge should be amortized differently.
You can get if the business offers it. Which they are just a loaning you their money while they wait for your money to settle in their bank account.

If their was no demand, then why does PayPal, Square, and other FinTech companies make billions a year offer you to instant deposit money into your bank account lol.

If the US banking system had instant settlement Venmo, Cash App and other apps wouldn't be in business because you could just send the money through your bank for free instead of using Mastercard or Visa.
If they buy back after exercising, they would be making a profit!
> DARPA’s “SocialCyber” program is an 18-month-long, multimillion-dollar project that will combine sociology with recent technological advances in artificial intelligence to map, understand, and protect these massive open-source communities and the code they create.

Sounds… wonderfully useless.
I'm not talking about the US, but they count as well of course.

Anyhow, sure!

I don't know why you specifically mention cynical, btw. That's definitely not what I thought. Malicious came to mind, but hey, we can't all think the same things, right?

So ... name five governments actually caring and looking out for their people.

With evidence that I can't rip apart, please.
I don't think so. If more equity is raised at a lower valuation then isn't it the definition of a "down round", where existing investors take a haircut? Of course, employees bear the brunt of the down rounds because their meagre holdings can turn out to be worthless after a down round.
The oh-so-bubbly recruiter for a company I interviewed at for a senior Go position completely ghosted me afterwards, not even responding to the promised reimbursement for my travel expenses for the interview (it was a few hours drive and a cheap hotel, so not excessive). The recruiter then contacted me, by mistake obviously, with a "how was your first day" email a couple of months later, and still didn't respond to my reply. Several months later the company called and asked if I was still interested in the job. I paused and finally said I'd consider it if someone would simply respond to my original request for the travel reimbursement. Never heard from them again. I guess I never got to the offer stage, but that whole affair sure was irritating.
> Godot is just not as much of a business.

Well, maybe it should be. I don't think anyone would begrudge the Godot team taking a small percentage as part of running an asset store, and that means more people who can work on Godot full-time, in addition to the convenience of the asset store itself.

I wouldn't want Godot to go full blown for-profit public corporation, but having more full-timers and more of a real business model like some other open source foundations sounds good to me.
And a lot of management disfunction.
Steve Waldman has a great blog post on this topic that goes beyond big city rents (though I agree that's a huge issue):

https://www.interfluidity.com/v2/7263.html
Obligatory

“Researchers at Johns Hopkins University have concluded that lockdowns have done little to reduce COVID deaths but have had “devastating effects” on economies and numerous social ills.”

https://sites.krieger.jhu.edu/iae/files/2022/01/A-Literature...
> and a negative test is better than a vaccine

That doesn't sound like something she would say, and I've never encountered her making that claim. I'm pretty sure she got vaccinated and has encouraged other people to do so as well. She does seem skeptical of the ability of the vaccines to prevent infection by newer variants. To some degree, that's probably true right?
automating the game I'm playing right now with plain old input simulation + image recognition.

This is how I started my career in the first place as a software engineer and this is how I continue learning new languages w/o the feeling to artificially build something useless

I usually start like that:

- add a mouse/keyboard emulator library, on the way you usually find out how good native system integrations are and how to integrate dependencies into your project

- write a brutally easy script of some mouse clicks/movements or similar to have something in place you can build on

- generalize the script

- make use of basic code features like functions, code logic, abstractions
- maybe add some math for screen resolution independent mouse movements ore more natural movements or typing events
- have some basic idea of concurrency by waiting a random time before input events

- how about adding openCV or a similar screen capture tool? now you can capture a single color indicating a specific event to make things more interactive

- get more creative in what you want to detect

- figure out what are the limitations of the language of your choice, how many fps can you archive and what are the bottlenecks?

- when you are at this point you opened the door to an endless journey of adding more and more features and optimizing your code

the first steps are often just c&p from stackoverflow + some basic lookup from the documentation. with this approach you have a working prototype rather quickly and you are in full control on how fast and in what direction you want to go

by the time everything feels repetitive in what you are doing you probably already have a basic idea of the language and can decide on how or if to continue.

needles to say, don't spoil yours and others fun by applying this approach to PVP oriented games. also you will probably have a hard time since there are way more efficient ways + anti cheat tool will detect you
> It's like writing yourself a bunch of IOUs and claiming it gives you wealth.

I think you just described monetary policy.
Ad hom is use of an irrelevant characteristic to impeach a witness or malign a viewpoint.

"You wear funny hats so you're not a credible expert on waffle irons" would be an ad hominem.[1]

Noting the reputation and past history of a speaker or source, or noting well-known rhetorical red flags (http://classics.mit.edu/Aristotle/sophist_refut.1.1.html) is what we'd now call a strong Bayesian prior. It's not a proof that a source, speaker, document, or publication is wrong, but it's a fairly strong grounds for suspecting that might be the case.

https://www.thoughtco.com/ad-hominem-fallacy-1689062

And in a world in which asymmetric costs favour bullshit, it's a useful and often necessary approach.

https://en.wikipedia.org/wiki/Brandolini's_law

________________________________

Notes:

1. In practice, "funny hats" might well be references to non-Western clothing (see The Little Prince for a fictional illustration), or speech, or gender, or religous affiliation (religious exclusion was common in top US universities well into the 1970s). It's still practiced in many regards. What this ignores is the specific capabilities or validity of claims or methods.
This is informative, but I'm not sure how illuminating it is to say that a business's business model was great, except they didn't follow it, they followed a completely different business model that was terrible? Isn't the actual business model of a business... the business model that they actually followed?
> The last five years have seen formal verification flourish in diverse industry niches

Do you see formal verification as a relatively promising niche to get into? If so, what areas (among theorem proving, model checking, static analysis, type & effect systems, etc)?
How is "More important, you must accept that they are true about you." anything but flawed? If something is true for 60% of people must you accept that it is true for you as well, even though evidently it wasn't true for 40%?
the other side of that is Upwork exclude legit people for vague and often made up reasons, I tried to sign up as I was curious, almost instantly disabled for "fraud" - thought it was pretty funny, especially after seeing all the obviously bogus tenders etc
I don’t really have a problem with making boosters available.

Closing schools and masks have been gone in my area has been over for a while so the article seems to be mixing timelines in a way that is hard to follow.
The fact that the entire crypto market simply followed the public markets in the downturn, rather than being a haven for wealth that people flocked to for safety, means that "Crypto" is unambiguously just another speculative asset like Art (but worse).
That seems like the kind of company that is updating its hiring managers with reduced budgets on a weekly basis. That is not the kind of company that would have been able to employ you for long anyway!
This is practically misinformation.
Anyone who unironically prefixes "science" with "the" doesn't understand science. The scientific method is pretty much the opposite of ten commandments inscribed in stone.
And large parts of Europe, at least judging by the travel restrictions on their websites.