skysight-inc/HackerNews huggingface dataset:
I'd blame it less on ignorance, than panic. Once committed to a process it takes effort to change. All while watching that tractor grows larger and larger in your line of vision.
Bill Shillito | Introduction to Higher Mathematics (YouTube lecture course)

Richard Hammack | Book of Proof (pdf book) - https://www.people.vcu.edu/~rhammack/BookOfProof/

Short book: Groups and their Graphs

Taylor Dupuy | Fundamentals of Mathematics (YouTube lecture course)

Silvanus P Thompson | Calculus Made Easy (html book) - https://calculusmadeeasy.org/ (This shouldn't be your only exposure to Calculus. It is more for building intuition.)

Gilbert Strang | Highlights of Calculus (YouTube lecture course)

Josh Starmer | StatQuest (Short various statistics videos) - https://www.youtube.com/c/joshstarmer/playlists

Bob Franzosa | Introduction to Topology (single public lecture) - https://www.youtube.com/watch?v=zsN_guq__Ac

Socratica | Abstract Algebra (short videos)

MIT Calculus Revisited (Single Variable Calculus): https://www.youtube.com/playlist?list=PL3B08AE665AB9002A

MIT Calculus Revisited (Multivariable Calculus): https://www.youtube.com/playlist?list=PL1C22D4DED943EF7B

MIT Calculus Revisited (Complex Variables, Differential Equations, Linear Algebra): https://www.youtube.com/playlist?list=PLD971E94905A70448

Matthew Macauley | Visual Group Theory, Differential Equations, Discrete Mathematical Structures, Advanced Linear Algebra, and Advanced Engineering Mathematics (YouTube lecture courses)

Open University (BBC) | Geometric Topology (YouTube lecture course)

Joel David Hamkins | Philosophy of Mathematics (YouTube lecture course)

Marco Taboga | Probability and Statistics & Matrix Algebra (html book, need calculus) - https://www.statlect.com/

On YouTube you can literally watch a good lecture course for just about any typical undergraduate course. You just need to know where to look. Also there are even some really good master's degree courses out there.

Of course the only way to really learn the mathematics deeply is to "learn by doing", aka problems and proofs.

