skysight-inc/HackerNews huggingface dataset:
Years ago I looked into both LyX and TeXmacs. I could already quickly write math in LaTeX but I wanted to work out calculations on a single screen without the code/renderer split screen setup (having the math directly visible is a game-changer for doing long calculations, by the way). TeXmacs won hands down for me. I had no problem learning the intuitive shortcuts (e.g. any letter - TAB for its Greek counterpart). If you know the LaTeX counterpart you can almost always type that in. The converter to LaTeX source is quite good. I love that the "nesting hierarchy" in a math expression is visible. For instance,

"(x^2 + 4)"

has four distinct components: the parentheses "(...)", the term "x^2" (two components, "x" and "2"), and the term "4". If you place your cursor before or after the parentheses and use SHIFT+RARROW or SHIFT+LARROW (respectively), you highlight the parentheses; if you do the same before or after the x^2 term, you highlight x^2. I find a lot of math editors (e.g., Word 2016) get this wrong because they will just highlight the parentheses or the exponent. Smart highlighting is super useful for fast manipulation of equations. Oh, and also -- if you are within a set of parentheses, you can keep hitting TAB to cycle through (), [], {}, ... . Not to mention, TeXmacs handles all the \left and \right parentheses sizing for you (the parentheses in the above example would expand if, for instance, you made 4 a fraction like 4/3 -- a quick Meta-f away)
Sounds amazing. So the group of kids with 70% fatherless can achieve the same as the group of kids with 30% fatherless! Wow.
It's only upon the later clarifications in this thread that I've understood "key option 1" and the second option with subkeys are options for the standard and you won't need to support both.

Both of these options have different lengths, and if both were supported you've have to split based on.. magic?

It's been 20 years since I looked at C++, so I don't understand how you're splitting the public key from the signature given they are one concatenated blob, but that could just be me.
I'm not OP but I share his frustration with so many of the built in HTML elements. All of them seem like they're stuck in the 90s and just plain impossible to use for modern UI requirements.

As someone who has worked on a lot of UI, one example of a common pattern I've ran into everywhere I've worked at is pic related: https://i.ibb.co/sgyzqYS/picrelated.png

It usually has at least the following features:
- Mutli-select that displays each item selected in the row
- Chevron indicates selection
- User can type in to search
- Asynchronous loading/search from an API (because too many elements at once)
- Custom styling to match whatever your design framework is

Yeah no wonder why it's easier to just use React for everything.
Ask HN: Where are the rolling heads of cloud adoption?
OK - I admit: this is a weird one. Whenever people talk about moving to the cloud to reduce costs it's never about the hardware. The song goes: "You don't need people to manage the systems, the patching, the security - those are the real savings!"

But then I don't see the waves of people being fired - sysadmins and DBAs - since "you don't need them anymore".

I know the problem is more subtle that this - IE: we would need to hire "more" - but for me the question remains: has anyone experienced a case where moving to the cloud actually resulted in IT layoffs?

Edit: cleaned up the syntax a bit
The FBI frames political oponents and creates terrorist attacks so they can stop the attack they planned and look like heroes. Like they did with Michigan's Governor kidnapping plot. FBI created and instagated the entire plot. Like an arsonist that works for the fire department.
Free Donation Form Templates and Request Letter
I remember the Apple Newton, mine took 4 AA battery's and did very adequate handwriting recognition.

From wikipedia:

The original handwriting recognition engine was called Calligrapher, and was licensed from a Russian company called Paragraph International. Calligrapher's design was quite sophisticated; it attempted to learn the user's natural handwriting, using a database of known words to make guesses as to what the user was writing, and could interpret writing anywhere on the screen, whether hand-printed, in cursive, or a mix of the two. By contrast, Palm Pilot's Graffiti had a less sophisticated design than Calligrapher, but was sometimes found to be more accurate and precise due to its reliance on a fixed, predefined stroke alphabet. The stroke alphabet used letter shapes which resembled standard handwriting, but which were modified to be both simple and very easy to differentiate.[..]

