skysight-inc/HackerNews huggingface dataset:
I heard from a friend (have not verified myself) that the paper in which the Magma computer algebra system was introduced is the most-cited paper in the whole of pure mathematics.
If you write the annotation like this:

<ruby>C<rt class="ruby-1"></rt></ruby>

With this CSS:

.ruby-1::after {
content: "1";
}

(with corresponding treatment for other numbers)

Then you should get an annotation that resists copying. This renders correctly for me in Firefox; no idea about other browsers.
Isn't a certain degree of gumming-up advantageous? It would keep the oil in place after it works it's way into all the nooks and crannies, ending up more like a grease. This behaviour could be good for corrosion prevention.
Ok, another example: C# Compiler, .NET internals/std/yadayada, same stuff.

My claim is:

Almost all real world, OSS, big, battle-proven code bases are nowhere even close to evangelist's "sanity".

They're full of loops, nulls, gotos, ifs and all ""bad stuff""

>all the web servers running the whole cloud

I literally opened first file that I've seen in nginx repo and take a look at this:

shitton of ifs, for loops gotos and all of that in one, a few hundreds lines long method.

https://github.com/nginx/nginx/blob/master/src/http/ngx_http...

>On the other hand compilers are often written in C++

are they?

>or are bootstrapped in the very same language though.

thus what?
And a response from one of the authors of the government working group material (see my other post ITT): https://www.tandfonline.com/doi/full/10.1080/00131857.2021.1...

edit: the user above has made significant changes to their post since I replied initially; at first, the post above only contained a single link to the letter...
>"white" doesn't represent a shared culture and history

I think this is pretty objectively false, if it were true, then the white-black dichotomy wouldn't work.
yeah thread from 3 days ago with other complaint
https://news.ycombinator.com/item?id=29404954
Experimenters have been able to extend the lifespan of C-Elegans five-fold by modifying just a few genes[0], though its unlikely that research will translate well to humans. Even interventions in much more closely related mouse models frequently fail to translate to us, but must biologists will agree with you that those organisms are the place to start.

[0] https://www.buckinstitute.org/news/five-fold-lifespan-extens...
Not quite. It has to somehow store and later retrieve a few (infinite) “yes-nos” to be general enough.
You don't need fiat currency---the Romans debased their currency just as much as we do today.
No, I'm pointing out that a better player already existed since the inception of VLC.
Smart Bird Feeder Wins First in Undergrad Engineering Design Competition at UCF
The term "Web3" may be bullshit: it wrongly implies that crypto/blockchains will replace current web structures like servers, websites, AWS media hosting, OAuth, etc.

But, the ideas of Web3 — building applications on top of distributed ledgers and programmable smart contracts — is rather novel, potentially paradigm-shifting, and has already exhibited some clear merits[1]. Most likely this will continue to grow as these systems become more efficient and scalable (see: Proof of Stake, zk-rollups, sharding, alt/side-chains).

[1] - https://mattdesl.substack.com/p/hicetnunc-and-the-merits-of-...
Here’s an impressive bit of kit from some really nice young engineers at the University of Central Florida.
That's more or less shu-ha-ri https://martinfowler.com/bliki/ShuHaRi.html. Very useful concept, I often refer to it: for example to argue why "just be agile" probably won't work when there's juniors or when the team is new-ish. That's skipping to ri, start with shu (scrum or whatever set process).
The last time in needed to lubricate my paper shredder, I used sewing machine oil on it.
Well, if you're in aerospace (aviation) your compiler inserted code is just an annoyance to you so I'd say that yes, as it stands today, you definitely need those languages.
> What's wrong with socialism?

Nothing, in principal. I happen to be in favor of it. But I try not to phrase that more neutrally in a forum run explicitly by and implicitly for capital-c Capitalists.
Other notable examples of structure relocation: https://en.m.wikipedia.org/wiki/Structure_relocation#Notable...
I dont think VLC is bad by any means or that anyone shouldn't use it, I just don't understand the comments I often see on HN acting like it's some unprecedented software that's unlike anything else.
> What’s the joke?

