skysight-inc/HackerNews huggingface dataset:
Try TeXmacs, it's neither TeX nor it's Emacs clone.

TeXmacs is WYSIWYG scientific editing platform. Documents created can be saved in TeXmacs, Xml, Scheme, PDF or Postscript. Converters exist for TeX/LaTeX and HTML/MathML. It can also be used as a graphical front-end for other computer algebra, numerical analysis, statistics software[1].

[1]https://www.texmacs.org/tmweb/home/welcome.en.html
I live in a region where the ancient topsoil is under about 100 feet of clay that was deposited during a massive flood event 10,000 years ago. I tried for decades to amend the soil by tilling in huge amounts of organic material to no avail. It had no affect. Eventually I ran across an explanation that it is impossible to change the structure of clay soil in that way. Clay soil is made up of extremely fine soil particles. The tiny particles don’t become bigger by adding organic material. Even if every single tiny particle was completely surrounded by organic material (an impossible feat), the original particles would still be tiny. They would fall through the larger organic material like water passing through and clump back together. As the organic material decomposes, the tiny particles will clump back together. Eventually you are right back where you started.
Understanding Effective Altruism's move into politics
That should indeed read 1GB, good catch! Will get that fixed up.
I thought Sharelatex was bought by Overleaf years ago? It is still alive I see.
Crypto markets may pose risks to wider financial stability, ECB warns
The same happened with laws instituting vaccine passports (at least in France). They were not backed by any projection of the number of hospitalizations avoided or lives saved.
> it's painfully slow on MacOS even with the new virtiofs

They said it here
Is this issue not sparking debating around Free Speech and it's bounds? It appears you're guilty all the same.
AMD Confirms Plans to Offer AM4 Support for “Many Years to Come”
Supposing you have at least high school mathematics under the belt:

1. Book of Proof by Hammack [1]

2. Tom Apostol Calculus Vol 1 (stop at Linear Algebra)

3. Linear Algebra by Insel, Spence & Friedberg

4. Understanding Analysis by Stephen Abbott

5. Tom Apostol Calculus Vol 2

These are books with excellent exposition, and solution manuals are available when needed. You are absolutely required to do all the exercises. To learn mathematics is to do mathematics.

Two other excellent books are Spivak - Calculus, the problems in this book are very good, but much more difficult than Apostol. For more advanced analysis there's Walter Rudin's Principles of Mathematical Analysis (baby Rudin), which on its own is too difficult as a first exposure to analysis, but there's a cool professor that recorded an entire semester of baby Rudin lecture videos [2]. This is as close as it gets without being enrolled in a university.

[1] https://www.people.vcu.edu/~rhammack/BookOfProof/

[2] https://www.youtube.com/watch?v=ab41LEw9oiI&list=PLun8-Z_lTk... (the first video is a bit blurry, it gets better)
In fact no. Bigger heavy machines do less damage than smaller ones overall. You have to look at the whole field, not just where the tires touch. Where the tires touch the ground the heavy machine is worse, but the smaller machines touch the ground in a lot more places and so do more damage.

Farmers are now using GPS to ensure all the tires that touch the field drive exactly the same place every pass, every year. Where the tires touch the ground is hardly worth farming, but the rest of the ground is undisturbed and so much healthier.
100% agreed on the decline of Google's algorithm. Those SO rip off sites make me furious, too [1]!

But people know they are clicking on a video link and do so not just because it's ranked higher than the text ones, but because they feel a video is easier to understand.

[1] https://news.ycombinator.com/item?id=26436490
Worth pointing out they also released the new MX Master 3S [1] today.

[1] https://arstechnica.com/gadgets/2022/05/logitech-mx-master-3...
It's absolutely huge difference of degree because you believe all what the western media tells you about "them" the enemies. Now just think what if all those sources are not as independent as you think and that the west actively makes advanced disinformation warfare against it's enemies (think about Venezuela for example and the coup attempt orchestrated there in the past few years, most people like to think of this as "revolution" against the tyranny instead of US backed coup). When you have this in mind you won't be able to differentiate between different types of censor and lies that much. This is harder than believing that "We're the good guys" ™ though.
>Title is misleading - this is a first in human, safety/dose-escalation study for this particular oncolytic virus.

