skysight-inc/HackerNews huggingface dataset:
> Diesel is a little better, but still not really the best choice.

In an apocalyptic situation, a diesel car might be the best choice. As long as there is some kind of heavy oil (animal, plant, or mineral), you can basically run the car.
> presumably a sceptic of them being evidence for some kind of afterlife.

That would never have occurred to me—my reading of the passage is that these are skeptics of near-death experiences actually occurring near death, rather than later during recovery and becoming connected to the earlier experience.

[EDIT] Struck a word that made the tone very slightly confrontational for no reason.
But pairity is just a question of sorting the countable numbers into sets of size two, and the more general form even of that is sorting into sets of size N. It's just as easy to say that the countable numbers are odd if there exists a way to sort them into sets of size three. So I'd argue the countable numbers are odd.

And you then you could retort with sets of size four, and I could use five, and then we can argue about whether we'll end up at the limit with more odd sets or even sets, and now we're arguing in circles. Reductio ad absurdum.
Idk man - we've got all kinds of crazy ass ideas from back in the past. The idea of echo chambers seems to be way more easy to come by when you're living in a small town in the middle of nowhere and that's all the info you've got to go on. The internet is big and pushes all kinds of crazy shit your way.

Nowadays, you're constantly pushed all kinds of random shit. The usual incel rhetoric that I see is - there's not many women to talk to. Which is mostly attributed to the decline of social spaces due to again - whole atomized society stuff and late stage capitalism, yadda yadda. (If you haven't heard about it yet - just read some robert putnam)
Technically, the CBDC could be a privacy coin, albeit very unlikely.
Right. The problem with teaching infinity by starting with cardinal numbers is that it's either too trivial or too hard. You can establish that several other sets of numbers are identified by the same infinity but there's not much you can do.

An old HN comment echoes the same sentiment: https://news.ycombinator.com/item?id=17677010

If we really are teaching kids, teach ordinals not cardinals.
Thanks! Muscle memory.
Even better: "your salary now comes in Metabux and those can only be used to purchase things at the Metashop."
Are there any plans for native autodiff systems in Mojo?
Python Interoperability seems like a killer feature.
While the technology sounds quite useful to me, my user experience isn't off to a good start, unfortunately.

The "Try Mojo" page[1] currently says:
"The Mojo standard library, compiler, and runtime are not available for local development yet, so we created a hosted development environment where you can try it out. We call it the Mojo Playground!"

Not being able to try it out locally, even if it may not be that mature yet and may come with no support, is frustrating.

To use the "Mojo Playground", however, you have to sign up for an account.

Having to sign up for an account is even more frustrating.

The "Try Mojo" page also says:
"To provide the best experience possible, the Mojo Playground currently supports a limited number of people. We plan to scale up quickly so everybody can get access over time."

I haven't tried signing up for an account, but that wording makes me think that signing up will probably just put me on a waiting list of some sort, rather than giving me instant access.

Being unsure if signing up will actually give me instant access is frustrating.

If I were to sign up and then I had to wait before using it, that would be even more frustrating and really disappointing.

Unfortunately, those frustrations have already tainted my first impression of this technology.

Artificial bureaucratic limitations from the start, like restricted access and requiring accounts without a good reason, are really distasteful to me.

[1] https://docs.modular.com/mojo/get-started.html
Nobody said it does. The clarification of it detracting from email the standard is yours.

It nonetheless demonstrates how Pareto allows popular providers to make decisions that negatively impact those who want to exercise the freedom granted to them. It doesn’t run in isolation, after all.
Your numbers are wrong.

1974: ~14,000 banks

2008: ~7,000 banks

2023: ~4,000 banks

This has been a steady decline since 1974 (not 2008) in the US.

https://banks.data.fdic.gov/explore/historical?displayFields...

As a comparison, Canada only has 34 banks.

https://en.m.wikipedia.org/wiki/List_of_banks_and_credit_uni....

EDIT:

In case anyone is curious, these are the credit union numbers.

1981: ~7,000 credit unions

2010: ~7,000 credit unions

2023: ~5,000 credit unions

https://ncua.gov/about/historical-timeline
Hold on, are you behind it? ...looks like it!

This "detail" shouldn't be hidden away, it means a lot.
Yes, but because this poster thought this arbitrage was obvious and would solve all our problems, the political issue of banking regulation remains. It is a Dunning Kruger trap.
There are all kinds of propaganda; white, grey, and black. The use of deepfakes probably belongs to the black category. But what I've always found more intriguing is the white propaganda; it provides interesting historical insights into major events in world politics.

Thus, can someone with access to DALL-E 2 or similar feed it the public archives of propaganda posters [1], generate a few samples, and deliver these for a discussion here at Hacker News? It would be interesting to see what kind white propaganda an AI and its users would generate!

[1] https://www.reddit.com/r/PropagandaPosters/
From the IRS's website: A taxpayer is insolvent when his or her total liabilities exceed his or her total assets. But if you're a bank it's a different story, because it's unclear what your assets actually are. It's possible that your liabilities are secretly also assets, that's what happens when you get a bailout. Because of that it's somewhat meaningless to call a bank insolvent. But if we want the term to have meaning for banks, and we take the simple definition that the irs has then I believe all of the banks are insolvent. None of them have enough assets to cover their liabilities.

https://www.irs.gov/newsroom/what-if-i-am-insolvent
I wanted you to know I really appreciated the effort you put into that joke. Gave me a nice chuckle this afternoon, and I really needed it!
Funny that you cite the Federal Reserve, because they literally say the exact opposite of what you're saying.

"The Board’s tailoring approach in response to the Economic Growth, Regulatory
Relief, and Consumer Protection Act (EGRRCPA) and a shift in the stance of supervisory policy impeded effective supervision by reducing standards, increasing complexity, and promoting a less assertive supervisory approach."

https://www.federalreserve.gov/newsevents/pressreleases/bcre...

https://www.reuters.com/business/finance/us-fed-points-finge...
In the same way that Walmart is one of the great victories of the retail industry.

It snuffed out small independant competitors, dominates an industry, and wields its tremendous power in a negligent, self-serving, and irresponsible manner.
The paper, on the epsilon-delta:
> This has nothing to do with the subject of the paper
There are ways to engage politically that do not depend on the legal structures in place.
That's extremely sad to hear.
sure, let's all maximise the time we have available to spend on a couch consuming mindless tv.

The "but it takes tiiiiime" argument against making your own things (and achieving a kind of satisfaction, control and learning that's hard to beat) is simply dreadful.
No. I follow many rules, even if I like them or not. I picked one simple example of a rule I would consider a dealbreaker for my employment to illustrate how many people have already started using ChatGPT so heavily in their workflows that they would consider it detrimental if their employer took it away from them. But yes, it might not really have anything to do with GPT specifically besides it apparently being a very useful tool for a lot of employees, given that some would at least claim to quit their jobs over being prevented from using it.
Hmm, all my experiences with the old, more-human IBM (randomly powering off VMs, randomly breaking the UI for cloud admin, etc.) have been pretty much Kafka all the way, so maybe this will be an improvement (though not for the 8K employees who will be replaced).
Meanwhile in most of the US, you can get like 16 DUIs and still have a license.

Not that taking away a license is gonna stop someone from driving. They'll just now drive without a license. Probably without insurance, now that they can't get it.
Not sure how much of this is living in a bubble or selection bias of negative experiences in common but my own impression of the firefox userbase is that a significant portion of it are using firefox as a "least worst" browser, rather than one they are actually very happy with.
> Calling a parent shitty because their kid does something they would prefer they didn't means we've all had shitty parents.

Kids are going to do things their parents don't like. It's literally part of the kid learning about the world and themselves. It's shitty parenting to not know how to deal with this rather than trying to pass laws so that they can pretend the kid is just a miniature clone of their worldview.
> Julia is far more mature and advanced in many ways. Many folks have and will continue to push Julia forward and we wish them the best, it is a lovely ecosystem and language. There is room for more than one thing! :)

In general this tends to be true. However, in this case I'm not so sure. Modular seems to have garnered a lot of investment - probably orders of magnitude more than the Julia community has been able to get. There are a lot of nagging problems in Julia (startup times - though that's gotten better recently, ML kernel performance, and executables come to mind) that could have been easily fixed if they had the money to throw at them. Since they haven't had that kind of investment people who kick Julia's tires tend to see these things as built-in limitations and move on.
If you are holding onto more than $250,000 in a checking account, you probably should be doing something better with your money anyway.
> what about parents who want to view porn but don't want their kids to

