skysight-inc/HackerNews huggingface dataset:
I recently converted myself to using TeXmacs. I did it because I was constantly getting lost in the minutiae of proofs of a large paper I was working on [1]

The WYSIWYG aspect of TeXmacs was crucial for me because I was able to "think about math" while working on the PC. When doing things in LaTeX I always found myself thinking on paper and then writing down in TeX.

I personally believe that "thinking on paper" is still better for me at the starting stage of mathematical research. However, once the outline of the proof was clear and I needed to clean up details and to write technical proofs then working directly on the PC helped a lot

Another fantastic feature of TeXmacs is the "preview on hover" package. If you have a reference to an equation and you put your mouse over it, TeXmacs can show you the equation in a popup. This was very important when I was going over the draft once I have written the proofs and when checking for correctness. I have hundreds of numbered equations and checking that I was citing the correct bound in a proof of a lemma was made much easier by this feature. Before passing to TeXmacs I tried to find way to do this efficiently using LaTeX. Intrestingly enough very few PDF's have a "breadcrumbs" feature for you to be able to jump to a reference and then go "back" to your previous position in the paper. The closest I came was Emacs+Auctex+preview. Since Emacs is scriptable and already has the notion of "mark ring" that is essentially the "breadcrumb" feature, that helped a lot.

TeXmacs also has some shortcomings. While it is written in Scheme, I found discoverability and documentation lacking. However, there is a very friendly community of people that are very active on the forum. Any question I had about how to do something was usually answered in at most a day. This is actually great because the "basics" that one needs to work immediately are actually well documented. The things that are hidden are more advanced features. For example, there is math folding [2] that I accidentally discovered browsing the menus and then figured/asked on the forums. I had to ask about how to remove sub-sub-sections from the TOC [3] but, to be fair, even in LaTeX you cannot figure it out unless you know the macro.

The thing that I miss most from Emacs is the "self-documenting" nature of all the Lisp (Scheme in the case of TeXmacs) code and functions and the somewhat quirky search/replace functionality in TeXmacs. Honestly, the regexp search and replace (especially with a visual help package) in emacs was very powerful. But I believe the community is actively working on the former.

[1] https://arxiv.org/abs/2205.09851

[2] http://forum.texmacs.cn/t/folding-computation/551/5
XMPP wasn't adopted by large organizations who valued interop and federation. They valued the implementations, but almost invariably used it to build a walled garden.

I'm not entirely certain why this was, but I suspect that valuing extensibility over interoperability (or the perception of it) was part of it. Optional extensions and interop with hosts that used a different set simply gave hosts/operators too much to think about in terms of deploying the service for users.
A few decades ago it was actually somewhat common for students at rural high schools to bring guns from home so that they could go hunting after school. That didn't seem to cause any problems.

Most recent mass shooters have acted for personal reasons. They were not insurgents fighting the government.
Even if you try to lay claim to your own nation, you’ll very quickly get bullied by nearby nations [0]

[0] https://www.insider.com/thailand-says-us-mans-seasteading-ho...
How the Voyage of the Kon-Tiki Misled the World About Navigating the Pacific
We switched from minikube to microk8s for local development at work. We found minikube to be bloated and (at least at early releases) sometimes the vm just broke for no reason and we had to deploy everything from scratch.
There are plenty of boxes to check or uncheck in the system preferences, so no, this is not how “Apple operates with everything in every instance”.
IANAL but in theory you don't have to convert the legal system to civil law to do away with the excess reliance on legal precedent in our society.

If we had a healthy legislative system then things could be better codified in law that was passed by elected representatives.

If we had a healthy legislative system.
Nice article. Curious about whether Go fits your needs and would it be your choice if you would change be choosing a new language nowadays.
I have little trust in the "we" doing anything like this correctly, at first. By that, I mean that it will be the corps to do this as they are the ones with the money to do it. Corps being corps, they will lean into being themselves and extract all of the everything they can with little respect for anything other than their bottom line.

