skysight-inc/HackerNews huggingface dataset:
> So, even though 1+1=3 is surely false, we could prove it in Lean like so: “Let’s assume that ¬(1+1=3). But this leads to a contradiction: coll_conj and ¬coll_conj. We can therefore deduce that our assumption must be false, so 1+1=3.”

I was following along with the logic, but got completely lost here. Can anyone explain how does the assumption "1 plus 1 is equal to three is false" lead to a contradiction? What is the contradiction here exactly?
Wikipedia tells me that Lyme disease is also in Europe.

Why don't other countries license LYMErix?
https://www.paddleyourownkanoo.com/2022/10/04/u-s-flight-att...

> Although the law was passed back in October 2018 and was meant to be implemented within 30 days, the Trump administration allegedly put the measure on the backburner and “on a regulatory road to kill it”.

> The previous administration initially blamed the delay on a massive backlog facing the FAA caused by a partial government shutdown and then the worldwide grounding of the Boeing 737MAX.
Commercial paper has very short maturities, so unless there is a wave of bankruptcies it is hard to take losses. You don’t sell CP, you just stop rolling.
Do we really have to have this discussion after it has been discussed a thousand times? That you need something like TypeScript is a telltale sign. You also can do weird shit with it, that doesn't make any sense. That's documented well enough imho. Javascript gives almost no language-enforced guarantees, which causes bugs. It's such a simple thing to have compiler guarantees but it has so much effect. For example when switching from java to kotlin.

PS: I also mentioned language guarantees in my parent post ;)
Could turn this entirely into a shell script per reboot with "expect", I... uh, expect. Or just one shell script with a little more cleverness (to initiate the next phase after each reboot, automatically).

... though I'm not sure whether "expect" is in base Alpine, or you'd have to install it, defeating most of the purpose.
Or people would consume less and therefore be poorer.
One does not need to call himself a scientist in order to arrive to these obvious observations
I’ve never heard of it. Can you provide some details on what it’s about? Why you chose it.. and so on?
Would you consider taking the "rg" package and redirecting people to ripgrep? I mean, asking the current owner to kindly donate it to you.
Funny thing I just learned the same a few days ago, but I think through a click-chain beginning on HN. Been awhile since I was last at Mori Art Museum, they have some good stuff. Many years ago I used to volunteer there giving tours for learning disabled young adults.

Recommend to check out the Museum of Contemporary Art Tokyo (MOT), they have some killer exhibits, I've been to nearly every one the last few years.
>Is Elon Musk being scammed by Twitter?

This is no where near the same situation. When Elon originally put is offer to buy Twitter, Twitter didn't even want to sell. Then the market crashed and all the sudden Elon's own offer was almost double of the "fair market price" for Twitter.

Elon would be insane if he made the same offer today.
> If people understand your struggles then they most of the time they'll treat you well instinctively

That’s the crux of all social issues, isn’t it?

Understanding the other means allowing yourself to be stood over and to stand under the other.

Of course, it is quite difficult to determine and come to a consensus on the limits of understanding.

Godwin’s Law, etc.
Yes the animations are not so useful. I use their widget which shows the forecast for my current location.

It takes three clicks (yes, a lot) to get from the widget to the comparison of forecasts, which is my favourite feature.
If you show up at a social event often enough, someone is going to ask you to bring something.
From the article: "American Airlines has been contacted for comment." Evidently they did not respond.
UW Paid Out Six Figures to Keep Me from Reading Their Law School Syllabi
> don't be surprised when employees treat you as interchangeable in return.

