skysight-inc/HackerNews huggingface dataset:
This article is not convincing me about yaml or json templating.

The only thing I can think of is that generating these files requires picking a language platform. I chose Ruby to generate the k8s manifests I need.

If you are picking something that is meant to be language-agnostic, or to have very little ramp-up time, then sure, templating. It just comes at a cost where the templating language itself approaches that of a full blown, Turing-complete language as more features gets added, often with shaky foundations (such as HCL).
Show HN: I wished for a site with a growing list of math problems, I built it
Good math problems are hidden inside textbooks and online documents. To keep up with all the sources in the world is hard. For someone who just wants to continuously solve problems, finding and going through all the sources feels like a hassle. I wished for a website that could just dump all the math problems available in the world out there. And if I could filter the problems by topics, that would be beautiful.

teachyourselfmath is a side project that was born out of this need. At its core, it is a math PDF extraction engine. The engine has some machine learning going on behind the scenes to extract math problems in LaTeX from any image or document.

A little bit about me: I am Vivek, a software engineer based out of India with a diverse set of interests including math. This project is close to my heart for many different reasons and nothing would make me happier than finding people on the internet who would find this website to be useful.

I’d love to hear your feedback on this. Thanks!
I know "asymptotically close to zero" about game development and the like, so if someone who works in this space could answer this I'd be appreciative: what, if anything, would make you use Unity or Unreal instead of Godot for making a game today?

This isn't meant as a passive aggressive question to push some kind of open source narrative, but a genuine curiosity. Since I know basically nothing about the industry, I'm curious to what something like Unity or Unreal still offers over an engine that has no licensing fees.
Yeah fair enough on that one, though that was last year and not pre-2016 as the original commenter was saying.
Electric or non electric does not matter.

And why would you put "unsafe" into quotes? Person who falls from unicycle is heavy, and can injure themselfs or another person.
This might not be feasible. If you are making a game for yourself and your kid, you might not be using assets (art, sound, etc.) that you could distribute/sell in your game.

I made a game for my daughters 3rd birthday, recorded some Blipi and Coco Melon songs off youtube that I put in the game. I would not have the right to sell the game without securing rights to the songs (unless I want a lawsuit on my hands).
I tried this, it significantly complicated documentation and support after release. Lots more logic handling conflicting cases in two otherwise identical files, etc.
I rode a unicycle to class during college for 2-3 years. The author's experience matches my own very closely, and gives me a lot of flashbacks (positive and negative). This bit in particular stood out to me:

> Almost 50% of those encountered, more often men than women, responded verbally (box). The sex difference in the type of response was striking. Around 95% of responses from women praised, encouraged, or showed concern, and women made few comic or snide remarks. In contrast, only 25% of the comments made by men indicated praise, appreciation, or neutrality, whereas 75% were attempts at comedy, often snide and proffered combatively as a put-down. Equally striking was their repetitive nature, even though given as if original—almost 66% of these “comic” responses referred to the number of wheels (the most common), the absence of handlebars, or a part having being lost or stolen (box). Less than 25% used less obvious snide humour, but often with stylistic repetition.

Everything that the author states matches my own experience -- almost to a T.

I often felt bad -- riding a unicycle is incredibly quiet (as there is no chain or gearing), and it's disturbingly easy to sneak up on a lone pedestrian at night and give them a scare when you announce that you're passing them on the left. I'm a rather large male, and recognize I can strike an imposing figure, and hated scaring people like this. I took up whistling whilst riding near people at night just so they could know that I was there.

This was also an interesting thing to read:

> Aggressive boys
> “Do you want to knock him over?” “Yes I bet I could do it”
> While kicking a football, “Got a good target”
> Riding at me on bicycle, “Fall off granddad”
> Sudden loud shouts, then they threw small pebbles
> Loud noises, then “You’re gonna fall off . . . you’re gonna fall off”

