skysight-inc/HackerNews huggingface dataset:
> I think most religious people would agree that God intentionally makes it impossible to verify his existence at a social level via empirical means

Funny how that went from an obscure, almost certainly heretical idea to mainstream in such a short time.
You need a setting in which to learn proof based mathematics, and linear algebra really is the first place where students are ready for that journey. Not everyone is going to be able to do it, but it's very incorrect to say that you must be familiar with proof. One must start somewhere, and ZF ain't it.
Why is the amount that you care for your own ass so ant-sized?
Fair enough. It wasn't my intention, perhaps just being careless.

I think these conversations usually boil down to some kind of pragmatism versus idealism, so let me be frank about that. If everything could be done as close to the data as possible, that would be faster than not. Every boundary / transformation is a few burned cycles and delays waiting for the arrival of photons/electrons. The ideal here, really, is to have everything occur in one process on one machine without hitting the disk. Ideally the User's machine, for whatever value of User.

However, there are other considerations which cause us frequently to draw the boundaries differently. Often just as valid.

Where certain things happen is relatively flexible, it's software and we can come up with whatever architecture we can come up with. If you're moving more logic into the database process, then there are costs to that but they're not measured in cycles. Others if you do it by moving the database into the application process.

Maybe those costs make sense, in which case go for it. We've had the means to do arbitrary work in the database for many decades, and for some periods it was even fashionable.
> That commenter above that you refer to is quite simply incorrect. I suspect he's not read any of her work and is speaking only from artefacts of his own imagination.

If that's me, correct. Her line of reasoning is ... something about "starting a global conversation"?

Being in the minority doesn't mean you have a point.

Being censored doesn't mean that you have a point.

Not being censored but arguing that you are censored doesn't mean you are censored or that you have a point.

Arguing that not-being-censored is not evidence of being censored ("witch logic") doesn't mean you are censored or have a point.

She could have used the space to make a point, so that readers wouldn't need to resort to imagining artefacts, but instead she told her audience that she's being held back from telling her audience stuff.
That makes no sense to me either. Shitty cars could look for accidents to get above-average payouts and thrn, while this sucks, people tend to be more careful around more expensive things. Your way has everyone treating a $150,000 sports car like a 'median sedan' when it comes to caution.
"In 1997, Congress passed the Balanced Budget Act, a bipartisan effort to cut back on spending. The act put a cap on the number of annual residencies CMS would support, and froze the funding at 1996 levels. . . . Since 2007, a bill to increase the number of residencies has been introduced in every Congress . . . but never passed."

https://www.washingtonian.com/2020/04/13/were-short-on-healt...
The experiences with people need to be high quality if you want people to socialize often.

Speaking for myself, I'm not really interested in being around loud, raucous places where I have to spend money just to exist and socialize there. Those are businesses, not communities.

Third places and real communities don't really exist anymore.

I legitimately can't remember the last time I went to a public event and enjoyed myself.
Reality: JS is a great language, and that's why it won. The idea that it's merely the case that it was everywhere and that that is the reason it won is something that people who are sore tell themselves to avoid grappling with the truth. JS's ubiquity (a) was neither a fait accompli, and (b) is insufficient to completely explain its success—it only explains it if you're willing to overlook a lot of confounding factors.
Bjarne Stroustrup's Plan for Bringing Safety to C++
You should get her something like VoiceDream or SpeechCentral and load books on to that. I feel like it would keep her eyes more active
No offense to OP but you are right. I get the feeling that people keep looking for a math-free resource to learn math...
I’m all for not prematurely optimising and the point of the authors post is still valid, but it is hard to argue that the resulting code is more readable or understandable than the rust code.

The rust code is pretty simple, and plain, and doesn’t need any of these tricks
Now that this switch exists, I'm worried that DRM and anti-cheat are going to start requiring it to be disabled, for no good reason.
I think the bigger issue with p2p nowadays is the move to portable devices. The majority of people nowadays are on phones if not laptop and tablets. P2P has the user giving up their storage, battery life, and data. It works fine in more niche applications, but it'll never be mainstream.