The joke is essentially "Ha-ha, look at how transgressive I am being, aren't I funny?", which is a particularly juvenile sort of humor (two-year-olds just love to show off the "new" word they learned by going around saying "shit" for example) and as a practical matter is indistinguishable from "Ha-ha, only serious".
I find it hard to believe that I would get notified for anything useful but I am absolutely certain I will be notified incessantly for things that don’t matter. In fact the later spoils it for the former because the later train people to ignore notifications.

For instance any shop I create an account with (Best Buy, Ulta Beauty, …) thinks I want to hear from them once a day or more often. If they tried to keep it relevant it would be one thing but it is really a conversation where one side talks talks and talks and the other isn’t listening. Right now on Arstechnia’s Dealmaster they are talking like it is news that Amazon Fire tablets on sale but they ought to just send me a notice when Fire tablets aren’t on sale.
And https://en.m.wikipedia.org/wiki/Microsoft
Moreover, something VNC has so many variants that one server might only support one client vs another. So even with a standardized “client”, you can still have issues. I don’t think this is much of an issue with RDP, but by using HTML5, this just avoids that entire issue.
The recent John Deere strikes shows this - unity is the biggest asset workers have. If they’re united, they can take on any monster corporation. That is why corporations try super hard to pit workers against each other. Example - providing certain benefits to senior workers but not new workers
If you can't follow, try running `curl` with the `-L` option.
My first thought was the Magma object database https://github.com/magma-database/magma
The alternate path is one the free software community has been pushing towards for decades. The ability to voluntarily associate (and disassociate) from trusted communities, software and communities that works for users and not the other way around, and autonomy coupled with mutual aid/benefit.

Compare the focus of the GNU, Mastodon, Matrix, etc. projects to blockchain world and the fundamental difference is they're not trying to create a world in which we don't trust anyone except a the idea that human nature runs on greed and can be exploited by making us have to pay (spend tokens) for everything.
street parking is a subsidy when viewed through a wider socioeconomic lens because it externalizes a cost onto society in both space and time. in this case, there's a particularly high opportunity cost for that space, most obviously as livable area, but also for alternate modes of transportation (or simply recreational space). similarly, our setbacks and minimum right-of-ways are horrendously large. urban residential streets in LA (where i live) are often 40-50 feet wide curb-to-curb to account for parking on both sides. we're basically wasting not insubstantial bits of interstitial space everywhere in car-oriented cities like mine.

but street parking can easily be unsubsidized/internalized by simply pricing all of it, even for municipalities themselves. perhaps then my dream of putting all parking underground would make as much economic sense as it does social sense.

my area has a lot of long blocks, and i could totally envision cut-and-cover creating an underground alley right down the middle of the block with parking garages under the back yards of the houses. then you'd only need two cutouts for entry/access while also minimizing the amount of 'driveway' for each property. you could even run utility lines through that space as well.
> I don't know what goes on in every restaurant kitchen in my city and I don't want to have to deal with the cognitive overhead of finding out, so I delegate that responsibility.

Some people don’t put effort into what food they eat and don’t look up reviews and enter any restaurant, you do look up reviews don’t you? I buy elote from unlicensed sellers sometimes, what’s the harm?

> What's the advantage of your approach, other than satisfying some irrational anti-government ideology?

That’s rude.

I don’t like excessive barriers of entry for entrepreneurs especially immigrants, food trucks are not common where I am, California has tons of $1 tacos of excellent quality for instance, the quality of food overseas shows me you don’t need regulations. Regulation can be done well, it often isn’t. Excessive regulations like legalese, and complex English contracts is a huge barrier to immigrants with poor English who could otherwise participate and sell some fucking good food for cheap without it being “illegal”.