This VERY closely matches my experience -- I was surprised at how much hostility I received from other guys. It wasn't always directly aggressive -- sometimes it was a bit tangential. Guys would often be playing pickup baseball (using a tennis ball) outside my dorm when I would arrive / leave -- and the ball would often come close to me. I only learned much later that they timed their games and would quickly run outside to try to play a few pitches only in order to try and hit me as I was riding by. On one level I thought this was kind of cool that they cared enough to do this, but it also made me sad inside in a way that I have never fully been able to put into words.

There were the regular jeering remarks, and even the more aggressive actions of going so far as to steal my unicycle a couple of times -- thankfully I was always able to recover it (a friend would call me and tell me it was found lying in a parking lot across campus -- clearly abandoned after they gave up trying to ride it).

It's an interesting case-study on how society reacts to outliers -- this was a beautiful set of data to read. Thank you!
I mean that I don't look at any of those monsters and get that "oh wow that's obviously just a _____" reaction like I do when I see this green Cinderace. https://twitter.com/byofrog/status/1748890830495010870

If you think "large snake" is on the same level as that, you are free to hold that opinion.
Put macOS on the iPad, you cowards (2021)
It's almost teleological. Many people have ruled out God, but still want there to be purpose or direction.
Apparently multiple authors is invalid.[1]

[1] https://stackoverflow.com/questions/65445147/how-can-it-be-t...
This doesn't work at any reasonable sized org. Maintaining ideas in people's heads falls over quickly as people come and go.

It's work to keep a backlog not a total disaster, but that doesn't mean the answer is "tool x" or whatever. It's just work. Ugly annoying work. Ie, work.
with the state of most data mining programs out there, moving addresses will destroy any ability to link you.
It's often easier to not make a stupid decision than to make a good one. I think this approach is geared toward stopping stupid decisions, rather than actually making decisions. But there is some genuine value in that...
Apple charges the same developer fee to both iOS and Mac developers. Mac developers are free to distribute apps how they please, and use whatever payment APIs fit their use case. iOS developers cannot distribute apps freely, and must surrender 15-30% of their software revenue to cover something.

So, what is that something? What is Apple charging for on iOS that isn't necessary on Mac?

Presumably, nothing. iOS is a less-complex operating system with fewer features and capabilities than MacOS. It has less legacy frameworks and compatibility modes to support, lower threat surface and less software competition.

Again, why can the $99/year fee cover frameworks on Mac but not on iOS? Your original claim seems to be based on pure assumption and not evidence that proves iOS is more costly to maintain.
Adding to the other great responses -

Coming from Google Wave, I still think of this problem the way we dealt with it in wave. In Wave, a document was a sequence of items + annotations. Items were either characters (collectively making up normal text), an item could be an embedded child item, like a table, image, nested document, etc. Embedded items were "in the document" just like any other document content, and could be inserted or deleted the same as text.

Then annotations were used for formatting, like bolded regions or links. This is how peritext and quill work. There are no "annotation items" (since managing them sounds tedious).

It looks like loro works slightly differently. I'd like to take my own stab at rich text in diamond types soon, since I need it for a project. I think there's a cleaner way to do it - though until I write the code, who knows how it'll turn out.

As others have said, once nice thing about this model is that embedded items can themselves be targets of editing events. For example, you could add a map to google wave and then users could collaboratively add and remove pins to the map.
Well, and the crisis! The allowed regions from different methodologies don't overlap, pointing to one of the pillars of cosmology potentially being wrong.
Just an anecdote to the contrary... running up-to-date Ventura on my M1 MBA, got a pop-up about upgrading to Sonoma a couple days ago, clicked X and it didn't install (or even download). Working correctly.

So everything's normal for me. If this were happening to everyone it would be widespread and huge news.

So assuming it's some kind of possibly-obscure bug, if it's only a handful of people?
Yes, Nature is absolutely going to reject that paper. I went to grad school at one of the very best programs in the world and know a ton of people who attended programs of similar caliber and had world renowned faculty as authors on their papers. People got their shit rejected all the time.