It's probably not even possible on iOS devices because of the limitations in background processes.
A screenshot from the manual

https://twitter.com/moo9000/status/1718757628006834221
Fantastic work, and really appreciate the write up. It's quite timely for me - I'm from a tech background and have just started studying Australian law, and was thinking about doing exactly this - so you are years ahead of me :).

Just one note - the link in your Github readme to https://umarbutler.com/open-australian-legal-corpus doesn't seem to go anywhere.

For someone interested in using the data (and help out with bugs/issues), where would you suggest starting?
BO is too slow to get excited about a mockup. The timelines for it will be blown out so far that it may never happen.
The equation of all progress with any progress is yours, not mine. I haven't made that argument; if you want to see it defended, I'm afraid you'll have to do so yourself.
If it were just a money-saving measure, I'd imagine they'd have continued using Inter with whatever complementary monospaced font they had been using.

Vercel's motivation appears to be that, unlike other fonts, Geist was designed with "precision, clarity, and functionality at its core", which "enhances the visual experience of developers and designers", which in turn finally "empowers them to effectively communicate their ideas".
With which slaughter would you like me to start?
I planned to use the ZimaBoard as a small OpnSense platform. Sadly, the NICs are Broadcom which has an unhealthy tendency to fail in weird way when throughput is pushed (lucky enough that I have fiber Intarwebz, so Gig is not unreasonable). I am not alone, so it is not one-off. [1]

The solution is use an Intel NIC off the PCIe slot exposed by ZimaBoard, but there isn't a decent bracket to hold it. There is a 3D printable design [2] (unaffiliated), but ehhh, as been pointed out, used small business PCs are plentiful.

I went with a used Sophos SG115 rev.2 which uses Intel Pro/1000 NICs, which works splendidly.

[1] https://www.reddit.com/r/ZimaBoard/comments/12gij2d/zimaboar...
[2] https://www.printables.com/model/215289-zimaboard-wall-mount...
> I'd like to meet them halfway by getting to a basic conversational level in Korean. Any tips?

Not op, but…

Start with memorized words and phrases — salutations, meal time commentary, celebration terms, etc.

Then move to short, simple sentences — emphasis on short and simple. You might not understand any replies, but that’s ok.

Over time, these might progress into short and simple conversations as you become better able to understand their responses (and they probably learn how to simplify for you), and your vocabulary grows.

Once you get this far, you will have more specific questions to ask regarding gaps you want to address.

Korean is one of the harder languages for native speakers of English to learn, so don’t expect a quick ramp up time like you might have with Spanish or French.

One of the challenges with Korean is the S-O-V order. This is like Japanese, so Korean is quite a bit easier to learn if you already know Japanese.
> Isn‘t there anybody close to the Feynman of Linear Algebra?

No. The subject is too young (the first book dedicated to Linear Algebra was written in 1942).
Since then, there have been at least 3 generations of textbooks (the first one was all about matrices and determinants). That was boring. Each subsequent iteration is worse.

What is dual space? What motivates the definition? How useful is the concept? After watching no less than 10 lectures on the subject on youtube, I'm more confused than ever.

Why should I care about different forms of matrix decomposition? What do they buy me? (It turns out, some of them are useful in computer algebra, but the math textbook is mum about it)

My overall impression is: the subject is not well understood. Give it another 100 years. :-)
I wonder what applications become possible with a particle accelerator on a chip.
In theory, the answer is computable, but it probably doesn’t mean what you think it does.

A gigantic chunk of those transistors are just SRAM memory cells for various caches. The number of transistors used to actually implement the logic of the SoC is significantly smaller. I would be surprised if it was more than 5%.

The growth of this number between generations is also likely not very large. Most of the growth is also probably cache sizes.
I have not used Google since they had their IPO. It's been quite a few years now.