Thanks for this... it's to the point I rarely read articles about medical studies, because I lack the domain knowledge to evaluate them, and if I just look at the study methodology people get angry when I often notice said methods aren't super stringent.

(You can get away with that in psychology, but it's really jarring when I see the same patterns in the physical sciences.)
Inspector Gadget was propaganda? Get Smart. The 80s had great TV shows, lots of Goodies like Black Adder. 90s gave us South Park, Simpsons, and many other highly entertaining gems.
I use the calendar one.

Since it went not free, the free version doesn't generate notifications or alerts anymore. I almost missed appointments or meetings because of this.

This is planned obsolescence at best. I seriously despise everything about this.
It's about space savings. 1.75u width shift is considered a 'standard nonstandard' size for a compact keyboard, and it's generally worth the squeeze for the extra full-size 1u key.
I Started Journaling (2019)
You could do it through Pandoc. Pandoc can process multiple data sources (citations, chapters, yamls etc.) and output a pdf.

You can turn on citation linking (in the text), you can apply a custom latex template.

Once it is all setup, you just write text in Pandoc Markdown.
Private Blockchains: A case of why they are worse than public ones
There is no way to short Tether from outside the crypto ecosystem. Shorting Tether with another stable coin is a fools errand.
Note that some of these apps, the one that have "Pro" at the end, are not free (they cost $0.99). Here is the announcement by the author of the apps: https://tibbi.medium.com/some-simple-mobile-tools-apps-are-b...
Keychron has been amazing, 0 issues for me. Flow looks cool but I would question reliability.
Try to discuss Hunter Biden, Burisma and Ukraine.

You will be muted as fast as in China.

> Do you work for the CCP? Because it's hard to imagine being so wrong by mistake.

Yeah, attack the character instead of the argument.

In case you didn't notice, I say that censorship/deplatforming/banning from services is wrong, without regard who is doing it, period. I do not say that "their" is wrong and "our" is OK. That's why I noted that there is no difference between tiktok or twitter.
There really isn't much code to write for a typical scientific document, just sectioning and math. You usually include the same preamble in your own documents and a preamble from the editor if you're targeting a scientific journal, but most of the time you focus on the content.
It's not the government. There's isn't any kind of free speech right with private entities. They can pretty much fired you for anything.
How is Russian State propaganda identified?
Show HN: Today's Apple Deals
How to Get Stronger Consistency Out of a Datastore
it all depends ... once upon a time, WoW was a bit like that. XRoads wild PVP, free-for-all ambushes in the wilderness, a reasonably sized world (not too big but not too small). Back in 2004 it did convey a sense of relative immensity. Which was part of the magic imho.
Every subsequent iteration ("evolution") felt like its main goal was to minimise the "downtime" between the farming/"phat loot" sequences (raids, instances, etc).

At the time, you could get a demo run a stone so at least some of the party could join quickly. But that took human interaction, some synchronisation ... it was nice and involved.

Disclaimer: I havent touched WoW in more than 10 years, but from what I know of it today -- it's teleport all the way, straight into the instance, with pre-made aor automatically composed groups. You pop in, you loot, you get out. Rinse and repeat.

Some people will enjoy the "instant gratification" part of this. I'm probably amongst those who did not, who don't and who probably never will. It is my opinion (widely shared? no idea) that immersion has been killed by all those "QoL" improvements.

My 2p.
I've been a DDG user since your early days (you mailed me some DDG stickers when they were free). I was using DDG on every device and setting all of my family members to use the same on their devices.

You lost me when you started telling us that you were going to start deciding what is unacceptable "russian propaganda" without any transparency into what that means or who will be deciding. Completely antithetical to your anti-bubble mission. It pains me to not be a cheerleader for you anymore, but that was such a betrayal that I can't get past it.
Today’s Apple Deals automatically finds the best Apple deals online, displaying the lowest price per product across different retailers. The website is a simple page, distilled to only show products on sale, and it updates throughout the day as new deals post.

I hope Today’s Apple Deals can become your first destination when thinking about buying an Apple product. If you have any feedback, I’d love to hear it.
> In some sense religion undermines the state.

In the 21st century, especially under the CCP, they're just competing forces more than direct adversaries, they both strive to do the same thing. And for most of History, the Church was the State.

It's parallels are quite visible, and now most wars are fought not for the deliberate imposition of deities, but rather for the new pantheon of self-declared god's: political leaders.
Or there's Microsoft's Mouse Without Borders, which can be used with any brand mouse/keyboard. I use it all the time.

https://answers.microsoft.com/en-us/windows/forum/all/mouse-...
There's also the trade-off between width of the worked area and the treaded surface made unusable for the season. If you have any tractor work steps between seeding and harvesting, you want all those runs done in exactly the same tracks to minimize waste.

A "small robots" revolution might still come, on the coat-tails of agrovoltaics: if/when someone in the right position begins thinking the panel scaffolding as dual use, doubling as a "rail network" for robotic tools. I believe this could become a feature of agrovoltaics installations as unremarkable as overhead cranes on factory floors.
GitLab Team member here! You can set up different environments with whatever dependency your application needs. GitLab CI can build/deploy your application to the right environment depending on various factors. You can also look at GitLab Review Apps, which "is a collaboration tool that assists with providing an environment to showcase product changes."

See: https://docs.gitlab.com/ee/ci/review_apps/
I have one of their MX Vertical mice connected to my phone, laptop, and desktop, and can switch between the pairings with the hardware button on the bottom. If I was traveling a lot, I'd probably consider this as a good option to have a compact-but-comfortable keyboard.
> The Bible confirms that both are vital.

Evangelicals just as easily claim the opposite, on the same conceit. "The Bible says". If this wasn't up to interpretation you wouldn't have so many protestant sects.

For instance, being kind and loving could be construed as an obligation for Salvation, not a reflection of the importance of Earth life. There are a not-insignificant number that oppose utilitarian improvements to quality of life because it might "distract people from God", notwithstanding how comfortable their own lot might be. It's not at all life-affirming for them, at least not in terms of how they feel of their neighbors.
> The first is non-sense and the second is more a function of size and power than efficiency. Efficiency is about benefit per dollar, and governments are really really bad a that, typically making up for how bad they are by simply throwing more dollars at the problem.

This is definitely not an ideological and dogmatic statement obscuring centuries of experience across hundreds of government systems, oh no-no-no. Government is bad at everything, get it?
I'm always amazed how people could bootstrap something as feature rich and versatile as LaTeX from plain TeX.

I'd really like to get to know plain TeX a bit better, but I've got no idea where to start.
No, it's really not. What people don't realize about search is things get clicked on in an exponential fashion, with each piece down the page being engaged with about half as much, so nearer to the bottom of the visible page, 100x less. Since instant answers are often on top, the % of engagement on non-traditional links is much lower than one would otherwise think. And as mobile searches are now the majority, local results (including maps, places listings, etc.) occur on a large % of searches. Same for Wikipedia content. And neither of those are sourced by Bing, along with dozens of other popular Instant Answers driven by many different indexes. Put another way, we have a very large search codebase and overall engineering team, and all of this technology is doing something, and we believe something good!
What I don't like about the MX keyboards is that they don't have an IBM compatibility mode.
For example, the pause key is Start+Fn+B.
So the familiar break combination in Visual Studio CTRL+Pause is CTRL+Start+Fn+B. The Fn key is on the left, so it requires two-handed operation.
Some key combinations can not be reached at all, not even as a macro. The macro facility (progammable key) is near useless anyway.
What’s happening to the Uyghurs is definitely a humanitarian catastrophe. The Chinese are eradicating muslims from their territory and if the Muslim world are not willing to do anything about it, than there is little the West can do. You can’t fight other peoples battles they are not willing to fight themselves. We have seen this observation over and over again in human history.
I arrived 1 hour late for a zoom meeting a few weeks ago. At meeting at which I was presenting. I checked and double checked the calendar event to make sure I arrived at the right time. Daylight savings time hadn't changed for me recently, and nor had it changed for the organizers (who advertised the event in GMT).

The problem was that the calendar advertising the recurring event was set to PST. And daylight savings had changed in California (PST -> PDT or the other way around). The result was that the calendar event shifted by 1 hour local time for me and every other attendee who subscribed to the calendar event.

This situation sucks, and its really confusing to everyone. But I can't think of a way around this whole issue:

- If recurring calendar events weren't set to a timezone (and thus, just worked off GMT), then all recurring calendar events would drift forwards or backwards when daylight savings changes happen

- If recurring calendar events are set to some local time zone, then things like this happen - which really confuses everyone involved.

I mean, sure - in an ideal world we'd get rid of time zones. But until then, it seems like we're stuck with this problem.

(Though at least daylight savings time is slowly being phased out in some countries.)
LTE makes more sense in most areas. It's cheaper and with good hardware you can get the same speeds, depending on the provider.
I will never go back to fixed unsplit keyboard again. I much prefer split ergo keyboards,

eg https://gaming.kinesis-ergo.com/edge/ or its non gaming version
The mini looks pretty much identical to my Keychron K3. Not sure if that’s good or bad; it’s one of my favorite keyboards and cost me 1/3 of what they are asking.
Billionaires will always get away with anything until the SEC, DOJ and FBI are stuffed with people who genuinely hate them.

It's only fair to counterbalance their massive economic power and the ability to buy and corrupt everybody.

In order to counterbalance the bias that they can buy with their money there has to be a genuine bias against them among those who hold the levers of power.
> They will re-encode it and it might not be reversible I guess?

You can encode information into the audio of video that is resistant to re-encoding.

> Also they regularly delete videos/channels with no warning and have absolutely 0 concern about backups.

You could use a level of redundancy in the videos which would resist that too, like the [2] RAID concept in hard-drive storage.

[1] https://asmp-eurasipjournals.springeropen.com/articles/10.11...

[2] https://en.wikipedia.org/wiki/Standard_RAID_levels
Jesus H Carnegie. I JUST WANT TO WRITE AN ACADEMIC ARTICLE.

I mean, look at this abhorrence. And look at what you open up in a TeX file, which again is meant to represent English prose.

% Options for packages loaded elsewhere
\PassOptionsToPackage{unicode}{hyperref}
\PassOptionsToPackage{hyphens}{url}
%
\documentclass[
]{article}
\usepackage{amsmath,amssymb}
\usepackage{lmodern}
\usepackage{iftex}
\ifPDFTeX
... and more and more of this dross ...

I want to get stuck into the article. At least show me my abstract. But no. It's just more and more backslashes.

It's just vile. And the people who use it have Stockholm syndrome, and they pass it on to their PhD students who spend nights before their presentation at 2am, trying to align a table and crying. Then they have Stockholm syndrome too, and they tell you "it's pronounced LARTECH" and give themselves a little pat on the back.

And here's an equation:

\sigma _{I}^{2}=a^{2}s^{2}+\left( 1-a\right)^{2}S^{2}+2a\left( 1-a\right)\sigma.

How are you supposed to manipulate that? I can open up a WYSIWYG editor and literally do maths by just copy-pasting parts from one side to another. But this, I can't even read, let alone intuit.

TeX. It's the worst.
If you know a good resource on learning calculus on your own, I'd add it to my todo list. Every algorithm I reverse engineer or develop has been very... I think linear is the phrasing? No curves?

>I've often thought that a really pedestrian, but possibly world-shaking, application of AI would be generating math problems (and solutions)

Maybe read up on plagarism detectors? I can't recall the title but there was one some people used in grad school to spot code re-use that was engineered much differently from Turnitin.

(Play around with the latter, and notice how the "plagarism" score jumps when you tell it to ignore what you cited. I had way too many stories told to me of professors who'd start the academic misconduct proces because they forgot to do that, paired with witnessing some egregious academic misconduct that I'll simply never be able to get away with.)

- Greg.
Well the wealthy Arab states aren't the ones surrounding Palestine - the poor countries that do surround Palestine have taken in an enormous number of refugees - there are 2 million Palestinians in Jordan, nearly as many as there are in Palestine, the vast majority of which descend from those that fled Palestine between '47 and '67. Of the states actually bordering Israel and Palestine, Egypt is really the only one that hasn't pulled its weight.

The sabre rattling by the gulf states is 100% motivated by distracting their people with rage rather than by actual concern for Palestinians - but don't let that distract you from the fact that the states on Palestine's doorstep have genuinely dealt with their share of the human tragedy caused by the conflict. Close to a quarter of Jordan's citizens are now Palestinians, and the intake of refugees in Lebanon even triggered a 15 year civil war when the delicate Christian-Muslim political balance in the country was disrupted.
While I am skeptical of the speedy grocery delivery market as a whole, I'm especially skeptical of this business in Europe. Having lived in Berlin, Tallinn, and London and spent significant amounts of time in other major EU cities, I just don't understand the value prop. I've never lived anywhere that wasn't a 5-10 min walk away from a well stocked convenience store, full grocers, or market stalls (sometimes all of them!). In Estonia I can at least understand a rationale, it gets cold and putting on a jacket and pants and such adds a little friction to a grocery run, but Berlin and the Netherlands? This seemed like one of those businesses built on cheap cash, the only question was whether it'd end up as an Uber burning investor dollars forever in the hopes of achieving some sort of monopoly but providing an at least semi-valuable service in the meantime (and at great prices when subsidized by VCs) or just eventually disappearing... my bet is on the latter now.
This looks like a non-hotswappable board with proprietary switches, and it's still tied to Logitech's wireless dongles (which are notoriously bad about both causing and being super-sensitive to 2.4Ghz-spectrum interference).

I mean, I _think_ the switches are proprietary -- the page has no real information about the switches at all, which is a bit like selling a computer by showing you a picture of the case and telling you it has "a CPU".

Hotswappable switch sockets are basically a standard feature in the mechanical keyboard scene these days, with boards that sell for as low as $50-$60 having hotswappable sockets.

I don't get who this product is for, other than maybe someone who has heard mechanical keyboards are cool but is daunted by doing any research into what mechanical keyboard options exist out there.

Enthusiasts will see the non-standard switches and lack of hotswap, and the fact that it's Logitech, honestly, and will bounce off.

Non-enthusiasts will see that this Logitech keyboard is $150, but doesn't offer all that much more than their cheaper wireless multi-device keyboards, and will just buy a cheaper non-mech option.

At $150, it's priced above most budget boards (the sort you'd see on /r/budgetkeebs, which is more my wheelhouse anyways), but with none of the selling points of the boards in that range -- and it's getting into the low end of "standard"/"pricier" boards, but again, it can't compete with boards in the $60 range....so why bother?