Other than the usual big American universities another good source from India is NPTEL (https://nptel.ac.in/course.html).

For somewhat more entertaining short lectures try:

Grant Sanderson | 3Blue1Brown - https://www.youtube.com/c/3blue1brown

Brady Haran | Numberphile - https://www.youtube.com/c/numberphile/

Tai-Danae Bradley, Gabe Perez-Giz, and Kelsey Houston-Edwards | PBS Infinite Series - https://www.youtube.com/c/pbsinfiniteseries/

Raymond Flood (YouTube public lectures at Gresham College) | History of Mathematics

There are a ton of channels starting to pop up like Grant's 3B1B (I find like a new one every week). He had a contest recently so maybe look at some of the winners.

This is pretty useful if you get into higher mathematics:

Math Vault | The Definitive Glossary of Higher Mathematical Jargon - https://mathvault.ca/math-glossary/

Some books:

There is Eugenia Cheng's book: The Joy of Abstraction

See this list its pretty good:
https://abakcus.com/30-best-math-books-to-learn-advanced-mat...

P.S. I created some Youtube lecture aggregation channels:

https://arisbe.carrd.co/#section03
The Vietnamese military has an actual troll army and Facebook is its weapon
It could set a target to optimize against - and automatically optimize against - which may not be a good thing at all.
You gave a nice view from your house. I own the land next to your house and tell you I will build a new house blocking your view unless you pay me not to do that.
I'm sure we'll see something trained only on out-of-copyright visuals soon enough. Licensing is a red herring.
Quote:

This content is not available
in your country/region.
For evidence, the occasionally highly-upvoted Jacobin Magazine here at ground zero of popular capitalist discourse: https://news.ycombinator.com/from?site=jacobinmag.com / https://news.ycombinator.com/from?site=jacobin.com

Sometimes the same story will be flag killed one day, front page the next.
I'd be interested to hear about your experience. My contact info is in my bio if you're up for it. I do really like the Pixel line, and I'd be excited to upgrade if I were sure the new device could be successfully unlocked.

May I recommend LineageOS, which supports Pixel 7 [0] and the Pro version. Whatever you go with, yes I do think you can flash stock Android back on your phone if you like.

[0] https://wiki.lineageos.org/devices/panther/
I understand your argument from a philosphical or idealistic view. You are correct

People know Google/FAANG rather than bitwarden.

If your family knows bitwarden then kudos. I am living in a different world.

> Like, you are laying out exactly how vendor lock-in happens, but your point seems to be that vendor lock-in is fine and we should just stop talking about it. "

- We can talk about it

- And we are now.

- But people in power don't understand (or care).

There are no equivalent, easy option. I wish some company like proton mail or some one else would run a phone with all equivalent google services. But they don't.

> They'll use Bitwarden or Dropbox and it'll be fine -- easier than setting up a new phone.

Are you sure? People would ideally like

- Buy phone

- sign in google/apple account

- All apps installed and ready to consume/produce MEDIA

> Do people really think that passkey is easier to back up than Bitwarden is?

People think in different way. They know 2 things

- Google/Apple username + password

- get SMS recovery info (again I am not recommending - people are simplistic). May be you can replace this with some other option

- For example, facebook allows for nominating a friend or a facebook for recovery

- Enter the code

- ready to consume/produce MEDIA

> They won't need to wonder if their new phone is compatible with anything,

Average Joe has brand loyalty so that they will stay in whatever. Usually. If one goes to Samsung, they usually stay there - even if Pixel is better.

> They'll use Bitwarden or Dropbox and it'll be fine -- easier than setting up a new phone.

Where is the 2FA for dropbox or bitwarden? is that file supposed to be accessible without 2FA?

I agree to your no-vendor lockin sentiment but this means some one should invest and build a platform neutral + verifiable thing.

And even if some decent govt steps in people will claim it is all to track you. So EOF.
Would you agree to pay for any service where not even an estimate of the price could be given? I guess healthcare is the only example I can think of where anyone consents to that.
What would be the advantage? Presumably it would have to be very thin, so rigidity seems like it would just mean fragility. Are you seeing it differently?
Well, this isn't necessarily about hacking - it's about backing up a phone too. Google doesn't allow backing up a phone in any reasonable way.
> Do you have a child as a tie breaker?

Thunderdome:

* https://en.wikipedia.org/wiki/Mad_Max_Beyond_Thunderdome
So perhaps this is obvious, but for commuting you probably want to use a longboard, not a skateboard. Can't do tricks on a longboard, but other than that it's much easier than a skateboard.
Every news site has some notion of top items, but you’ve done it 10x better. The de-duplication of similar stories, great summaries, and super clean interface are amazing. Bravo! It really feels like you solved news aggregation.
> do people actually understand what [AGI] means

no because it means something different to each person (both its definition and its implications)
For the same reason oil and gas companies still explore and agree to contracts with landowners for access to the underground minerals; it's still profitable after paying the owner of the mineral their cut.
Yeah, those are excellent choices when purchasing, but when you already have something and are trying to use it - you should be able to.
> But the new latest thing from Google+Microsoft+Apple is 'passkeys' or 'passwordless' authentication, where you won't have a password. Two-factor authentication will be device+biometric, with the biometrics performed on the device. 'The device' in this case will be your smartphone, or windows PC with TPM. Or maybe a biometric yubikey for 0.01% of users.

I don't believe it's restricted to Yubikeys with biometrics:

https://support.google.com/accounts/answer/13548313

"You can create passkeys on these devices:

- A laptop or desktop that runs at least Windows 10 or macOS Ventura

- A mobile device that runs at least iOS 16 or Android 9

- A hardware security key that supports the FIDO2 protocol"
I think you where sold on "scrum is all you need"lie.

Kanban isn't there to dictate process, but as a tool to correctly and truthfully inspect your process.

E.g. we recently used length of UAT column to prove that we need more business people doing testing in next few weeks as we close to feature release and more tests take form of exploratory testing.

Scrum isn't blind to benefits of such inspections either! So doing simplified Kanban board is frequent.
So imagine a scenario:

1. crime organization (or governmental org) buys / steals a bunch of phones

2. org opens boxes, tampers with boot loader in such a way that they (and / or the original OEM and / or the original OS vendor) have a persistent remote administration account on phone

3. org then returns phones to supply chain either covertly or off the back of a truck.

4. org leverages remote access to do shady things

5. "the press" finds out that "vendor phones XYZ are trojaned!" and vendor looks like t-mobile for 5-30 hours until people find another cat video to look at.

A theoretical justification of this is that phones are stolen all the time from the supply chain. Making lots require remote activation allows the vendor to kill the stolen phones, reducing their resale market in that part of the stolen phone ecosystem. Another theoretical justification is to "protect" the average buyer who just wants a damned phone to look at cat videos on and maybe call their spouse when they're late; they don't wear boots and don't care about loaders. Just Want Cat Videos.
GPU vendor-agnostic fluid dynamics solver in Julia
Google appears to be scaling up the ads it shows to Gmail users
they got that danny rensch rizz am i right
Influential? That war surely feels like a motivation for secular ideas in Germany, but the actual outcome in Augsburg was that rulers were free to pick the confession for their realm, hardly more than a confirmation of what had been happening before. A less bloody path to that lowest form of peaceful coexistence between Lutherans and Catholics could not have been very different. Secular ideas did not really become a reality before Napoleon shook things up. Other than that, what did the war change, outside of a population reset? I'd rather rate it surprisingly free of consequence considering the amount of destruction.
You’d think, but wildly inaccurate estimates are not rare at all (and many software projects are fairly routine themselves)
Lots of uncritical media coverage out their and to be fair, I am also quite hyped about killing passwords. Nevertheless there is certain aspects that I believe did not get enough attention yet, the biggest potentially being the switch from knowledge to possession factors.. not sure whether everyone is aware of the potential implications.

Some critical notes on Passkeys: https://www.jbspeakr.cc/fido-passkeys/
Yeah, that's an option I'm aware of, but it gets quite ugly when the rules are more than just a few.
I'm not completely opposed to TinyCat; the main reservation I have about TinyCat is that it seems to make your library publicly visible to anyone and everyone, which I would tend to shy away from.
Sure. I think the part that’s missing is that FFMPEG runs out of process and doesn’t deal in GPU buffers/textures.
GCC 12.3 Released with 127 Bug Fixes, AMD Zen 4 Support Backported
this is a great disrespect to the memes that were born on SA
"Alpha gal" is the short name for a sugar that occurs in most mammals, but not primates. Cannibalistic experimentation wasn't necessary.
> The same crazy idea might not resurface, but someone in the distant future will maybe (likely?) find some of our own, present-day convictions and schemes equally harebrained (like - cough - a renewed all out arms race involving multiple types of WMDs ...).

I don't think we need to wait for the future, I think most normal people living now would already consider this entire situation crazy. The situation and context is obviously complex, but I doubt there are many people outside governments who think a WMD arms race is a good idea.
Ask HN: What it takes to create 1Password?
It strikes me that in such a sensitive and profitable market as password protection there is just a handful of products (1password, bitearden, keepass…)

And all of them have some issues and problems (even in the security department as far as i can see from social media discussions, let alone shitty ui etc).

I wonder what’s the big deal to create a nice UI over standard industry encryption algorithms and add some bells & whistles as needed?

Why don’t we see hundreds of competing products in this niche? Even if we narrow the scope to b2c market (I understand it’s much harder to find right market fit in b2b, but at the same time, it’s already found, so why not copy those features)

What crucial challenge specific to the product/market that I miss here?
That's not even remotely similar.
I doubt that’s the move at all - I think they’re just trying to capture more of a share of the extraction revenues.

If you look at the history of the hydrocarbon industry during the 20th century, you saw the exact same trend over and over in countries without a history of private ownership of mineral resources. Exploration contracts were granted to foreign operators on favorable terms, and as the concessions were proved up (and petroleum gained geopolitical significance), those terms were slowly made less favorable to the operators, or the foreign operators were forced into local joint ventures, or their holdings were simply expropriated (or some combination of the above).

It looks to me like Chile thinks they have leverage and are beginning to turn the screws. If their reserves are sufficiently vast and economic, this might not appreciably affect the overall trajectory of the Chilean lithium industry for decades, if ever.
Memtest86 6.20 Released with Improved Support for Older Systems
Relevance under uncertainty – the commercial realities of IR development
Dlarc Radio Library Surpasses 75,000 Items of Ham Radio, Shortwave History
The one thing that I most wish Python had is Common Lisp's restartable conditions. They're like exceptions but they don't break your whole process if you don't handle them in the code. If you forgot to define a variable, you'll have the option to define it and resume computation. If you forgot to provide a value, you'll be able to provide one now and resume computation. As it is, Python just dies if something unforeseen happens, which feels like a missed opportunity given that Python is a dynamic language (for which it pays a price).

I work in ML, and launching a job on a cluster just to have it fail an hour later on a typo got old ten years ago. Being able to resume after silly mistakes would easily reduce debugging time by an order of magnitude, just because I need to run the job only once and not ten times.
Qdrant is *far* better than pinecone.
There's really no comparison.
Thanks, that makes sense and helps a lot. I have a 16gb m1 that I got llama 13b running on. It works really well but I really want to run bigger models, so your examples of ram -> model size are super helpful.

I’ll probably just end up getting a higher capacity Mac in the next few years. Right now 96gb configurations seem to be around 4k, if that comes down a bit in the future i’ll probably pick something up.

I’m not really looking to train myself so training cost isn’t an issue for me personally, I just want to be able to run the best of what the open source community comes up with (or contribute to a pool to train models, if that becomes a thing).
If only those authors had channeled their fantasies into an art form other than economics, perhaps the world would be a more beautiful place.

At least the combination of ideology and internet connection is mainly psychologically destructive. It’s a step up from ideology and gunpowder’s uncanny ability to provide close-up views of friends bleeding to death.

Pragmatism might be defined as anti-ideological or it might be rooted in empiricism or actually it is quite the opposite of pragmatic to even wonder about such things.

We can talk, we can agree, we can use our physical and common senses, and we can do things together that are meaningful and make sense. We don’t really need the modernist requirement of axioms and their extrapolations.

Sure, rocketry benefits from models and empirical results and for a very simple reason: reproducing the results and proving to yourself that your ideas work through direct experience, the foundation of science itself.

The liberal arts are by necessity of a different epistemological foundation for a simple reason: we cannot currently model the entirety of our world in ways that are conducive to falsification. We get hints and generalizations. History is the foundation of these disciplines and trial-and-error across decades of lived experience the laboratory.

This necessarily adds a political dimension as everyone needs to be convinced to be willing participants in near planet-sized experiments.

For the most part people are satisfied with public roads and conservative with their approach to locomotion.

If it ain’t broke, don’t fix it. There we go, a workable definition of pragmatism pops out at the end.
How Chip Engineers Plan to Use AI
Yeah, I'm not going to install that...

Does anybody have a youtube vid, or images or something? Google wasn't helpful.
GCC 12.3 Released with important bug fixes
Whatever your definition of "understanding" may be, we appear to agree that these are different things which is all parent asked about:

> Do you see a difference?
This "budget" isn't a budget in the sense of a limit on spending. In a parliamentary system, the budget is a set of proposals for what to spend money on and how to raise it. So it involves a piece of legislation to adjust the government's taxation powers.
I tend to feel this is why biologically we were not ready for the Internet.

Dunbar's number [1] makes us feel as if there's only 150 people in our monkeysphere [2]. So when someone's yelling at us from the other side of the Internet, our brains aren't equipped to say "that's one in a million" - it feels like there's one in 150 and suddenly we've got SIWOTI Syndrome [3] going.

It really showed up during the pandemic - our brain couldn't process getting immediate notice that there was 150 people (among 8 million in our county) with a deadly disease.

[1] - https://en.wikipedia.org/wiki/Dunbar's_number

[2] - https://www.cracked.com/article_14990_what-monkeysphere.html

[3] - https://www.explainxkcd.com/wiki/index.php/SIWOTI_Syndrome
I have no problems with news sites using ads to make bucks, but the overloaded design makes it hard for me to get what the site is actually about, news!
Every website has a finite # of articles, provided you visit them a finite number of times.
Mirror [1] for other regions

[1] - https://archive.is/vW2eC
If laws let companies do this, they will. Eventually unlocking your phone will look like a https://en.wikipedia.org/wiki/Literacy_test. At 30 days, it has already passed the level of cancelling your subscription to The Economist and reached the obfuscation level of cancelling the average gym membership.

They'll just keep testing the limits until their analytics tell them that only 23 people made it through the process in the last year, then they'll shut it down for lack of use. Legally obligated, they'll replace the process with a promise that if you mail a newly purchased device to the company, they'll send you an unlocked version within about 3 months. Then, a year later, mail to that P.O. Box starts getting returned, and customer service claims that they're not aware of any mail-in program. The representative claims, honestly, that "we don't sell unlocked phones." You get escalated to a supervisor, and insist that they're legally required to unlock your phone. The supervisor apologizes to you, promises to get to the bottom of the training oversight that led to the escalation, and insists that you mail the device directly to his office and he will take care of you personally.

Only three people made it to the supervisor last year. Two of them never ended up sending in their phones, and for the one that did, the company accidentally sent another locked phone back and the customer failed to follow up.
California spends about $200,000 per mile of highway every year. That comes to about $53.6 billion dollars a year just to maintain those highways. That doesn't even count the capital costs of new projects. That doesn't count the $55 billion dollars in medical bills for people injured in accidents. The billions of dollars that people pay for health care required to treat diseases caused by pollution. The cost in lives, time, and crippling injuries is immense.

What do we get for it? Being stuck on the 91 choking on the exhaust.
The mineral reserves are already public property as prescribed by the Chilean Constitution:

> The State has absolute, exclusive, inalienable and imprescriptible domain over all mines, including guano deposits, metalliferous sands, salt mines, coal and hydrocarbon deposits and the other fossil substances, with the exception of superficial clays, despite the ownership held by individuals or body corporates over the land in which the above should be contained. The superficial landed property shall be subject to the obligations and limitations prescribed for by law to facilitate exploration, exploitation and development of said mines.

What changes is that new mining concession will no longer be granted without accepting a majority stake from the state in exchange for the right to mine those deposits. The profit split might be different though, allowing firms to recover the capital.
I have some reasons.

* Even the fastest of the schemes is slower than SBCL.

* The interactive development features in Common Lisp are there because they got baked into the spec. They aren’t really a thing with scheme.

* Common Lisp has a specification everyone follows. Scheme has THREE completely different specs everyone fights over. Version 6 is the LEAST common (though probably the best for real work), but it’s also the choice of Chez scheme which is the fastest implementation (last I checked).

* Related are the SRFIs. There’s over 200 of them. The language isn’t useful unless a bunch of these have been baked into the compiler. This is HORRIBLE for users. If you want to do something, you must search the SRFIs, find the correct one, look up if it’s actually supported, then read the spec because implementations don’t actually documents this stuff in their own docs. https://srfi.schemers.org/

This all makes portability a disaster. Imagine trying to make a library that works across three versions of the language (all with different features and ways of doing basic things like importing code). Next, you have to work around which implementations support which basic SRFI (eg, Can I use list operators beyond car/cdr? Can I use basic string operators? Mutable arrays? Hash Tables? Records? Threads? Integer bitwise operators? Streams? The other 200+ SRFIs that cover basic stuff that should have been in the language itself?

The result is everyone constantly recreating the wheel in slightly different ways. R7RS-large was supposed to fix some of the worst of these issues, but we’re 10 years out now and still waiting.
Is this the background of the "in soviet russia..." jokes?