I've tried most of the others, and I never feel any need to use Google. Once in a while I switch search engines from one brand to another just to break habits and discover new stuff. Sometimes I combine engines for one specific search, but it's very rare that I don't find a result I can use.

These days Brave Search is quite good - it's the only US based SE I use currently. Bing isn't bad either but I prefer the uncluttered view that Brave has. I haven't used Yahoo Search for a few years, so can't comment on that one.

DDG isn't very interesting to me, but thats just personal preferences. Also, stuff like this [0] rubs me quite the wrong way

Others I like better include, say

- Quant
- Ecosia
- Mojeek
- Dogpile
- Yandex
- Fireball
- MetaGer
- Glowstery
- Swisscows

Most (almost all) of these are European. I included Dogpile which is American just for the nostalgia - I rarely use other US SEs than Brave.

When feeling experimental I have sometimes also dabbled a little with the likes of YaCy and SearcX

[0] https://yro.slashdot.org/story/22/04/15/2057253/duckduckgo-r...
Building a Cloud-Native File Storage Platform to Host 5B+ Files
> And finally, some might find control or security in an alternative context. Whether virtual chat or just some other space compartmentalized from real life, they may find it easier to escape boundaries of their primary social personality. They might bypass shyness or anxiety or repression expected by their social circle. But in a crossover setting, they might involuntarily shut down, to the bewilderment of someone who knew them in their escapist space.

Very well put. I'm pretty sure this was the case where I had online contacts that didn't work out IRL. I had a really strong connection but they were not able to continue this in real life due to physical distractions. Or in one case, I wasn't.
The only other thing to affect height is nutrition. Assuming the same nutrition, certain ethnicities will trend taller than others. Denying that is just straight stupidity because you can observe the trend just by going outside.
I've been living in southern Mexico in the jungle for the last year or so and this app has been a blast. Whenever we hear something new we all whip our our phones and learn something.
> One of the things that doable "now" that wasn't doable "then" is wireless charging. I love that I can put my phone on a pad next to the bed at night and it charges, pick it up and there is no trailing wire to unplug, put it down and there is no wire to find and plug in. This is a big improvement in my user experience.

The palm pre and several early android phones had both removable batteries and wireless charging. The back panel just had pogo pins for the coil to transfer power.
I made a prediction that I was going to find out that Graeber was a communist thinker before I looked him up just now. I was not surprised.
Started playing it yesterday with ray tracing turned off. Still absolutely stunning!
tldr; The hiring process in the tech industry is flawed and inefficient. Current assessments and coding interviews are biased and time-consuming, resulting in poor signal and a waste of resources. Many companies have tried to fix this problem, but have struggled due to high churn and competition. I propose a solution of open-source asynchronous debugging interviews and a platform for developers to practice and showcase their skills. To curb churn, the platform should bundle assessments with other sticky products. I'm considering building a product based on these ideas and welcome feedback.
How is Peter Thiel on the list of infectiously visionary and charismatic leaders?

That would be like putting Paul G on this list. Neither of those two are applauded and loved in the mainstream even if they are both rich and extremely smart.
π in Other Universes
Just imagine what would happen if the money supply consisted of pieces of paper that the government could print any time it wanted more money!
Let's say short posts which consist of title + body, ~100 words total. And classify them into 2 categories (e.g. posts that talk about cats vs posts that don't).
> We're calling a machine with a Celeron CPU a "server" now?

What's wrong with that? A server can have any kind of CPU.
The ARRL Ham Radio License Manual, 3rd edition, section 1.1 explains the term:

> How did “amateur” become “ham”? The real answer is unknown! Even before radio, telegraphers referred to a poor operator as a ham. Perhaps this was derived from a poor operator being “ham-fisted” on the telegraph key — an operator’s “fist” referred to his or her distinctive style over the wires. With all radio stations sharing the same radio spectrum in the early days, commercial and military operators would sometimes refer to amateurs as hams when there was interference. Regardless, amateurs adopted the term as a badge of honor and proudly refer to each other as “hams” today.