I don't have faith gov't will do it either. Those opposed to climate change will argue it is money spent on fake science. It'll die in congress (for US, s/congress/localGovUselessBody/ for other places).

Someone might get popular enough to crowd source fund it with an NGO type thing, but I'm not holding my breath there either.
After being acquired by Avago, Broadcom ceased to be a single company. It’s a conglomerate of entities/BUs that are explicitly asked to NOT work cooperatively, so that each entity can be sold at moment’s notice if it doesn’t deliver the right financial results anymore.

Chances are that the current leadership doesn’t care about how VMware operates, as long as it cuts enough costs to increase metrics that Wall Street considers important.

Expect major cuts in R&D, receptionists, travel expenses, general benefits, and virtually no hiring of college grads or interns. You’ll be on the phone in a queue for hours to get outsourced IT support.

Support of open source should be the least of your worries.

Stock price might go up though…
Some employee mentioning this on Twitter is not an announcement. That would be a press release, a blog post or at least a tweet from their official corporate account.

I use DDG too but I wish they wouldn't use bing as a backend.
I record everything that I do, for initial setup or otherwise, in a large text file and/or cloud document holding blocks of shell instructions like:

# set up stuff
(
VAR=<stuff>
curl <stuff>
<do-something-with> "$VAR"
brew install <stuff> # or apt-get install <stuff>
# ...
)

I write them so I can paste them into the shell at any time and keep my environment updated declaratively, without having to think. This way I never store any local state, not even command aliases. Otherwise I start getting attached to my setup, which leads to anxiety.

It's good practice to check out a project repo periodically and see what it takes to get running inside a fresh OS or user. It's handy to do while onboarding new developers too. Sometimes I'll even put these setup instructions at the top of the project repo's readme itself, so it doesn't have a dependency on anything external.
With the very real risks of climate change and rising sea levels I'm wondering how long it will take before someone decides to flood the Sahara.

It's worth noting that sea level rise is kinda complex.

First, if an iceberg floating on the ocean melts it doesn't raise sea levels. That's the buoyancy principle of displacing an object's weight in water.

Second, a lot of ice (eg Antarctica, Greenland) is on land so the first point doesn't apply to all ice as some deniers have tried to claim.

Third, the sea level rise is partially from ice melt but also from thermic expansion.

Fourth, even if you flooded all the below sea level parts of the world, it would only account for a fraction of the sea level rise so it's not a permanent solution.

But several thousand eyars ago the Sahara was arable land. Some parts of the Sahara were >400 feet below sea level so this would be a significant body of water. Even as seawater this would inject a lot of water into the environment through evaporation and normal water cycles.

Obviously this would have an impact on the ecosystem and displace some people but we've displaced far more people for less (eg the Three Gorges Dam).

This seems like something we should do, no?
How exactly does the workaround make packages "always be stale"?
My fortunes have improved dramatically, mostly due to the pandemic, ironically.

I need remote work and have some background in Instructional Design. I'm FAR more valuable now than I was 3 years ago. Odd how that works.
Selective breeding is far from playing God, quite the apples to oranges comparison; you're not altering the code, you're putting two different naturally evolved genetic codes together and if the pregnancy is successful then it naturally occurred and fits within the existing natural framework of evolution.
ceo gives off Jim Jones vibes.
> On an unrelated note, it would be pretty cool to have extremely slowly moving and stable languages, projects and tooling out there. To see maybe 3 or 4 releases in my entire lifetime and to have the next generation take over the burden. Then again, seeing how COBOL and FORTRAN are now, perhaps that sense of grandeur isn't worth the effort and old projects should just die.

Isn't that Perl?
I know you’re being facetious, but
It’s fun to point out that you can purchase an Apache if you can find a government to tell you one.

The missiles are separately regulated, and likely not legal for private ownership. Missiles and high explosives are licensed and legislated for separately.