I don’t care if the FDA doesn’t approve weed. Does I being a schedule 1 drug with no benefits stop you from ever partaking in marijuana usage? Did the war on drugs by the government help you or the world? Regulations sound great, but they’re often used nefariously, taking away freedom from common people and placing it in the hands of the wealthy, the effects have been disastrous.

China's meteoric rise with low regulations is another example, gutter oil for instance was said to be a huge problem online but I never ate anything with gutter oil it was isolated, and it was mostly propaganda when the truth was that oil recovery was used for biofuel, not unlike the same spent oil being used in the US in the same way.
Also, it's just a tweet of an animated gif. I wish HN had a way to block Twitter so this kind of content-free stuff could be ignored more easily. Also on the front page now, a tweet about "programming is just for loops and if statements, 244 comments.
I'm amazed that buildings tolerate this kind of stress, or maybe I underestimate how accurately they can apply equal pressure to rotate the building safely.
Funny to hear about a feature, which I was totally not aware of, of the law in Austria, where I live, in a statement by the United States of America.
> all of its functionality can be more easily performed with `host`

I've seen far too many junior admins accidentally change the hostname of a server when checking a DNS record...

Dig is verbose by default, which is usually what I want. It can be made as terse as host with the +short option. host -vt SOA google.com is more typing than dig google.com SOA. Neither dig or host is very good for use by other programs.
Maybe she had multiple email accounts setup on the phone?

I know I do!
If running your tech stack on local hardware is right for you guys, than more power to you. That is also what works for me for my personal and hobby computing requirements, where I maintain a home machine. But there is kind of an implication that most people who start developing on cloud services are just clueless programmers who never learned the basics of system provisioning.

Even with the specs you mentioned, you can rent a lightsail server that is comparable on AWS for like 80 usd a month, so I would push back against the idea that using cloud services in pretty much any scenario is a purely technical decision.

Part of the context of discussing things this way is the original article: do the prevalence of service companies signal the end of big tech? I would say no, because the only way to not be reliant cloud service providers is to do what you describe and compete directly with their infrastructure services by forming your own technical infrastructure. But the logical conclusion to doing things this way is that eventually whoever can control more physical infrastructure has an advantage. What if Amazon is able to replicate your service offerings? They would be able to immediately able to offer their version using their cloud services at a fraction of the price because they can amoratize the cost of computing over their cloud business. Then, when they have eliminated you as competition, they can recoup everything by increasing the price. This is a HUGE anti-trust concern, and one that all tech companies should be at least a little bit concerned about in the long term. It doesn't go away because you can have an (in your case more expensive than lightsail) up front investment to own your companies computing resources.
Codon is just a triplet of nucleotides. But proteins are made out of amino acids, they have “nothing” to do with DNA in itself. It just happens that DNA transcoded by a codon table to proteins encode some useful ones that in certain environments can bootstrap the whole process and do some useful work.
It plays any media file you throw at it out of the box and doesn't require any codec packs installed. On top of that, it has a ton of other features including network support. Simple as that.
If you want a very concrete example to hang your hat on: making the I2C driver interrupt driven was a snap -- and importantly, can easily be done from a library, where the caller merely provides functions to call to enable a specified interrupt and to synchronously wait for interrupts.[0]

[0] https://github.com/oxidecomputer/hubris/blob/01b5af3d54348ba...
I think we might be in agreement because I see that these

>>Packaging python is an exercise in frustration
>>Setuptools documentation [...] is [...] so bad that almost nobody can learn from reading it

and these

>> until you become a level 3 wizard
>> It really isn't that hard to package for Python.

as being fundamentally equivalent statements.
The version packaged with K-lite is frequently updated to this day, last release today.
Wow, I guess I should have studied logic!

Can someone explain in English how the author goes from "[now] suppose for all sets of n horses, every horse in the set has the same color" to 'proving' anything?
Haha, yeah I was thinking the same.