That was specifically addressed in my post. Temporary disable.

Remember that safe guards dont have to be perfect before being implemented. They just need to be better than the status quo. The status quo right now is 10 year old kids viewing porn and thinking that's what average intimate loving relationships look like.
Location: San Francisco
Remote: Yes
Willing to relocate: No
Technologies: Many
Resume: https://www.linkedin.com/in/paulrstiff/
Email: paul.stiff@gmail.com
I'm a creative product leader who thrives leading highly collaborative cross-functional. I love zero to 1 type efforts, am passionate about product management and I have a background in EdTech, Financial Service, Machine Learning, and recommendation engines.
> Presumably this person has no experience with 6 year olds?

In case anyone is curious, this person has experience teaching children mathematics. For example, on his blog, we have

http://jdh.hamkins.org/math-for-six-year-olds/
http://jdh.hamkins.org/math-for-seven-year-olds-graph-colori...
http://jdh.hamkins.org/math-for-eight-year-olds/
http://jdh.hamkins.org/math-for-nine-year-olds-fold-punch-cu...

The most recent post in his category "Math for Kids" is in fact teaching how to count ordinals up to omega-squared: http://jdh.hamkins.org/counting-to-infinity-poster/
I really like the integration of lower-level memory control in a superset of Python. Trying to maintain compatibility with such a large and varied ecosystem is a daunting task, and has the opportunity to be very valuable for many people who don't want (or are unable) to move away from the Python ecosystem. Kudos to you all for tackling such a difficult problem! Good luck, I look forward to seeing how you guys help to increase efficiency across the board!
I was giving away Pilot Varsity pens (a.k.a. V-pens) to people around the office that were interested. Amazon sells them in boxes of 10, and yes they have a surprisingly good nib for such an inexpensive pen. They also have decent capacity, as the thing is basically a non-refillable ink tank with a novel felt feed (similar to what markers use).