For editing text, Newton had a very intuitive system for handwritten editing, such as scratching out words to be deleted, circling text to be selected, or using written carets to mark inserts.[5]

Later releases of the Newton operating system retained the original recognizer for compatibility, but added a hand-printed-text-only (not cursive) recognizer, called "Rosetta", which was developed by Apple, included in version 2.0 of the Newton operating system, and refined in Newton 2.1. Rosetta is generally considered a significant improvement and many reviewers, testers, and most users consider the Newton 2.1 handwriting recognition software better than any of the alternatives even 10 years after it was introduced.[6] Recognition and computation of handwritten horizontal and vertical formulas such as "1 + 2 =" was also under development but never released

https://en.wikipedia.org/wiki/MessagePad#Handwriting_recogni...
Node.js – v16.4.0
Tragedy as young TikTokers jailed in Egypt for “inciting debauchery”
2. Is definitely the counter argument I would use - if people have preferred pronouns then what is the ethical argument for ignoring those and using words that would cause them harm? If nothing else it seems to me to come down to basic decency and respect for others.

It's less about one term being "privileged" (I must confess that word seems slightly unclear to me in this context) over another and more about the ease of treating people the way they would like, with no real downsides that I can see.

Anecdotally, refusing to use a trans person's pronouns seems typically to be a dogwhistle for not respecting the existence/legitimacy of transgender people.
Then how will UBI encourage income tax evasion? You get it unconditionally so it won’t change anything…
National Geographic says the world has a fifth ocean
"Any sufficiently complicated C or Fortran program contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of Common Lisp." -- Philip Greenspun
>I'm sure some would find a way to abuse but I think that would be a minority.

Like bookface?
I thought this is what the "What links here" link on the left was for?

https://www.wikidata.org/wiki/Special:WhatLinksHere/Q936518
Because the military can’t tell people no longer in the military what they can and can’t do?

I mean, Congress could pass laws, but then you’d need to define a cartel, prove it in court, prove they were training, etc.
It really depends on where you're going. On the east coast going between DC and Richmond to visit my parents is <$100 and cheaper than driving or flying. Also airports really suck now and I'm happy to avoid them.
you cannot compare single-winner and multiple-winner systems at all
That's just a circular argument though. It's codified because the voting system has historically only allowed for two parties to flourish.
I will never understand why laptop keyboards always have to be unique, and uniquely terrible. Trying to type on an unfamiliar laptop is needlessly troublesome.
Russian ship fires warning shots at UK warship in Black Sea
SQL is not limited, InfluxQL is. And, flux is incredibly verbose and error prone (at least a year ago when we last looked at it). However, with the transformations in grafana, there's no reason with flux, in the majority of cases.
GPBoost: Combining Tree-Boosting with Gaussian Process and Mixed Effects Models
does Hubbard have an advantage so she will win 95% of the time?