While you'd buy the latest 5th edition from the ARRL [1] to prepare for the exam, the older 3rd edition is freely available online [2].

[1] https://www.arrl.org/ham-radio-license-manual

[2] https://macaloney.blogspot.com/2019/06/how-to-prepare-for-ha...
I knew there'd be at least one pedant! And I almost altered what I wrote to pre-satisfy you!

Begone pedant, and feast thine eyes on the surreal numbers [0]!

> In mathematics, the surreal number system is a totally ordered proper class containing not only the real numbers but also infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number.

(Also, go look at the `fil` unit in TeX for a good practical application of this ;).)

[0] https://en.wikipedia.org/wiki/Surreal_number
I prefer a simpler perspective for complex numbers of "defined latently, then discovered, accepted, named and given notation", other than "invented".

Invented implies some degree of arbitrariness or choice, but complex numbers are not an arbitrary construct.

Zero, negative numbers, and imaginary numbers were all latently defined by prior concepts before they were recognized. They were unavoidable, as existing operations inevitably kept producing them. Since they kept coming up, it forced people to eventually recognize that these seemingly nonsensical concepts continued to behave sensibly under the operations that produced them.

Once addition and subtraction were defined on natural numbers, (1, 2, 3, ... etc), the concept of zero was latently defined. The concept of "nothing" was not immediately recognized as a number, but there is only one consistent way of dealing with 2-2, 5-5, 7-7, etc. Eventually that concept was given a name "zero", notation "0", and adopted as a number.

It was discovered, in that it was already determined by addition and subtraction, just not yet recognized.

Similarly with negative numbers. They were also latently determined by addition and subtraction. At first subtracting a larger number from a smaller number was considered nonsensical. But starting from the simple acceptance that "5-8" can at least be consistently viewed as the number which added to 8 gives 5, and other similar examples, it was discovered that such numbers had only one consistent behavior.

So they were accepted, given a name "negative numbers" and a notation "-x", short hand for "0-x".

And again, once addition, multiplication, (and optionally exponentiation) were defined, the expressions x*x = -1 (or x = sqrt(-1)) were run into, they were initially considered non-sensical.

But starting from acceptance that it at least makes sense to say that "the square of the square root of -1", is "-1", it was discovered that roots of -1 could be worked with consistently using the already accepted operations that produced them.

The numbers that included square roots of -1 were given a name "imaginary numbers", the square root of -1 given notation, "i", and we got complex numbers that had both real and square root of -1 parts.
I think you're under some kind of misapprehension? Mini PCs aren't meant to be mobile. They're just cheap PCs for ordinary office workers that don't need any expandability and/or don't have the desk space to accommodate a full sized desktop. They're common as dirt because corporations buy or lease them by the truckload and that is also what makes used mini PCs dirt cheap.
Free means you are not imposing restrictions on me, and I am not imposing restrictions on you.
Dating isn’t an interview. It can be but it doesn’t have to be. The less of a formal interview it is the more you get a taste for if you like hanging out with the person.
With that keyboard it's a neat, but useless toy.
This is a major section of the documentary.
Ask HN: What's Been Going on with Archive.today?
It’s been months and I’m still confused what’s going on with it.

It often used to redirect to other TLD (ph, is…).

More recently it seems to be not-happy with iCloud Relay connections and it either cannot be reached or gets in a reCAPTCHA loop.
> This is actually why I feel that mathematical texts tend to be not rigorous enough, rather than too rigorous.

The thing that mathematicians refuse to admit is that they are extremely sloppy with their notation, terminology and rigor. Especially in comparison to the average programmer.

They are conceptually/abstractly rigorous, but in "implementation" are incredibly sloppy. But they've been in that world so long they can't really see it / just expect it.

And if you debate with one long enough, they'll eventually concede and say something along the lines of "well math evolved being written on paper and conciseness was important so that took priority over those other concerns." And it leaks through into math instruction and general math text writing.