how could it be otherwise? The concepts of "company loyalty" from the employee and "being taken care of" by the company always baffled me. Why would you think a company is going to take care of you? Why would a company expect loyalty from an employee? A deal is a deal, if either side doesn't uphold their part of the agreement then the agreement is over. I don't see how it can be otherwise.
There’s already a GitHub alternative from Europe: GitLab. The founders are Dutch and Ukrainian.
There needs to be far more criticism of the increasingly closed development of these models in what is essentially becoming an AI arms race. Like Sam Altman and his team at OpenAI (more like ClosedAI) who were more aware of this than anybody yet sold themselves out for the highest bidder. What a joke of a “non-profit.”
I’m pretty sure most of the computers can be reset during flight. You may lose flight protections, but you can fly an airplane on basic instruments. You can even handle unreliable speed by flying at a specific angle of attack and a proper thrust setting. (According to the Air France 447 report)

On some (all?) Airbus planes, the basic flight controls don’t require the flight computers to function.
it is missing: https://github.com/AEPKILL/devtools-detector
demo site: https://blog.aepkill.com/demos/devtools-detector/
I honestly don't get it. Banks being healthy doesn't always correlate with a strong economy. We have so many negative factors that would scream "recession" or "bear market", the top bankers are all claiming there's a 100% chance of a recession soon (see today's Bloomberg front page), high inflation, fast rising interest rates, there's a war going on, a potential food shortage.....but because a bank made a bit of profit, the stock market jumps nearly 3 1/2% up at open?

Bullshit. Honestly, the last time I saw banks with too much money was 2008 - Banks tried to grow beyond normal banking services and look what happened.
Pgsqlite – Load SQLite Databases into PostgresSQL
I know that you can transpile, but in my experience with other languages (clojure + python) that transpile the compilers guarantees were kinda week. Do you have experience with any of the two?
How do you figure? 1.5M can buy you an entire home in SF. The cost of everything else does not really scale higher in SF so the rest of your compensation is left to you to save.
Who manages the properties if Pacaso goes under? It seems to be the risk in this model, particularly if the LLC owners are not able to contract cleaning and maintenance services at reasonable rates.
If image provenance ever becomes significant enough issue, simply be solved by: (a) requiring creators/systems cryptographically sign works; (b) systems used for viewing content will either block or warn users of lack of a signature; (c) etc.

Major companies including Intel, Adobe, etc - are already working on this too.
I cannot access the paper, but in the introduction it also says that only 40% of new members are women.
The most likely conclusion is probably a convex combination of

1. Most of the time it is quite clear who is the best candidate and no gender-based tie-breaker is required

2. Publication- and citation records (which anyway are a lousy measure for scientific merit) are very heavily gender-biased (this was asserted in another comment)

3. The AAAS and the NAS use saner criteria than those publication- and citation records.

My guess would be that 3. has the highest weight of these.
I did the same, but with an Oric Atmos (6502). It came with an amazing manual, which I've recently had another look at. It taught BASIC, character graphics, machine code, binary and how negative numbers are represented, memory addressing, addressing modes, registers, and the instruction set, explaining each instruction, the machine's memory map, ASCII, lists of binary, hex and decimal conversions and tables of op-codes, ROM routines with call and return parameter registers, circuitry of the machine, and a decent index. I think I learnt more about computers from that book than from any other.
I like that the term chosen by AI researchers for many of these applications is "transformer". That way, I can look forward to a future where transformers do my dishes.
On a slightly related note… I had one of the Intel reference board Macs during the PPC to Intel transition.

I compiled the Q3 sources and was amazed by the fps increase.
Well if you are not worshipping Nazis or trying to push hate against minorities you shouldn't run into problems.
But I'm quite sure most other services in the states wouldn't tolerate such things too
I didn't claim such a thing, my claim is Microsoft's purchase of Github is not good for open source.
I'm not sure I understand this distinction. Revenue is all the money coming in, before expenses. Are you thinking the actual number should be higher or lower?
Then they introduced one ad per search, which was a big deal people talked about. Now we don't talk about it enough.
The blockers are always going to be with musl
Anyone arguing a delay between block 0 and block 1 is not arguing from a rational standpoint. It is akin to arguing that an airline had days of no flights where they didn't fly any routes at all, because the company was obviously founded and incorporated at least a few weeks before their first commercial service was introduced.
Would those be the points where he rehashes the same antisemitic tropes which have circulated for hundreds of years and every once in a while leads to the massacres of innocent people? Because if he doesn’t get an out due to mental illness he is just another little attention whore neonazi.
Dash was developed to be more posix compatible.
the 464 was a ton of fun, I spent more time with it than my own family.
They stem from both.
Having the right pedigree, a network of people encouraging and helping you, teachers who have the resources to help, and people who believe in you are all factors mostly outside of a minor's control. As are adequate nutrition, safe and secure housing, and a host of other privileges.
> Why would you waste your time proving that something you wrote works