I started in GW-BASIC when I was a kid, and all I needed was IF and GOTO. You could do anything with that. No loops, no functions, no nothing. IF's and GOTO's!!!
It's like a matrix applied to a building.
You can make just left (or right) leg shoes in a shoe factory (some Japanese workers already did this), sew collars on one side of the shirt etc. basically anything that doesn’t physically harm anyone should be interesting
You don't understand it because you bring a scientific argument to a political fight for power.
Why aren't you angry at the anti-vaxxers instead? If they would have gotten the jab, this would be mostly under control.

> We lack a basic strategy how to cope with Covid.

Getting everyone vaccinated is the only strategy, everything else is either worthless or swaps COVID deaths with mental health an economic casualties.

> And now they try to fix this by dividing the country in two.

It was already divided, it's just that the government stopped caring about the side that doesn't care and fails to listen to the actual professionals.

> This will have no effect whatsoever on the infections

Look at literally any statistics or read any paper made by any credible person.

> it will just continue to drive a divide that is already existing and will make anti-vaxxers even more convinced that this is a big conspiracy.

They'll cave eventually and accept that their stubbornness is not above other people's well being.

This is not just a stupid debate about which politicians each camp likes, anti-vaxxers make everybody's life miserable and even kill people for exactly no benefit, they have no arguments other than Facebook conspiracy theories and other fake news.
They limit customer choice. Different platforms have different features and policies, which we should be able to pick between. If I want good Linux support, I go to Steam. If I wanted something else that someone else did better, I'd go there. With exclusives, that choice is gone.
Yes, parents do sue districts ... and win.

What does that say about the district?
I'm not sure that's true. There are plenty wealthy twenty somethings. I don't think it's out of question anti aging treatment bears significant fruit in the next 70 years.
> "lack of Gold Standard is the real reason workers are poor"

I would argue that it is less about the lack of a gold standard and more about the lack of a hard money standard that cannot be debased by centralized powers such as governments and central bankers.

Bitcoin is an excellent substitute for gold as hard money since it also cannot be debased (i.e. inflated) by central actors. Debasement (money printing) steals the value of the purchasing power of the worker and gives it to those closest to those in power via the Cantillon effect.

Bitcoin is also much more easily verifiable than gold. There is no such thing as counterfeit Bitcoin. Either you receive valid Bitcoin on an address that you access through a wallet that supports the Bitcoin protocol or you don’t. No need to worry about an assay to ensure that your gold isn’t actually Tungsten.
tbh I was looking into experimenting into this. Filtering bad results is how DALL-E works so it's not a crazy idea.
Creators are already complaining to YouTube. So far they aren’t listening.
How looting turned the most upscale part of San Francisco into a ghost town
I think it's rather disingenuous to complain about vague and un-named "internal and external problems socialism/communism has to contend with in the real world" in a thread about explicitly enumerated problems that capitalism has directly led to.

The internet didn't become capitalist because socialism is inherently bad. The internet became capitalist be we live in a society run by capitalists and they realized they could exploit it.
"moderation itself included" ;)
https://archive.md/6qAfH

Still blows my mind that EAs are paid so low when they know very well the ballpark that everyone else is getting paid and have info on quite a bit of internal machinations and access to high-level emails.

cough
I can't imagine that either, but only because that particular religion is out if favor in academia. But I can easily imagine it, and in fact think it has happened, to those offending against other religions. It’s just that these belief systems are not usually described as “religions”.
That link you provide does not give any examples of how maori knowledge contributes anything valuable for science students.
He does't. Read the last paragraph:

This false proof highlights the danger of neglecting the base case of an inductive argument. Here the true base case was not n=1, but rather n=2. Since the base case is false, we should have prudently stopped our argument there before embarrassing ourselves.
Talk was really easy to use and worked well as I recall. Split screen, real-time communication. It was better than anything available on a PC OS. I remember trying it with someone who knew nothing more about computers than any other student.
> I'd rather go with Polygon or Arbitrum for now since it's fast, and wait until zkEVM like zkSync is out.