The next pen I recommend as a starter is usually the Pilot Metropolitan, or the TWSBI Eco for those who want to dive into bottled ink.
Amen to this. I understand some of the complaints with it getting into name resolution and other things, but having had to decipher vendors init scripts it's a huge improvement for managing services.

When you add in things like Podman and it's use of systemd it's overall not a bad thing at all.
Your Own Personal Copy Editor: Refining Entire Documents with Mot Juste
IBM is doing a terrible job onboarding because they are all focused on offboarding.

This hardware is expensive and not as performant as any modern competitor. The software is arcane, confusing, and it is a pain for IBM themselves to keep supporting it. AS/400 is a costly legacy. AIX has no reason to be in a world that Linux and BSD exists - IBM owns Red Hat after all.

It was a cool technology. But it's definitely a thing of the past.
Arrogant software devs thinking this labour shortage of code monkeys will continue in perpetuity
> You can suck on it when you are a baby, but god forbid you ever take a look at it again before you are married.

It turns out, a mother's nipple has a far different effect on an infant than a young adult female nipple does on a teenage boy. If this is difficult for you to grasp, then you should consider stepping away from this conversation, as there is clearly nuance here that the average person can easily understand but that you can't.

> What's wrong with these people?

What's wrong with you?

> Even public nudity laws differ from city to city (e.g. in California), so clearly, people aren't aligned at all on this subject (I'm emphasizing the arbitrary nature here).

I don't think "arbitrary" means what you think it means. Just because people don't all agree on the definition of something doesn't make one person's definition arbitrary.

> Forbid and censor the things you're afraid of educating on.

"Education" has nothing to do with it. Pornography has been proven to be devastatingly harmful for many, many people. There is no world in which you can be morally consistent, for instance, in supporting an age minimum for alcohol consumption but not for pornography consumption.

> On a closing note, I do recommend supporting organizations like https://www.aanr.com/ who also provide legal help to citizens in states that'd rather have you wear a burka than show a nipple.

If your moral code drives you to make the world a better place by liberating people from restrictions on viewing pornography, then I contend that your moral code is corrupt or severely misguided.
I do not understand how she is still alive. IMO she may be the most interesting person alive. Not even hyperbole. With all the places she's been and things she's seen… I can't even imagine. I'm amazed how calm and collected she always seems to be.
Its amazing how consistently poor safari adoption has been.
If possible, get to a store where you can try a bunch and see for yourself.
How ChatGPT Plugins Work – Tutorial
> A major goal of Clang was to be a “compatible replacement” for GCC, MSVC and other existing compilers. It is hard to make a direct comparison, but the complexity of the Clang problem appears to be an order of magnitude bigger than implementing a compatible replacement for Python. The journey there gives good confidence we can do this right for the Python community

Is it though? For Mojo to be a compatible replacement for Python, it would need to match the Python C ABI and the greater set of the standard library in a bug-for-bug compatible way.

The real question is whether it's bug-for-bug compatible or whether it's not. Numerical functions have a lot of nuances that effect that performance quite a bit. Are they constrained so that Python numpy log(x) gives the same as Mojo log(x)? Will C bindings act the same way as in CPython? Whole list of related questions. If there is a no to any of these questions, then code acts subtly differently in a way that is sometimes hard to detect. These differences are of course what have held back "standard code" from being numba/pypy/etc. compatible in many instances.

That said, if the answer isn't yes to anything, then it is very difficult to make optimizations. Not allowing hard to optimize Python behavior is precisely what has allowed Numba, Julia, etc. to achieve accelerations. There were some attempts at that kind of thing with R, which Jan Vitek gives some very interesting talks about (https://www.youtube.com/watch?v=VdD0nHbcyk4).