How do you know it works if you don't test it?
In terms of a stable job with reasonable hours out of undergrad, engineers at HFT/prop market making firms make an absurd amount of money. I know people only 2 years out of undergrad who are raking in nearly $400k annually with 6 weeks of paid vacation and typically work less than 50-60 hours weekly.

Landing one of these gigs makes FANG look like a McDonald’s open interview. You need to be an expert in terms of mathematical theory without sacrificing the ability to be pragmatic in real world situations (ie a sociopath…)
I'd like to note there are three perverse incentives that lead to abuses of public namespaces (that I am aware of - please tell me if I've missed any):

1.) The use of names as a speculative financial instrument (in all shades of grey, up to and including extortion for lapsed or stolen names)

2.) The use of names as vectors of attack, such as by exploiting typos or homographs (such as malicious packages)

3.) The reserving of names you don't have a sincere or immediate intention to use (hoarding/FOMO)

This isn't very much like the situation with domains, which is primarily a result of #1 (there is no market for crates.io names, as far as I'm aware). #3 is a problem to some degree on crates.io, my understanding is that they basically treat this as a human moderation problem. #2 is endemic to all package managers.

By putting a helpful instead of malicious package here, the community (and Richard Dodd in particular) are able to mitigate the hazard of #2 (unless this account is compromised or turns malicious - a better but imperfect situation). If a project called `rg` comes around, they can appeal to moderators to get this name, and probably succeed (as if this were a #3 problem).

This isn't a perfect way to do things by any means, but it seems like a decent balance of concerns to me.
I think it is intentional and I think the reason isn't very hard to figure out. Handicapped has been associated with "incapable" for a long time, and this is intentionally turning that on its head to force people to (maybe!) subconsciously reconsider when they start seeing this symbol spray painted in parking lots, plastered on walls, and otherwise surrounding them in the spaces they regularly visit.

This wasn't meant to be a neutral change, or even a change to bring it from negative connotations to neutral - it's the equivalent of affirmative action for symbols.
> All of this is confirmed by tons of other people affiliated with Roc-a-Fella Records (like Jay-Z and others) at the time.

They're in on the story.
Tails 5.5 Is Out
Lol who says he's being exploited? The dude has a couple billion, one doesn't get that kind of money by being gullible and easily exploitable. He can handle himself. Do we even know the valuation?
You know, I really wish that a lack of automated tests translated to poor execution and short-term business failure, but having worked for multiple successful startups where that is not the case, sadly, I was proven wrong. In the face of evidence to the contrary, I changed my opinion.

Testing needs to have business justification for it; "best practice" is not good enough. That means doing it when absolutely required for a feature's development, or tying it to revenue on the books.
The art of science could be described as making that which is elusive, obvious, and to doubt that which is obvious, as elusive.
crates.io doesn't try to build crates. It couldn't do that anyway. Crates can require arbitrary C library dependencies, only run on some specific targets, etc. That's why docs.rs has to make some effort to be able to build crates, and even it doesn't get all of them.
Funny that most of those things don't compete: helm template and helm install are two entirely different things. Argo CD is just a way to deliver manifests to your cluster - manifests could originate from helm template, kustomize, raw manifests or JSONNet.