Yes, the bias you describe that makes people respect papers from well known sources more than papers from outsiders is real. But it isn't nearly as extreme as you describe it.
YAML, or TOML or Json, I think the more problematic issue is using templating at all instead of generating them.
The EPA Is Backing Down from Environmental Justice Cases Nationwide
One workaround is to change your DNS server from 1.1.1.1 to another like 8.8.8.8
Tbf you only have to go online to the cycling forums, or walk any country shared trail to see plenty of aggression, dangerous control and obnoxious, blinkered behaviour and comments.

Cyclists are just as bad as drivers when it comes to contemplating The Other.
Absolutely. When people ask me whether an EV would save them money, my first question is "How much do you drive?", even before "Can you charge at home?"

I don't know when it started, but it seems that EVs have broken into the Uber/Lyft market in a MAJOR way, which just makes sense: the more you drive them, the greater the cost advantage.
OPs log screenshot clearly shows that they _did_ in fact, authorize the installation _non-interactively_.

/s

I wonder if it was a sudo permission thing and they were within the elevation timeout so it just automatically accepted for them in the background? That's what the log suggests to me.
Until recently they had a ‘no returns’ policy.

I suspect this thing is going to serve as an inoculation against AI fever.

Not that I think AI won’t live up to it’s promise over time, but that it will be steady and incremental over the next decade or so, rather than a sudden overturning of the tables with blockbuster products.
I think we're barking at the wrong tree here (speaking about Kubernetes workloads).

This ugly mess of low-ish level details will never go away. Developers that are trying to focus on developing apps will never enjoy these things and that's fine.

Something like score.dev which abstracts things even further seems to be the way to go as the interface that is exposed to developers.
I went I read the first few paragraphs I thought, "Is someone ripping off Stuart Kaufmann? He was writing about this idea thirty years ago." Then I read the first author: Stuart Kaufmann.

For those of you following along at home, Kaufmann has been developing the ideas here for decades. The paper is less a "here is a new idea" and much more "here is a concise summary of 50 years of work". The words and thoughts seem opaque, but this is case where they actually have concrete and specific meanings. It's worth noting too, that towards the end of the article he outlines experiments that could be used to falsify the theory.

If you want a really hard-core dive into the ideas, then check out his 1993 book, "On The Origins of Order" (ISBN 978-0-19-507951-7).

https://global.oup.com/academic/product/the-origins-of-order...
I recall the forced update on windows 10 booted some anti poaching rangers off their machines used for gps coordination for like 12hrs in the African bush where they had already poor internet connection and potentially lost some endangered animals.
Why does Github use the same GPG key for all users? Feels like it makes these kind of confused deputy attacks endemic to the entire platform rather than being contained to a single user account.
It's useless with this near-zero-height keyboard. Instead of offering us a usable keyboard, they put in RGB lighting.

Unless they offer something we can press with decent key travel - and I mean no less than 2.5 mm - I'm not buying.