The article suggests that she's top 10, but not top 3 in the world. She almost certainly won't win, but might get a medal (since 2 of the 3 best lifter in this category won't be competing in the Olympics for various reasons).
It's crypto, cashing out requires identification according to government laws unless you're a money launderer.
For critical systems (or let's call them services) such as DNS, CDN, optimizer, storage, we usually deploy either on a server to server basis, regional basis or cluster basis before going live. What I mean here was that this was not really a critical service that nobody thought could actually cause any harm, so we didn't do canary testing there as it would add a very high level of complexity.
trans women by their nature already defy the classic notions of sex and gender (i.e. that classic match of software and hardware), so why does it matter whether they would get grouped with the men (i suppose you meant the classic notion of "men"), trans men, women or with any cross boundaries cutting group as long as the competition is honest (i.e. similar blood oxygen carrying capabilities with similar muscle mass with similar bone density or whatever PCA would point to)?

Also, if trans women are supposed to go to women competition, does it mean that trans men are supposed to go to men competition? Wouldn't that mean pretty much condemning them to having no chance of winning from the start in the most sports where sheer mass, power, etc. play major role?

Anyway, if we don't put it on the firm scientific basis today, i can see how tomorrow a number of male athletes form China and Russia would suddenly start to feel like they are women, may be would take some hormones to satisfy some doubts/requirements (giving the doping already going on i don't see any obstacles here), and that will be the end of female sports.
Developer Service
Intel buying SiFive would be one of the best things to ever happen to RISC-V.

They bought Alpha to strip it for parts (Sandy bridge looks an awful lot like ev8) and because nobody else could make alpha chips which killed a competitor to x86.

The game has changed.

If they buy SiFive, that encourages even more investment into the ISA. They can’t kill it by doing that and even if that were the real goal, M1 competition would just convince everyone they were lying and working in secret.

What Intel brings to the table is talent and money. They have a ton of amazing developers worth decades of experience. They would think nothing of throwing two or three teams at the problem even if most of that money would be wasted.

Then there’s software. Intel realizes more than anyone just how important good software is to an ecosystem. A couple billion dollars for a thousand man years of developer time is also not much to them in the grand scheme of things. They’ve wasted way more money chasing actually bad ideas (see all their GPU attempts through the years).

ARM is wary of RISC-V, but they’d be actually scared if they knew Intel was about to throw massive amounts money into R&D.
I started to read your side note 2 and immediately wondered what you would have called the Saturn but then you addressed it.
> I complete around 80% of things and then leave them

This was the primary reason I got checked out for ADHD. Turns out I have ADHD.

Might be worth asking a doc for a checkup. I am not diagnosing, just suggesting to rule it out.
This is really amazing. Great information about blog. https://www.paymydoctor.online/
I’m not an expert on UK law. However this has been generally accepted for about a millennium:

The Magna Carta -

“No free man shall be seized, imprisoned, dispossessed, outlawed, exiled or ruined in any way, nor in any way proceeded against, except by the lawful judgement of his peers and the law of the land.”
Sometimes I wonder if I'm somehow paying Nestlé for the air I breathe. They are impossible to avoid.
Show HN: Build a no-code paid newsletter
Seconded, I haven’t seen these kind of blatant trolls here before.
Well, "what links here" gives you a general list of related pages without telling you which is relevant to the property you care about. It's sometimes useful (esp. for items with few incoming links), but the query service is a more complete solution.
The big difference is that these are genetic differences that already have a separate category, to compete against others with those same genetic differences.
The evidence is in the performance which falls squarely in line with male performance

The article seems to make clear that while she is in the top 10, she's not in the top 3 and is in no way a favorite to win. So I'm not sure what that graph is supposed to be showing.

Two women in this weight class have scored a 300+ in competition while Hubbard's best is a 285 from 2019.
Yeah :/ that does seem excessive. Delegates to the Judicial Convention in particular don't look to me to have a role that justifies expecting citizens to choose eleven of them each cycle.
SPARK is something I wish all languages were: formally provable as a first class citizen. I'm interested in changing from C++ to SPARK, but ADA without SPARK isn't really interesting to me. Of course I work on an application that can kill people, and we are planning on eliminating some of the human safety checks if we can convince ourselves that we won't kill people without them.
Inspiron 14 7000 has home/end at F11/F12 spots. And I had to follow some strange instructions to hack to BIOS to make the SSD available in Linux. It has Ubuntu on it now and it's OK.

https://www.dell.com/community/Linux-General/Inspiron-7490-B...
>Right now the iOS notification system is useless because of how overwhelmed you get with everything and how notifications disappear by themselves when you unlock the phone.

Who allows those kind of notifications to appear on the lock screen?

I have all but about 5 notifications disabled on my lock screen - I don't need some rando picking up my phone and reading whole convos or anything else

Severe weather alerts I'm fine with people seeing
Massive hyperparameter sweeps without any cross validation are the perfect way to overfit holdout sets on small tabular datasets.
Adding Kubernetes Metadata to Your AppSignal Errors
Therapy doesn't work for extrinsic issues like this. You are stressed from the cognitive and emotional effort of accommodating a lot of negative experiences in exchange for success, or money.

In my experience when the source of pain is removed, happiness, or at least relative contentment, ensues.

Find something to do, rather than someplace to work.
This is a old UI element and I have been using it a lot

Just curios how it became top in HN ?
Hey, glad to hear that and sorry again about any issues. If you're experiencing any ongoing problems, please message our support team. I'm not aware of anything actively broken, but if there's a problem I'm sure we'll be able to help.
I also recommend UDisc. Good Apple Watch integration as well. They make it easy to track granular stats like the length of your drive or you can just use it to keep score during a friendly game. Worth the price.
Don’t most airlines already offer to buy carbon credits to compensate the flight at a minimal price? Accounting for all other externalities shouldn’t make flight much more expensive.
I agree that it is greater. But disagree that it is far greater. Any argument that does not interrogate that question further is lacking in my opinion.
6 weeks ago I have started using the Nyxt Browser and I am really loving it! I even did a video about why Nyxt is so cool last week. Check it out: https://www.youtube.com/watch?v=8yBjfjFE0fk
I think its a good thing that HTML doesn't bloat itself. It should offer the bare minimum for the ecosystem to build on. There's plenty of free options for extensible advanced UIs built by the open source community. If anything I also think browser vendors should make HTML element styles even more basic and the standard should allow for better custimozation and events instead of locking them down to a style that will get outdated.
The linked PDF doesn't seem to mention anything related specifically to C++. It says that it is possible for bit flips to affect software. They then suggest that Toyota should have used the following practices:

• “Near-perfect” software

• Design out single points of failure

• Justify real time scheduling with analysis

• Watchdog timers that have real “bite”

• Good software architecture

• Good safety culture

This seems like mostly good concrete advice, although I think we can all agree that simply creating "near-perfect software" is a goal, not a solution. If you read up on Toyota's unintended breaking legal issues, it appears that it was most likely driver error, as Toyota did not issue a firmware change to the affected vehicles, and no software problems were ever identified.
Thank you for this insight and special thanks for providing me and many others with this wonderful piece of childhood.
Not only that, but (at a guess) I'd say think the southern /ʌ/ sound in Plover might come out more /ɔ/ in northern English?

https://en.wikipedia.org/wiki/Open-mid_back_rounded_vowel

https://en.wikipedia.org/wiki/Open-mid_back_unrounded_vowel
Ada was not designed for formal verification. It was designed to build safety-critical software and to standardize and unify the US Department of Defense's panoply of programming languages.

"SPARK is a programming language and a set of verification tools designed to meet the needs of high-assurance software development. SPARK is based on Ada, both subsetting the language to remove features that defy verification and also extending the system of contracts by defining new Ada aspects to support modular, constructive, formal verification."

Source: https://docs.adacore.com/spark2014-docs/html/lrm/introductio...

>> Both dynamics are bringing Ada adoption to a stop. It may be a shame but that’s what I see.

I disagree. The success of Rust as a replacement for C++ has brought a renewed interest to Ada. Rust has many great ideas and many of them are being added to SPARK. Several ideas from Ada will likely be added to Rust as work from Ferrous Systems and others prepares Rust for use in safety-critical domains.
Sport is about the body more than the brain. Particularly weightlifting.
Some shitty gateway laptops always require the FN key for function keys to not be media keys. A real problem if you rely on keyboard shortcuts.
Warren Buffett Resigns as Trustee of Bill and Melinda Gates Foundation
Couldn't even get past the equivocating this poor woman felt she had to do before saying what we all know: this is bullshit.
How is your social life?
> I don't think I have the right to insist they supress these beliefs, as long as they're not trying to harm me with them.

The argument from the trans community would be that misgendering and encouraging other employees to misgender them(which will happen if the belief is propaganda-ised) will cause significant emotional harm, risk mental health, cause problems in fulfilling job etc.. I'm not sure about how true this would be, as I'm in the closet and I'm a bit indifferent about what other people think, but can imagine it being very difficult for others.
The main problem with datalists are that browsers tried to work around them with autocomplete which overlay on top of the datalist. Ridiculous situation.
>I do understand the nuance in that the investors are putting their capital on the line, and that is worth something, but a line must be drawn to avoid runaway inequality.

Agreed. The significance of the capital risk loss on most investors actual livelihoods and future investments is very often over dramatized. The risk is purely capital and at a certain point, capital accumulates capital.

Once you reach a certain level of capital accumulation that your needs and even wants are met, the rest by stable low risk and nearly fully secure investments, anything beyond that can be easily risked in incredibly high risk investments (or higher risk investments) in hopes for big payoffs. Rinse, repeat, and you might become stupidly successful or might just dither around being fully financially independent.

When people talk about investor risk, they often think about Bob or Pam down the street pulling out their life savings to take a risk and put their all in the business they're going to start up. This isn't how most investors look, most investors aren't taking much of any personal risk other than the risk of not improving their standard of living beyond an already very good standard of living. This type of risk to me is overly rewarded in our financial system. If Bob or Pam fail, they're screwed. If a typical investor fails, they wait until they snowball some more capital and try again.
Not sure where you’re getting your information.

The weightlifting rules allows trans athletes to have testosterone levels of 10nmol/L. Some sports are 5nmol/L.

Normal range for men is 9-31nmol/L

Women range from 0.9-2.5nmol/L

Even these guys (link below) who argue that the limits are arbitrary then go on to point to study in which 11 of 234 female athletes had T levels of 8nmol/L and 32 had 2.6nmol/L. 74 of 446 male athletes had 8.4nmol/L.

https://www.theguardian.com/sport/2019/mar/20/testosterone-l...
"Start by breathing" would be just as applicable and useless. A necessary precursor to an offense is not equal to an offense.
I also think the network, as proposed is a problem.

It only seems useful if you're Paris based, since this appears to be the center node of the network.

edit: This at least appears to be the case for the French startup mentioned and the map displayed at the very top of the article.
Two parts:

First, I think the ability to DO THINGS is the great equalizer at this point. Being a do-er lifts you out of poverty (or at least out of poverty's worst resting state). Being a do-er expands your network. Being a do-er prolongs your life (people with jobs/daily activities tend to live longer healthier lives). The best part about this is that technology has made it easier to become a do-er. You don't need as much specialized education or tools, and trial and error is free.

Secondly, education's place as the great economic equalizer has weakened because we have weakened the education. In public schools (the most widely used education institutions in the US), kids are just shoveled through. Why? We put an emphasis on standardized testing and graduation rates while also chronically underfunding schools. That leads us to lower quality/quantity of teachers who are told to march to the drum of hitting numbers. The emphasis on "just graduating" pushes teachers to push kids through, event when they have not actually learned anything. That same philosophy then propagates to college, where TA's want to research for their Masters/PHDs, not teach. You then get a "working class" with no real skills/education/ambition... they do not "do", which leads back to my first comment.
Education is a multiplier of IQ, not an equalizer. Many people, although policymakers won't admit it, don't have the IQ to study at the high school level, for example learning algebra. Even more people don't have the IQ to study at the college level, for example studying calculus and writing a coherent, footnoted term paper. And only a small fraction of the population has the IQ to do significant research and earn a PhD. Charles Murray has discussed the IQ prerequisites of educational levels in his book Real Education.

The article says,
"In the U.S., the big achievement gaps across lines of race or social class open up very early, before kindergarten, rather than during college."

Race and class differentials on IQ tests have been well documented but are in Paul Graham's category of What You Can't Say.
P3: AI Programming Puzzles in Python for Algorithm Synthesis
Cloudflare's RFO blog posts are incredibly detailed. Each time I read one, I feel reasonably confident that they have learnt from the mistakes that lead to that outage and that it shouldn't happen again.

https://blog.cloudflare.com/tag/outage/