kubectl apply -k is...well...Kustomize...

There is a big distinction between first party software and third-party software. Helm is fine for first party software because you control the chart, but awful for 3rd party software because charts often don't have level of customization you need.

Reinstalling shit with kustomize that was installed with helm is like 1/4 of my time at work.

Kustomize won't get you 100% though because something has to generate base files first.
Funny you should say this. It's exactly why I started the Snikket project. I already ran a family XMPP server, but it was nowhere near user-friendly enough, and I was tired of provisioning accounts manually and explaining what an XMPP client was every time someone got a new phone.

I started the project early 2020, obviously with no knowledge of what was around the corner. Then during lockdown managed to onboard ~11 family members entirely remote by sending them a simple invitation link (some via SMS, some via email). The best part of the whole thing was how it enabled my (then) 4 year-old to independently video call 80 year-old grandparents (using an old Android tablet).

Happy to report that a couple of years later it's still the primary method of communication between family members. Obviously it hasn't fully replaced WhatsApp/etc. which they still use for most of their contacts. But still, gotta start somewhere!
I guess "owner/packagename" convention could solve such issues as it's common with other package ecosystems.
As an aside from the textual citations, it does seem that there is a theme in the bible which inverts suffering and salvation. This shows up multiple times, with Mortification of the flesh, anchorites, ect.

After all, Jesus dying on the cross is perhaps the most virtuous and aspirational acts.

As it relates to this conversation, it is interesting that the nobility suffering for the sake of others has been simplified to or conflated with simply the nobility of suffering.
Yep. And Tailscale is the only VPN (like a mesh network, not "let me watch BBC Channel 4 from the US") product I'm aware of that someone who mostly understands cans, strings, and crowds, can setup in half an hour (with maybe just a couple questions to a tech person).

I know enough about all the nuts and bolts under the hood with Tailscale and that makes it feel MORE magical to me, that with all those things to deal with, it still just works. And it's no compromise (uses wireguard, etc)

The last time I saw that level of magic was in a product called Hamachi. It Just Worked™ more than a decade ago. LogMeIn bought them and ruined it.

But with Hamachi I didn't know how it worked under the hood.
GitLab isn't open-source, just open-core.
I think you've hit the nail on the head here. This is a very sad, very public case of mental illness combined with the paradox of success. There's no way, healthy or not, that he wouldn't think he knows better than everyone else for exactly the reason you describe. Anyone in his position would be fighting back the naysayers. The major difference is that Kanye has had enough failures and stumbles now that his whole "god" and "GOAT" persona is publicly falling apart and he doesn't know how to handle it. The mental health issues are just exacerbating his inability to reconcile his personal ambitions with reality.

Just think about it... if you've been a success for so long and suddenly aren't, who would you blame? If you didn't say anyone but yourself, you're not Kanye.
All of this is further exacerbated by the modern business take on capitalism of "optimize away work that doesn't positively produce".

Just because you're paying someone to go check and they don't find anything 99% of the time, you don't get rid of that. If you do, there goes the pnly sensor capable of propagating that signal to the rest of the control network. Applies equally well in electronics/circuits/or human domains.
> GC just increases your energy bill

How? GC does its work in large batches once in a while, whereas for example Arc (the only serious alternative to what GC brings, which is the ability to have arbitrary graphs of objects) does its work much more frequently, with additional effort expended on atomic operations in a multithreaded environment, and with additional memory writes to boot. Somehow I doubt that GC "just increases your energy bill".
Everything survives until it doesn't
And what, exactly, do you believe he means when he says that? Because I have a hard time seeing how any rational person would think that that's an actual threat towards Jewish people.