*EDIT*: I'm seeing a lot of folks responding to this and saying "look, this is exactly what I'm looking for", so...I stand corrected. The above are my own opinions (and as a little bit of a hyper-frugalist sometimes, I'd still recommend shopping around on prices), but they're just that: my opinions. Don't let me make you feel like you're stupid or wrong to like what you like just because it's not what _I_ like! If this is your jam, then I'm stoked for you, and congrats on possibly finding the exact thing you're looking for!
I enjoyed the procedural towns and quests but I really hated the procedurally generated dungeons.
>Western countries

the US is the only Western country that doesn't have nebulous hate speech laws
I dunno - it's a thought I hadn't seen put out there and you're 100% against it within minutes. The field ain't going anywhere - why not have permanent solar-powered infrastructure to recharge robotic agricultural enthusiasts?
Someone else linked to the Github. If nothing else, you could build APKs for yourself.
You didn’t call a bubble…we are in a recession. If you want to continue living with a continually debased fiat currency, that’s your choice. But don’t shit on people that are trying to circumvent the authoritarian control on the monetary system. Yes, I understand that most crypto is a scam. I do think BTC can possibly be different.
This is just an ad, why is this on HN?
I'll be the one to say it. For the price point you can build a very good custom keyboard with low profile keys of your choice. This is a fact that Logitech, Corsair, and razer, hope you never bother to find out.