Programming is forced to be extremely rigorous at the implementation level simply because what is written must be executed. Now engineering abstraction is extremely conceptually sloppy and if it works it's often deemed "good enough". And math generally is the exact opposite. Even for a simple case, take the number of symbols that have context sensitive meanings and mathematicians. They will use them without declaring which context they are using, and a reader is simply supposed to infer correctly. It's actually somewhat funny because it's not at all how they see themselves.
Go + htmlx + TiDb or YugabyteDB
Of course an account running a site based on violating copyright is eventually going to be suspended. Any service provider in US jurisdiction will do the same. It's not a matter of opinion or policy for Vercel, or unusual terms of service. It’s critical for Vercel’s business continuity.

Services are protected from copyright claims under the DMCA “safe harbor” laws as long as they pass along copyright notices to their users, and take down content if the user is unresponsive. Otherwise Vercel would become liable for the copyright violation in addition to the user.

If Vercel doesn’t honor the DMCA safe harbor requirements, then Vercel’s providers will shut down Vercel itself. AWS could suspend Vercel’s use of Lambda/EC2, Vercel’s DNS provider could stop answering DNS queries for hosted domains, etc.

I’ve worked twice at service providers protected by DMCA safe harbor (first at UC Berkeley’s ISP, now at Notion) and can tell you that for service providers the consequences of losing DMCA safe harbor are just as severe than the consequences for the user. Early in my days at Notion, we missed a DMCA takedown notice for a public page, the copyright holder escalated to Amazon, and Amazon threatened to terminate the EC2 instances running our service.

https://www.copyright.gov/512/#:~:text=Overview%20of%20Secti...
ken burns probably has the best documentary on how ww2 had an effect on civilians in america.
Don’t lie.
Someone throwing insults or punches at you that hurt is not something you choose, it's something you feel. Why do you think the attacker bears no responsibility?
The mortgage market is so bad lenders want ex-employees to give back bonuses
Slow clap... Bravo, well played!
Gold is relatively common, it's just that most mines were mined completely or to the point where further exploration was not economically viable, so few were preserved, though many mines that we have been used recently for other minerals did contain some gold in the past.

From first google link (https://www.bullionbypost.co.uk/index/gold/gold-mining-in-th...):

"Gold has been mined in Scotland for over 2,500 years. There was gold mining in Crawford from the early 1500s" - and that's just a few examples.

I recommend reading about or visiting Great Orme if you are interested in mining, it's a copper mine that was in use since bronze age.
mom said its my turn to repost it!
Because the poor guy contributes so much to math and math exposition and yet has his name misspelled everywhere, I'll mention that it's Terence, not Terrance.
>Cornwallish

Cornish would do
E-waste recycling.
Only yesterday I was reading of a "lost" sheep that's been living on its own for 2 years (it's at the bottom of a cliff, people can see it from the sea but not reach it) and apparently doing great.
Treasury Department introduces proposal targeting crypto mixers
iPad + keyboard folio can get a lot done on the go.
You could also consider one or more of the scientific data repositories like Zenodo, FigShare, DataDryad, etc. 5GB is small potatoes for those folks and they have serious data retention policies. As a bonus, they'll also allocate you a citable DOI.
I've seen shops hire product managers for INTERNAL customer facing apps, and then have the PMs basically not talk to those customers. They did instead talk extensively to product & tech management as well as the c-suite.

So tech people (even IC non-leads) end up on weekly calls with various internal stakeholders that the PM can't make (literally this is your job dude) and take the brunt of all the feedback/relationship management/etc with the trickier ones.

The worst was when he said he would take the weekly calls with Asia users but wanted to pre-meet with me first and ask I ride along with the weekly user call for a while. So we would pre-meet and then he would ghost on the user call so I end up having two calls instead of one.

Just cargo cult CTOs reading too many books and not actually looking at the evidence in front of their eyes.