Any weapon that’s part of a standard infantry soldiers load out should be available, new from the manufacturer. I don’t have a problem with the background checks that are required for a class 3 weapon, like an m16 or a Thompson sub machine gun (https://dealernfa.com/product-category/machine-guns/all-tran...), but as it stands only wealthy people can still afford to purchase them.
> "I still insist that this seems like lack of political will rather than means."

Lack of political will = the voting public doesn't want it, literally. If the public wanted it, federal and state legislatures would be in session right now to pass such laws.

Why doesn't the public want it? All the things you suggest hassle legitimate firearms owners, which is a significant voting bloc, driving them right into the arms of the extremist 2nd A. groups and spiking firearms sales drastically every time new harsh legislation is proposed, making the problem even worse.

So why insist on following the same losing strategy that has been followed by gun control advocates in the past? It is culture and public perception that needs to change and addressing that is not something that can be fixed by legislation.
- I look up the dates for when security updates will stop, and add a reminder to change phones before then.

- Turn off notifications for everything.
“Mental models” the term as used here was popularized by Charlie Munger and is best understood in a semiliterate, small-town kind of way, and it’s not uncommon. If tool or heuristic fits better in your mind, replace with that term.

https://fs.blog/mental-models/

https://www.quora.com/What-are-the-100-mental-models-mention...
I doubt wasm-bindgen will be your cup of tea as it’s Rust stuff, though perhaps there may be value in looking at what it generates.

For myself, I progressively lean in the direction of burning all of these things down (when possible, and it must be admitted that Emscripten’s strength is that it makes legacy stuff work) and writing binding JavaScript manually, also with less of an FFI/dual-sided-bindings/skip-blithely-between-languages flavour and more deliberate, less RPCy techniques.
You cannot call what UAE is doing it’s own attempt. It’s a non indigenous rover being flown on SpaceX’s rocket.
> It is weird OP left Perl 6 out of the story of "what happened to Perl 7". I guess it's just too painful?

Actually, it is not weird when you consider what the article is about. The announcement of Perl 7 was not about Perl 6, it was about Perl 5. Perl 6 had been already been renamed to Raku almost a year prior (Oct '19, according to https://en.wikipedia.org/wiki/Perl). Well, OK, it was about Perl 6 in the sense that newer versions of Perl 5 could not be called Perl 6, but that's about all. Raku/Perl 6 is a related but different language (hence the rename).

I suspect the Perl Steering Council was writing mostly to people who are focused on Perl 5. The announcement about bumping Perl 5 to version 7 created some controversy (centered on what the changes to Perl 5 would be for the bump to version 7). This led to the new governance structure discussed in the article, but it also kind of left people in the Perl 5 community hanging. A lot of them were thinking things like "OK, so are we going to bump to version 7 now, or not?" I think that is what they were trying to address. And anyone who is focused on Perl 5 already knows all about Perl 6/Raku, so there is little reason to bring it up in this article.
I signed up on Twitter and before I could even post anything, I got something like "your account has been banned. Enter your phone number to unban it"

It was especially infurating, because I did not have a smartphone, only a land line, and they wanted to send an SMS.
For the little data sciences like statistics and mildly complex ML, R is really good. At least for data exploration. The REPL/emacs combo I use is much better than python/jupyter. By better I mean it's far more productive to test ideas, compute statistics, charts, etc. Unfortunately R programs I write are not as structured as python programs. I wouldn't like to maintain that kind of code for a long time, nor would I build big applications in R.
I am not sure that is fair -- what if someone decided to buy out their vested shares with their own money? They would be screwed while those who borrowed from Bolt wouldn't be. It is just generally problematic.
Cryptobubble definitely had a part in subsidizing early expansion of Rust's crate ecosystem and first jobs, but I think at this point Rust has grown and matured so much that it's not dependent on any single thing.

I know Cloudflare is depending heavily on Rust in its services. AWS is invested too. It's used at Dropbox, ByteDance, Canonical. It has already made its way into being part of infrastructure in many companies, and there aren't many alternatives for it, so there's momentum to keep it going.

Even in this sample of explicitly Rust-specific jobs that "most" is already close to a half, and the sample isn't including jobs that use Rust alongside other languages (which in my experience is common, since Rust is good for libraries/plug-ins/components/low-level utilities).
I typically own cars 4-10 years old. I'm currently still happy with a 2008 model that has had exactly one non-maintenance, non-upgrade, cost -- which wouldn't even have prevented using it in any way, I just like the emissions system to be as eco-friendly as it can.

"Inevitable repairs after 4 years" is just a delusion, and silly.

Might I suggest you be honest with yourself and say you like the new car feel? Maybe even like it as a status symbol? Don't want to think about what tires to buy to replace worn-out ones?

I'm the opposite. I like having a scuffed-up car (or in this case, jeep), with dogs climbing all over the seats and sand everywhere from going off road. I'd rather use the thing and have fun on the trip.

Even if I drove my jeep off a cliff, called it a total loss, and got nothing back from insurance, I'd lose less money than you lost in 3 years of leasing -- and I've already had the thing longer than that.
The lack of FKs is a turn off for most apps.
> Kagi looks promising, but I feel like $10/m for search is a little steep. But what’s the price of privacy, amirite?

As long as this is our reaction to paying for things - and in this case, if not the thing we derive the most value from on the internet, certainly within the top 3 - we’re going to keep getting screwed by advertisers.
Oh, that's a great way to put it. I'm stealing that :)
I don't know that I've heard the terms "hard and soft skills" before, but I've definitely heard it about "hard and soft sciences", and it's equally frustrating and detrimental in that domain. Psychology specifically comes to mind: I've constantly heard people saying psychology is a "soft science" or even "not a real science" to discredit it, which is absolute BS. People do the same for economics. Thing is, psychology is based in neurology -- a very real physical/chemical/biological science -- and economics is based on psychology. The named fields of "neuropsychology" and "neuroeconomics" make that foundation clear. If abstracting a concept makes the result "not real", then I guess 99% of computer applications are "soft apps" or "not real apps", since they basically always use an abstraction of some sort to work (anything from assembly as an abstraction of machine code, to higher-level programming languages as abstractions of assembly, to external libraries as abstractions of their common functionalities).

People will say psychology is a "soft science" because "it's based on statistics and general probabilities, not hard rules and guarantees". But quantum mechanics is founded on the idea that nothing in it can be guaranteed and it's all just statistics and probability -- yet we consider QM a "hard science".

TL;DR: Can we stop qualifying knowledge and skills based on arbitrary rules about what make them "true Scots-knowledge"?
> Bolt should just have annulled them entirely

These loans were made cashlessly as part of an early option exercise. That is steeped deeply in the internal revenue code. The forgiven principal would be at the very least income. Then the tax benefits from the early exercise would retroactively apply with penalties and interest. All of this assuming the IRS doesn't view the move as a heads I win (if the company does well, a cashless loan produces early exercise tax benefits) tails you lose (if the company does badly, the loan is forgiven and there is no downside to the dodge).

I'm somewhat blown away by this whole thing. Leverage to finance an already-leveraged derivatives position on illiquid stock. From the issuer of said stock. Who is also the borrower's employee. That's both risky and dodgy! Bolt positions the "below $200,000" sum as a win. I don't see it that way. That's below the lower bound of the accredited investor income test. The people taking out these loans by legal definition couldn't afford the risk. Yet Bolt doubled down and gave them leverage?
> SMTP originally didn't deal with

More so, absence of security is what allowed SMTP to proliferate.
I think we have different understandings or belief between God vs. nature. I think God exists within and/or from nature, a result of life and energy and consciousness evolving. Nature therefore may be "nasty, brutish, and short" however arguably God reaching the top of the competency hierarchy is an organization structure and would work towards order and efficiency, among other qualities or highest ideals.
can you not just buy a US one? I understand they are multi-voltage, so you would just need a travel plug to use in europe
I've only noticed this in the language selection UI for keyboard input, but not for emoji.
Young Men, Guns and Guardrails
Did not expect DnD references... nice.
Latin American Spanish already has been living in the future with this one. There was no way to pick a flag for that.
>my oldest son says “DuckDuckGo it” instead of “Google it”

It though it was supposed to be "Duck it".
> Relentless pressure to conform and be a "team player" + massive levels of doublethink and hypocrisy + lack of parental guidance and care even in two-parent households because everyone has to work and has no time and energy for raising children.

And why does that only lead to more mass shooting events? Why doesn't it lead to all sorts of other violent crime that went down significantly over this period? Why would overall violent crime drop drastically over this period of time?

Attention seeking may be an answer, because it would explain why it leads to all these mental pressure increasing the number of media covered mass shootings, even if overall crime was going down. But the mental illness aspect simply doesn't fit. We should be seeing an increase in overall violence if so many 18 year olds were mentally unwell.
Are you suggesting IndexedDB has a limited life remaining?
Yup this is why I’ve never went to duck duck go and just stuck with Google.
Wait, senior developer is paid the same as developer?
Type 2 diabetes accelerates brain aging and cognitive decline
I was completely blown away when I found this years ago. I'm a kid of the early 1990s, and this was music on dot matrix printers. I just couldn't believe my ears when I first listened to the whole thing.

I did some radio production back then and needed a soundtrack for a lecture by an eminent computer scientist from my country (he's got an oddball sense of humour, and he was approaching 90 at that time). Since our country is, well, poor as compared to Canada (where The User is from), the band was kind enough to allow me to use their composition free of charge (the initial fee they asked was well above my head). They sent me flac or wav files just like that. This still makes me feel warm when I think about that. Really nice people.

Their "Symphony No 2" is also on Youtube: https://www.youtube.com/watch?v=m43MkQgF9p0

And on Vimeo (needs login): https://vimeo.com/16207657

Might be their old webpage: http://www.undefine.ca/en/projects/symphony-for-dot-matrix-p...

Would be really interesting to have a look at the actual code that made the printers work. I wonder what language they used, etc.
Tanks, warplanes, artillery, rockets, etc. are for the most part legal for civilians to have and it doesn't really bother me. The cost of most of these systems is prohibitively expensive and if you can afford them, you can have them regardless of legality.

If you're scared of criminals having these, I have something unfortunate to tell you; the law is not stopping these people. It's the exact same thing with small arms controls in the US. The controls people suggest are going to stop fuck all. Every time somebody brings up universal background checks or assault weapons bans in a discussion, they end having to admit that those things wouldn't have stopped the shooting that triggered that discussion. They MIGHT allow you to prosecute somebody after the fact, for whatever that's worth.
So the firm borrowed money to employees?
Additional benefit is that defaults are often such that they work well together, often in ways that you might not have foreseen beforehand and thus never would have set up yourself.
Twitter used users' 2FA phone numbers for targeted advertising
Mortal Pong II
I mean we have seen multiple cases (this one included) where the cops make you the primary suspect and will do anything they can to discredit you or catch you in a lie (even an unrelated lie that they use to "prove" you are guilty).

I understand the desire to cooperate but with minor exceptions I'd still only talk to them through a lawyer or with one present.

Cops are interested in really finding who is responsible, they are looking to close the file and you are right in front of them, a very tempting target.
There is plenty of important stuff written in this generation's languages like Go, Clojure, Rust, Typescript and so on. You might be relying on some of them.
Before starting to use TeXmacs I tried LyX. It is true that the typesetting is not optimal, as often pointed out by TeXmacs users, but for me that was not a dealbreaker. I found LyX to be extremely un-customizable. TeXmacs has Scheme that allows you to do potentially anything! That made me very happy coming from Emacs land.

An important thing for me was having context-aware keyboard shortcuts (that are barely possible in LyX).

Another cool thing that seems to be possible that I plan on exploring next is integrating math typing in TeXmacs with sympy and or Maxima. This would allow symbolic manipulation using the above packages directly in TeXmacs.
Evervault Payments Config