(For those who don't know what I mean:
https://www.pcworld.com/article/557179/full-travel-keyboard-... )
That makes a lot of sense, though I'd guess that a lot of yaml-ops types wouldn't want to have to write schemas.
Viruses?

New understandings of mega-viruses have let us to believe that the line is really quite fuzzy. Some of these larger viruses have double stranded DNA, some have ribosome like functions, some have ERs, etc. Kinda like a cell, but missing random parts that make them truly alive.

https://en.wikipedia.org/wiki/Pandoravirus
Starting company with no funding–-do I need a C Corp?
Been going back and forth on this for weeks. I’m at the point where I need a legal entity as a liability shield but I’m not about to raise a round so not sure if I should go the full nine yards with Clerky or do an LLC and either get it acquired by a new C Corp or convert it later on when I need funding.

I’ve had a bad experience with big law severely over billing on deferral so I don’t really want to go with them.

Has anyone done this before? Is having a C Corp the expensive pain in the ass that it seems like? Is conversion easy? Would appreciate any advice/experiences.
They have been fantasizing and publishing tomes on the topic for decades. Educate yourself. [<- not regarding your spelling in case it is not clear]
The Shard is the 47th largest building in the world. It's only notable in the absence of any other significant buildings in a nominally world-class city.
So it's like a dev who's made themselves some money, getting buried with their C64?
That’s a neat idea.

> “It is an example of very fine craftsmanship, finished to a high standard.”

Nice, if there’s an afterlife that guy is probably beaming right now, haha.
Is[n't] the choice of language menu also supposed to work on the actual linked article? I think it needs a little repair...
"No, Pinky, this will complicate my plans for tomorrow night."
isn't this what keybase is for?
As long as you don't use Docker. My last job gave me an M1 Air for container debugging and devops, and it was a comically bad fit for the task. I ended up going back to my cheap x86 Linux host for most of the dirty work, just because it ran cooler.

Now, if someone could find me a native Docker host that lasts all day... then we're in business.
One party has been defunding the IRS, even though spending $1 in IRS budget returns $6 in uncollected taxes. One party even has congressmen saying the IRS should be removed entirely.

> Every dollar I've ever paid in federal taxes has been thrown into a black hole of debt never to be seen again

This contradicts what you say later: taxes are returned in the form of public services.

Back in the 50s the max tax rate (for a very few, but very rich people) was 90%. Corporations collectively contributed about half of what individual taxes did; now it is about 10%. The 2017 (?) tax bill forgave more than $1T in corporate taxes that were owed and gave some people a couple thousand dollars tax break; but while those corporate tax cuts were permanent, that same law that dropped the rate for some individuals was written to increase individual tax rates every two years and in no time those people are paying more in taxes than before.

If the Bush and Trump tax cuts for corporations and rich people had not ever happened, the debt would be going down (ignoring the extraordinary circumstances of covid).

Rich people and rich corporations can afford to get the laws written in their favor.

corporate: https://fred.stlouisfed.org/series/FCTAX
individual: https://fred.stlouisfed.org/series/A074RC1Q027SBEA

chart showing the ratios over time:
https://taxfoundation.org/data/all/federal/composition-of-fe...
Not a scientist chiming in, but I'd guess that the project had "lead" scientists who set everything up for the antenna experiment and any data from the junior scientist (what I think you meant) would need to be vetted and still fall under the purview of the lead(s).
As someone who had been listening, I've heard maybe one good faith justification (onboarding and mentoring of new hires) and a multitude of vague "synergy" excuses. Honestly asking and sincerely listening, are there others?
I'd say the difference is that Prolog -- and its derivatives like Datalog and Problog -- have seen a huge amount of usage and solve real problems. Commercial implementations like SICStus support varied specialised mission critical systems. Prolog is a general purpose programming language: you can do everything in Prolog and its naturally extended with constraint programming packages.

Meanwhile, MiniKanren is not a general purpose programming language. You'll struggle to find a commercial grade interpreter or any of the sort of sophistication even opensource Prolog interpreters typically have. What you do find however is hundreds of re-implementations of mini or micro Kanren in every language, and many academic papers about extensions to it.
Just make sure to host it on some other hosting provider. If you're on AWS, use GCP or Azure, etc..

A previous DevOps team I worked with brilliantly centralized everything into K8s, including the status page software. Then pushed a K8s update that broke everything...
I agree with all of this.

If we take it one step further though and think about portability of configuration, I think that is one of the reasons we end up with operators.
Yeah there are a number of successful compilers from functional languages to Wasm. It's definitely doable. I just wanted a backend that was more focused on being a portable target for functional languages. Throughout these comments I list a number of issues I take with Wasm. It's cool and I want a SaberVM->Wasm transpiler soon but the Wasm spec definitely doesn't look like something I want to be tied to in the long run.

To answer your question more specifically, I've heard from a number of people that the structured control flow of Wasm is pretty painful to deal with when writing a compiler. Doing a relooper pass over a CPS or even SSA IR should not be a necessary step. I get the sense that many compromises are made for Wasm to work.
We never canceled other religious names in our calendar, including the months named after Roman gods or the days of the week named after Nordic / Celtic gods.
> something more like building Parisian boulevards, walkable, tree-line streets, and parks and such. Maybe even a train or bike lane.

I've often wondered why a billionaire doesn't found a new city along those lines. There's a lot of very cheap land all around this vast country, and economic value creation isn't tied to geography as much as it used to be.

Heck, you don't even have to start one from scratch. I live in a midsize city away from the expensive coastal areas with a downtown that's full of potential. It wouldn't take a whole lot of money to truly revitalize it.
I really don’t understand why people want this, MacOS is great with a pointing device and keyboard but terrible without.

Why not just buy a MacBook Air if that’s what you want?
This is true to an extent, but also overblown. There have been a few experiments testing this and people wildly overestimate their ability to unblind paper authors correctly.
Samsung expands DIY repair program, adds Galaxy S23 and Fold 5 in US
The state exists to help solve collective action problems. It’s not about giving it more power, it’s about making it do its job. Taxation is a primary tool for dealing with collective action problems to help align incentives. If people don’t give a shit because the game is rigged, and they know the game is rigged, you have to change incentives so at least people are happy to play the rigged game.
> Sure, if people would only ever use tabs for indentation and spaces for alignment, things could be good. But this almost never happens, instead:
... some lines start with spaces, some with tabs.

People using tabs for alignment can happen when you've got a tab-camp-person who hasn't yet realized how they're terrible for alignment.

But "some lines start with spaces, some with tabs" happens for precisely two reasons:

* you have a codebase with contributors from both camps

* people thought in-editor tooling was the solution (now you have two problems)

> Spaces have no corner cases whatsoever

This is tooling and (as you realized) stop preference dependent.
> It's fascinating to me that the complexity of life always goes up.

Sounds like observer bias.

In terms of number of individuals, the vast vast majority of life on this planet is single cell prokaryotes, and always has been. And in terms of total bio-mass only plants exceed them but that's just because of how plants work (cover the surface with bio-solar-panels)

Both bacteria and archaea haven't substantially changed in 3.5-4 billion years. They swap genes as needed, and drop them when they're too costly and unneeded. And they're dominant, and everywhere

They were here since just a few hundred million years (or less) after the earth formed. And when conditions on the planet become more hostile again, in the long run it could be the case that eukaryotes are just a historical blip (and a fluke, to boot).

And if there's something we recognize as life out there beyond earth... it's likely to look like prokaryotes. The galaxy might be swimming in that kind of thing.

There is a strong philosophical/ideological bias in our culture to see the world in terms of "progress"; a teleological bias, seeing the universe as proceeding in stages towards some order. It just so happens we almost always seem to define this progress as "inevitably" leading to ... us, or "beyond" us into whatever fantasy for the future is laying dormant in the present. It feels remarkably pre-Copernican.
I rode a unicycle to class in college for several years, and in my experience, it was generally done in a mild but jeering tone. "Hey buddy, lost your wheel! hahaha" -- while it may occasionally have been delivered in a sympathetic tone, it usually felt analogous to when people would yell at passing joggers "run Forrest, run!"
Sure, but it’s a different effect. Go’s asynchronous “red” is either “accepts a cancellation context” or “accepts a output channel” (since goroutines can’t return values normally).
Are you collaborating with others or assisting others in similar projects in other fields? I've been thinking how rapidly india is industrializing and the middle class is getting rich and considering the difference in my electricity bills in winters and summers ($7, 55 kwh vs $80, 640kwh ), I was hoping there were air conditioners which were more open and user accessible. The goal here might not be preventing wastage of ACs but of having only one AC that could power multiple rooms non concurrently thus minimizing energy waste.