What I would find worrisome too is that this approach sounds like compile time city. A lot of the recent advancements in Julia have been by sending less to LLVM: optimizations are done in Julia and dead code is eliminated, calls are found to be the same and check caches, and then with v1.9 those caches use precompiled binaries to avoid having to call LLVM again. And the timeline of improvements shows that making LLVM be in the picture as little as possible has lead to some dramatic improvements in Julia's latency (https://viralinstruction.com/posts/latency/). Given what was seen from that, I'm weary of an approach that does everything in LLVM (via MLIR) on an even more dynamic representation (i.e. Python). My guess is that only things with explicit types will compile, and the rest is probably hitting some Python interpreter to avoid this issue.

[If part is using Python/GC through an interpreter though, wouldn't that part be harder to target to accelerators since it wouldn't compile through LLVM? That would mean only the code that is explicitly typed gets the nice new features, but not the Python parts?]

But hey, if this gets Chris Lattner and crew a reason to start taking LLVM compile times more seriously, then it's a win for Julia as well. I'm excited to see how the communities can benefit from one another, especially if Mojo is open source then it can be a win for all (which was definitely not clear in the presentation). And I do think that some of the ideas of lower level memory control are cool and should be added similarly to languages like Julia and Numba.
Depends very much on the employer. I've spoken at length with a small sample (13, to be exact) leaders of companies from SMBs to mid-sized enterprises and they're all for national healthcare, as taxation is a relatively predictable expense and reduces overhead in other ways (like paying for benefit management services). Its also likely a shared tax, and in some cases is a net benefit for them because it makes recruitment easier (this in particular with blue collar businesses and those that aren't what would be considered traditionally technology companies. Benefits is a big part of the recruitment tactics still)

I think health insurance companies run the biggest two faced business of all time, extracting money out of companies and individuals while line driving the cost down as much as possible without benefit to those who use their plans. Cigna[0] even uses automatic denials based on automated heuristics, a human doesn't even look at the file, for instance.

I know "Medicare For All" programs aren't a silver bullet either, but I think it would at least put everything and everyone on a playfield that is even enough to have smaller reforms over issues that get missed in these proposals

[0]: https://www.propublica.org/article/cigna-pxdx-medical-health...
> if your kid keeps breaking the rules, ramping up enforcement is not going to change that

I can't speak for all children, but I have five of them and this works pretty damned well in most circumstances.
I'd agree. This article was not at all what I assumed it would be about: it is primarily a listing of boutique manufacturer pens that are entirely modern and not at all classic in mentality. They fit the standard "limited edition, barrel-design-focused, standard section and cartridge+converter, generic nib" product design and business model that I think is intrinsically linked to the move of fountain pens to being marketed as mostly status items.

There are great, actually classic pens, and being from a time when they were meant to be used, they can be far more interesting. Parker 51s are ubiquitous and reliable, and vacuum fillers in general seem significantly better than modern cartridge and converter pens. For mid century technically-interesting pens, I'm fond of Sheaffer snorkel fillers, where the pen can be quickly refilled without the nib ever touching ink and changing the line thickness or becoming messy. Even earlier, Waterman and other pens with fine, flexible nibs offer nib styles that range from very difficult to impossible to get in modern pens.
Fiat bros gonna cry about how valuable police state ponzi tokens are because they're backed by the best death threats by the biggest nuclear weapons.
If you can't trust your OS, trying to anonymize it is useless.

Verified boot doesn't prevent you cleaning up the device. Modern android phones have wonderfully sophisticated per-file disk encryption.

In pixels, the decryption key is stored in a secure enclave (Titan M). If you want to wipe the device safely, you can just reset the OS. (This deletes the decryption key from the secure enclave which turns all user data on the user data partition into random junk).

GrapheneOS for example gets all of these things right. It is possible to make your phone secure, but not by permanently unlocking the bootloader and rooting the device.
This is like C++ to C - so python++, ++ is for features and native compilation
This is what most of the consumer facing eco trends feel like.

Kool-aid Jammers are my latest laugh. Plastic pouch. Plastic straw wrapper. Paper straw.

Right, the straw was the enemy here?
Wait until the car has half a tank, throw it in there. At worst, the car will not run as well as you might be used to. Common case: you won't notice the difference. Your car will be far more tolerant of old gas than your mower or weed trimmer.
Question is why are banks issuing 25 year fixed mortgages at rates that nobody would buy a 25 year CD at? Do banks even sell 25 year CDs?
If

Banks debt > money+interest lent out

At the same time then maybe the bank is insolvent

However all debt typically isn't all due at the same time just like money lent out isn't paid back all at the same time.

This stuff is spread and balanced out so that ideally the bank has little liquid assets it needs, it is then able to borrow and lend out the maximum amount of money it can.

That is if it can lend money at a higher rate than it borrows it's making money.
Otherwise it ain't.
Please Mozilla just give me built in tab groups.

FF is like the only remaining browser without this feature.