And absent it being an actual threat (which it's clearly not), I don't see what your issue is. Kanye West is well within his rights to criticize Jewish people the same way that literally every woke person is within their rights to criticize, nay, demonize white people these days on every social media, corporate media platform, and news outlet these days.
Tether claims to have finished liquidating their commercial paper as of a couple days ago. https://twitter.com/Tether_to/status/1580601123026501642

Chinese commercial paper had a large wave of delinquencies earlier this year (https://www.reuters.com/markets/rates-bonds/china-commercial...). The chances of Tether's holdings having zero defaults amongst all of that is... low.

Tether has an easy fix here: release the "frequent professional audits" they claimed on their website as far back as 2015 (https://archive.ph/mVPmL). They've provided various excuses and called attestations audits for nearly a decade now; their credibility is shot.
Just finished reading the book Mountains Beyond Mountains. A piece talks about how in Haiti 75% of voodoo ceremonies are about trying to heal diseases, mostly TB. That Rhode Island came up with vampires to explain tb, isn’t all too different.
And?

If I wanted racist-idiot-news, I'd go to reddit.
FTA: "She argued that the trainings were specific to the shop and low quality."

It depends on what the skills are. At one extreme, the employee might pick up actual skills, like how to dye hair. I can also imagine some stuff that's much closer to "onboarding": how to use the in-house booking system, workplace safety training, etc. That doesn't really transfer, either practically or legally. The line is really thin and a cynic might be tempted to blur it to retain employees.

As for legislation, one really bright line might be whether similar training is available to the general public (and at what costs). People enroll in Javascript bootcamps all the time, so an internal one is probably fine--and the repayment should be similar to their costs. If it's MUMPS instead, tough break for the employer.
Okay thank you. Is it a coincidence that your username sounds Chinese? I meant no discrimination. Also, I feel policed around.
To a lesser extent, I have found entertainment in speaking with people who start a topic with their thesis (i.e. why are there Yellow Pages and White Pages? So stupid!) To which you lightly counter with some easy to digest fact (i.e. yellow is biz, white is res), and then a few sentences later, they'll conclude with their original point, as if you said nothing at all (i.e. See? Isn't it stupid, yellow and white pages. Makes no sense!). It was frustrating before, but now it's enjoyable to see a person live in a different reality right in front of me.

Note: Sorry for dating myself and using a The Simpsons reference.
I was actually wondering when fake service worker servers would take web dev by storm and become the preferred way for offline-first web apps. Go to /take-census-with-spotty-connection, a "web app" bundled into a service worker gives a form, submit it and the web app saves it into in-browser database. I imagined it as a pure js solution though.

After a Django+React project demanded 24 hour days from my team, I achieved the insight that with pure Django pages, you call (request) using strings containing function name and parameters like `/articles/page/2` and get an output (response) and the runtime (browser) can memoize (cache) the result since the whole process is... functional. Some of my react pages had a dozen ways of reaching illegal states, many caused by network calls. The former became the ideal to strive for. Hence why I think fake web servers via service workers will be popular for bug free (heh) offline first apps.
Interestingly, the entry for "Open Educational Resources" (which is what they are building) is primarily a list of links to other sites that have more developed offerings...

https://en.wikiversity.org/wiki/Open_Educational_Resources
Or as poor as 90% of the world's population.
I believe it's called a joke.
Yes: there's a weird temporary limitation on this until 2025.

The home office deduction is available to qualifying self-employed taxpayers, independent contractors and those working in the gig economy. However, the Tax Cuts and Jobs Act suspended the business use of home deduction from 2018 through 2025 for employees. Employees who receive a paycheck or a W-2 exclusively from an employer are not eligible for the deduction, even if they are currently working from home.

https://www.irs.gov/newsroom/irs-reminds-taxpayers-of-the-ho...
I remember having snow on the ground every October, and it never leaving before April. I also remember having snow on the ground one year on my first day of school in August. They get hot summers though. Contrast that with the coast, when it's lukewarm summers, and barely a day with snow each year (lots of rain) but there are barely any mosquitoes.
Chelsea Manning Book on WikiLeaks Leak: Readme.txt