I don't think the local supermarket would be pleased to hear that if they were going to adopt Ethereum for shoppers to pay for their groceries, they would need to approve + switch to layers like Polygon, Arbitrum just to reduce the already high fees on ETH. Even if they did, it's still very expensive and not very fast either.

Perhaps some will tell them to use contraptions like zkSync, StarkNet etc, which are experimental and not ready to be used by 'everyone'. Therefore is not a mature solution to use right now.

Looking at which cryptocurrency is suitable today for lots of users to make fast, cheap and efficient payments for their groceries in the supermarket, it is clearly not Ethereum. There are better alternatives out there that are more useable and best suited for this; even Solana qualifies for this.

After all, everyone needs to eat.
Notwithstanding the main thrust I wanted to comment on something in the abstract:

"The risk/benefit of Covid vaccines is arguably most accurately measured by an all-cause mortality rate comparison of vaccinated against unvaccinated, since it not only avoids most confounders relating to case definition but also fulfils the WHO/CDC definition of "vaccine effectiveness" for mortality"

But has the obvious confounder of assuming the two populations are equal in all other ways other than being vaccinated. This is probably false.

There was a US dataset where it was shown the mortality from a variety of diseases was lower among the vaccinated. This isn't because the vaccine is protective against those diseases!

Measuring via all-cause mortality is not advisable unless your population dataset is very large (a whole country is certainly enough though).
From popular science news, it seems like the explosion of creation would have energy concert to matter and antimatter in equal parts.

But instead, for every 10 000 000 000 anti particles there were 10 000 000 001 particles… cool!
The talk itself is great, but the background to the slides and speakers is constantly moving from side to side and is pretty distracting. I would have preferred to see the video of the slide deck itself without any extraneous background or the speaker’s head.
This is one of those times when programming analogies don't work. Ecosystems are diabolically complex and nonlinear. A small perturbation might be okay one year and collapse everything the next, depending on a thousand other factors. It's good to try, but it would be a terrible policy to mandate.
In designing my search engine, I ended up building a custom index instead of using an off-the-shelf database solution. Franky it's so much data a SQL database can't even load it when run on the same server that runs my entire search engine.

With my own set-up I can have my data in pre-calculated immutable tables that are memory mapped off disk. That means I can write lock-free code. My updates are large hour-long batch operations off a written journal.

For the lexicon I'm also rolling a special one-way compression scheme/hash function that guarantees uniqueness but only works due to quirks with the data.

General purpose databases can't do these things, because then they wouldn't be general purpose databases.

SQL databases perform really well on average given your query is relatively optimized, but they do not represent the pinnacle of performance. Any time you want the fastest most efficient code to deal with a particular use case, it pays enormous dividends to roll your own implementation that has domain awareness. It means you can cut corners general solutions simply can't.
This is standard induction: let P(n) be some statement about the number n. If you can establish that P(n) implies P(n+1) for all n >= 1, and that P(1) is true, then P must be true for every positive integer. You can find many examples by googling for “induction proof”.

The problem in the proof is that the inductive step P(n) implies P(n+1) only holds for n >= 3, and so the fact that P(1) is true does not imply anything for the larger integers.
Twenty years on, and I can still link to any item at Amazon as long as I have it's ASIN, and using the template:

https://www.amazon.com/exec/obidos/ASIN/<asin id>

Say what you will about Amazon (and Jeff Bezos), but I don't think they've broken a URL to any product of theirs ever.
You want your oil (and grease) in the bearing surfaces, not in nooks and crannies. Tackiness can indeed be good though.
Electric Cars Dominate 2021 Top Gear Awards
If they supported PWAs, 90% of apps wouldn’t need a native option. Most apps are text, images, maybe some kind of media if we’re getting crazy, and buttons.

Mobile web apps suck because mobile browsers make them suck.

There’s no reason I can edit complex spreadsheets in Google Sheets in my desktop web browser, but every time I go to Reddit or Quora on my mobile browser, they claim that their native apps are required to truly display text and images correctly.