skysight-inc/HackerNews huggingface dataset:
I think you're imagining things... This spacing stuff is mostly defined in the font files and typst uses the same math font (or a more recent version, depending on your LaTeX config). I made a small comparison:
https://imgur.com/a/0k6dsok

Note that by default, typst uses the book weight from New Computer Modern. This corresponds to the default settings in LaTeX with the "fontsetup" package.

The only difference I can see is the spacing after the comma. Not sure why typst does it differently. I think typst might be doing the right thing here actually, but it's easy to adjust if you want.

My typst code:

$ round(1 / sqrt(5) phi.alt^n), quad phi.alt = (1 + sqrt(5)) / 2 $

My LaTeX code:

\[ \left\lfloor\frac{1}{\sqrt{5}} \phi^n\right\rceil,\quad \phi = \frac{1+\sqrt{5}}{2} \]
https://twitter.com/i/broadcasts/1RDGlyognOgJL

Here. Or try Space Affairs on YouTube
https://github.com/typst/typst/issues/4224

This issue and others like it are dealbreakers for me. There are numerous related issues, but the developers are stubbornly sticking to their interpretation—using the older definition of leading from the days of metal type, rather than the more modern concept of line-spacing. No other software or modern typesetting system I know of uses this approach anymore. This is particularly frustrating since I work with a lot of multilingual text, including Arabic, and it's very difficult to align the baselines when setting text in more than one column.
It still blows my mind how the landings are more exciting than the launches.
"Incredible!" in the voice of my 3 year old who just saw it :)
Is that 150t of payload or total? What’s the cost in fuel alone (let’s ignore maintenance and operations costs for now)? I’m trying to get a feel for the relative scale compared to today’s commercial flight.
Not exactly 3D assets, but diffusion modems are used to generate e.g. traffic (vehicle trajectories) for evaluating autonomous vehicle algorithms. These vehicles tend to crash quite a lot.

For example https://github.com/NVlabs/CTG

Edit: fixed link
That would happen in a secure environment with auditors and multiple sysadmins who would have the ability to do things normally disallowed. Different threat model
Comparing today’s tech hacking with sailing across the Atlantic is a very good joke, very funny.
There is a world of difference to rip something apart and rebuild just for one person ego and actually serving other people’s needs.
Let me rephrase. Let's say you're writing textbooks instead of code. You need Ivy League PhD's to write grad school textbooks, but not grammar school ones. Here are two crappy scenarios I was thinking about:

- You choose to write grammar school textbooks just so you can hire cheaper writers.

- Or worse, you're required to write grad school textbooks but you still hire cheaper replaceable writers.

We are conflating skill with performance, but the 10x theory (IIRC) is that they are correlated, or at least can be given the proper motivation.

Team players are always better than singletons, so let's assume there's no correlation there (which may be a stretch, sure.)
Didn’t WPE change ACF to pull updates from WPE (on Oct 2nd), essentially at Matt’s request … because one of Matt issues with WPE, is that they were putting undue infrastructure load/cost on Wordpress.org

And then days after WPE makes this update, Matt then hijacks their plugin.

Am I understanding this correctly?

https://www.advancedcustomfields.com/changelog/
In practice, though, with BFS you'd run out of memory instead of never finding a solution.

Also, there shouldn't be many situations where you'd be able to produce infinite branches in a prolog program. Recursions must have a base case, just like in any other language.
Interesting - I wouldn't use an OEM install of Windows because you have no idea what they've done to it, even uninstalling all the crap that comes with it still doesn't clean it 100 percent. It's pretty terrible that you can't just use it out of the box
This comment above is absolutely gold and true!
An organization can offer the following benefits to employees: Comp(salary, bonus, etc), health Benefits(health, insurance, counselling), autonomy, interesting/challenging work, push you out of your comfort zone, a non-toxic environment, etc.

The key is to recognize the Maslow's hierarchy here as well (hierarchy of benefits, instead of hierarchy of needs).
Once you offer someone top comp and top health benefits, you have crossed the hygiene layer. Then you go to the social layer (recognition, awards, non-toxic env) and finally the self-actualization layer (autonomy, pushing them harder, long-term aspirations).

Dont cheap out on the hygiene factors!!
This has been going on for many years now, YouTube doesn't do anything about it.
Very inspiring, glad I woke up to watch it. Congratulations to the SpaceX team. This is what competition looks like. It’s funny how last decade SpaceX had to sue the government to get more launches.
Congratulations. This is a Sputnik-level event, opening a new era in the history of civilization. Amazing.
Cool achievement, but I want AI to give me smarter NPCs, not simulate the map.
The catch somehow absolutely demolished the amazing FH dual landing

Holy shit. I almost had a heart attack when it looked like the booster was about to slowly careen into the tower
Not just modern - [https://en.m.wikipedia.org/wiki/Yellow_journalism]
> ideally communicated from the start

if only a minority could grow big and sufficiently high revenue generating to be capable of paying anything, then having this concept of "paying back" from the start would've been a chilling effect on the adoption in the first place.

wordpress ecosystem is big, but it is the network effect, rather than the software itself. This network effect require lots of individual participants to kick start it at the beginning. Those participants will benefit from the software being free.

If it was known at the start, that if you grew to a certain size, you'd have to start paying a royalty of some sort (which is the "community expectation of pay or contribution"), then you may not even start using the software in the first place - or at least, consider alternatives. This makes the ecosystem small.

They don't call it bait and switch for nothing. The expectation of contribution will never be transparent from the beginning.
To the sane people, he means:

“repaint history” = correct historical inaccuracies in textbooks

“In the worst way possible” = as correctly as possible

“Using standards that should not be applied” = using the proper standards and I don’t like that for “reasons”

“No wonder people are so miserable and divided these days” = No wonder people don’t like people that spread the same misinformation as me at the moment

“When we are led to be miserable in everything” - “when led to learn from our prior mistakes and try to improve the future of ALL peoples”
Thanks for doing the comparison but that just looks to me like I’m not imagining it. There’s more space around the plus sign with typst.
First attempt!

I can't believe what i just saw!
Both are pretty tasty if you don't over spice them.
I think the argument goes that Columbus was a closet Jew who scheduled the expedition with symbolic meaning that only he would know.

It's definitely a Dan Brown plot, but it's not entirely inconceivable.
It was just a quick google. 150t reusable.

No idea about the other costs.
Regarding math stuff and graphics/diagrams, it works well too.

What I enjoy about Typst is the fact that the code is easy to write and read. Even code from some third-party library or template is easy to understand. There is a world of difference between this and LaTeX, which abstracts over TeX, and whose inner workings remain obscure even to experienced developers having used LaTeX over decades for tens of documents.

The compilation of Typst documents is indeed also extremely fast compared to LaTeX.

The runtime and libraries are lightweight and easy to install, compared to LaTeX distributions.

Writing custom logic or even a fully-fledged template with Typst is easy to do from day one.

The only reason I still see to use LaTeX nowadays is writing books and papers whose editor only accepts LaTeX.

I've switched to Typst some months ago and not once have I thought it might have been a mistake. The only thing I regret is that there is no automatic migration of older LaTeX documents to Typst.

Editors still have to be improved, though the Vscode plugin is absolutely usable.
SpaceX has done it again! (defying status quo, not the catch :p)
where can I contact you?
You could imagine doing it with 2 specialized NNs, but then you have to figure out a huge labeled dataset of scene graphs. The problem fundamentally is that any "manual" feature engineering is not going to be supervised and fitted on a huge corpus, the way the self-learned features are.
NSF video: https://x.com/nasaspaceflight/status/1845442658203734384
This is a really good insight.

You also have the effect where the perception of being a 'high performer' might be gamed.

E.g. it might be rather trivial to churn out code and be perceived like a high performer, but you are essentially just creating alot more job for everyone else and drag them down.

Also, it is easy to do so much stuff that you will be blocked and waiting on other, who seem slow etc.

Unless the manager is working along side you he likely wont notice. And these points also happen automatically by itself. But I guess adversial collegues use the concept to game the workplace.
Ask HN: Health Advice for a Tech Person
In a few days, I am turning 22 and I've neglected my health for a long time due to the hustling culture I once admired(I still do at some %), there haven't been any backlashes for me yet but there will be if I continue this, I've decided to follow health first routine.

How do you balance between this? Do you have any personal experiences to share with? Any advice is welcome.

Thanks
You seem to be describing ComfyUI to me. You can definitely do this kind of workflow with ComfyUI.
In every big company high performer means “ships, a lot.”

That’s one of the benefits of a higher job level. You get to claim credit for shipping everything you had a hand in even when your contribution was often little more than organizational presence. Which is to say, being the “face” of the project to upper management.
Show HN: Aurelius – a local-first, distraction-free writing app
Hey HN! I've been working on yet another writing app called Aurelius (https://aurelius.ink). I built Aurelius primarily for myself and I've been writing with it everyday. I thought I'll share this here.

Here are the features:

- Local-first, but can sync data between different browsers or devices without signup. Sync is also end-to-end encrypted.

- Progressive web app and offline functionality.

- Rich-text editing with support for Markdown shortcuts.

- Keyboard shortcuts for most actions in the app.

- Writing sessions timer for tracking your daily writing.

- Focus-mode which hides almost everything except the editor.

- Music player that plays focus music like lofi, chillhop, etc. You can also use a Youtube video or playlist of your choice.

Give it a try and let me know your thoughts.

Thank you!
UK's fertility rate falling faster than any other G7 nation
Twitter @chistev12
They previously threw around a number of around $1M per flight, as mostly fuel costs.

Also, while 150t is the target payload capacity, the current test vehicles are closer to 50t in payload capacity, there are revisions in the pipeline based on data from these test flights which will bring it up to 150t.
> in Japan there is still a strong culture to try to avoid using air conditioning at night

Why?
It's a good idea but probably not easy to implement. SO answers are usually quite neat, like an email. Solving a problem with ChatGPT is more like ... chat. It's hard to turn it into something googlable and Google is how SO gets most of its traffic and utility.
Every single longevity (life extension) supplement or drug or technique that I've ever looked at involves pushing the person DOWN to a baseline

Which means even if they work to give you more years, you will lose fitness.

It is physically impossible to be held down to baseline and yet achieve stress-adaptation from exercise.

Everything from NAD+ supplementation to metformin to fasting, they all push your metabolism and other bodily function to an idle state.

It is useless, you'll live longer but you will be feeble.
I've experience the brain zaps a few times. I didn't mind it, after the first few days it felt like a little burst of energy with the brain zap. Probably was actually something nefarious like nerves dying or something.
I'm still trying to figure out what you can adapt on windows that you can't adapt on a bsd. your reference about desktop - are you referring to background themes, adjusting the mouse speed, etc?

I personally won't be interested in daily driving a bsd until they can get suspend/resume at the very least, but I'm considering trying it out in a VM. my needs are few, and I could always use the host Linux for anything that didn't fit in the VM. I'm quite tempted by the whole "you can understand the whole OS" aspect, and I always took that to mean you can therefore mould it into what you want.

currently I do have a sweet setup with nixos though, it feels almost as an OS-as-an-appliance, on account of it being almost impossible to brick (I somehow managed it once, 8 years ago, but have never re-installed since).
Couldn't watch the livestream on X because it was erroring out. We live in a world where you can't stream a video or Chromecast on X but you can catch a damn rocket...
I would like to see those benchmarks that are being conducted. Care to share a link?

Regardless, there is definitely acknowledgement within the community that some parts of the standard library could use a rethink based on lessons learned in the past decade.

There is already some effort towards this with encoding/json/v2: https://github.com/go-json-experiment/json
The first thing I configure on a new Windows installation is the awful file explorer defaults.
Again, the B100 is only 20% faster than the H200 on average within the same target accuracy. There's nothing revolutionary about this architecture, that's why it's 4nm.

Nvidia drops precision and makes software improvements to sell a new gen. AMD has a lot to improve with software optimization alone, and in a market where there's a shortage of chips, it doesn't need to beat Nvidia, companies will buy what's available.

Production capacity at TSMC is bought up front, AMD and Nvidia are among the biggest customers.
> If you're designing an airgapped system, this is literally the first thing you should be worried about after ensuring that the system is actually airgapped.

And next time if some other airgapped vuln is reported, that will be literally the first thing people should be worried about! God, people are so stupid, if only they would just do literally the first things they should be worried about.
I wish it were built with a very small, minimal core, that was just the TUI with the lisp machine like functionality, scriptable using R7RS scheme instead of elisp. And then everything else is built on top in a more modular fashion, with "battery packs" that install many modular components into one higher level functionality, like an IDE.

I'd like to eventually write something like this, there are a lot of things it would enable that you just can't do with emacs. It would be an emacs killer if implemented well, but it would also open up a whole new set of possibilities.

I don't know how far I'd get just working on it on my free time, which is competing for time with other projects. I'm looking for funding for these sorts of projects. If anyone reading this is an investor and interested in funding this sort of thing, please reach out.
I only use chatgpt, it's good.
Outside of maybe Boeing "who cares..." isn't a valid answer in engineering.
Youtube is an incompetent organization. I've seen it take them nearly 48 hours to restore channels stolen by scammers to their rightful owners (all the while allowing the crypto scammers to continue streaming.)
Crémieux is fantastic, highly recommended.
I suspect the number of people who have personally turned LFS into a customised daily desktop OS are very few and both of them are reading this thread.
FWIW as much as it’s fair to criticize the study design, an all you can eat buffet composed of 30% sugar is more or less par for the average American.

It’s not like we’re out here in the real world with a healthy and nutritionally balanced baseline. Most of us eat quite a bit of trash, so in the context of the real world the findings seem valid enough.
SpaceX's Falcon 9 and Falcon Heavy have already revolutionized the space industry with their reusable first stage boosters and rocket engines. This advance in rocket design has resulted in the cost to launch one kilogram of payload to orbit from approximately $15,000 in the pre-SpaceX era, to around $1,400 with the Falcon Heavy.
This graph shows the incredible impact of SpaceX on the volume of rocket launches, with an exponential rise in recent years:

https://ourworldindata.org/grapher/yearly-number-of-objects-...

With Starship, SpaceX is striving to make rockets fully reusable, which, if they succeed, will transform human civilization by radically reducing launch costs and enabling large-scale space exploration and industry. The kinds of possibilities this opens up include economically viable permanent lunar bases, Mars colonization, and revolutionary industries like asteroid mining.
my friends do say "you're so special".
Ok, that was the first time I heard the phrase ( recreational paranoia ) and I am now lost in a sea of links. Can you elaborate on it? It sounds fascinating to me from context alone.
If you're concerned about managing debt, NIH Federal Credit Union offers solutions such as personal loans, credit cards, and financial wellness programs, like balance transfers and credit monitoring https://www.pissedconsumer.com/company/nih-federal-credit-un.... They also provide personalized support through virtual banking tools and resources for financial health, including webinars and one-on-one consultations. For more details on their services and how they can assist in managing debt, you can check their
You don’t get to be high performing if you’re just closing tickets. High performers add significant value and provide real impact.
A good example is fixing massive technical debt on a service that's either rarely touched or wont be around in a few years. The performance required to do this is impressive, but it adds little business value. It's all relative, high technical performance but low business productivity.
I don’t either. Didn’t mean it that way, sure, interesting point. I could learn that translation layer and I surely tried. But so far it’s been pretty unsuccessful to say the least.
In the age of LLMs, I would prefer to see the same comparison between LLMs in training and usage.
Code with tabs inevitably ends up with X spaces where a tab should be, which goes unnoticed until viewed with a different tab width.
Hey, now people won’t have any reason to click through.
Do you also need a blind study to tell you that jumping out of a plane without a parachute will kill you?
It's a losing battle to try and maintain walled gardens for these corpuses of human-generated text that have become valuable to train LLMs. The horse has probably already bolted.

I see this as a temporary problem however because LLMs are transitional. At some point it won't be necessary to train an LLM on the entirety of Reddit plus everything else ever written because there are obvious limits to statistical models like this and, as a counter point, that's not how humans learn. You may have read hundres of books in your life, maybe even thousands. You haven't read a million. You don't need to.

I find it interesting that this issue (which is theft, to be clear) is being framed as theft from the site or company that "owns" that data, rather than theft from the users who created it. All these user-generated content ("UGC") sites are doomed to eventually fail because their motivations diverge from their users and the endless quest to increase profits inevitably drives users away.

Another issue is how much IP consumption constitutes theft? If an LLM watches every movie ever made, that's probably theft. But how many is too many? Like Apocalypse Now was loosely based on or at least inspired by Heart of Darkness (the novel). Yet you can't accuse a human of "theft" by reading Heart of Darkness.

All art is derivative, as they say.
Well, if the users ask frequent/common questions to ChatGPT and get acceptable answers, is this even a problem? If the volume of duplicate questions decreases, there should be no bad influence on the training data, right?
Reproducibility does make bugs more likely to be fixed, or at least fixable.

Also, games introduce randomness in a controlled way so users don't get frustrated by it appearing in unexpected places. I don't want characters to randomly appear and disappear. It's fine if bullet trajectory varies more randomly as they get further away.
LLMs are much better experience on the "Q side". Sure, there's the occasional hallucination here and there, but QnA sites are not all StackOverflow. Most of them are just content farms for SEO and advertising purposes - meaning, the veracity of the content doesn't matter, as long as it's driving clicks. At this moment, this makes LLMs much more trustworthy.
I'm looking into it to find the latest details!
Clone people using artificial intelligence
"social cost of driving" and "vehicle mile travelled" are two key phrases that will lead you to research on various costs of car travel e.g.

> The air pollution-related damage attributable to driving, therefore, can be estimated at $10.7 billion to $41.6 billion per year – an average of between $93 and $360 per U.S. household per year.
Would be great if I could stream to my Chromecast or AppleTV from X without using airplay streaming my whole browser...
It's very illustrative to look into the history of discovery of laws of motion, as it's quite well documented.

People have an intuitive understanding of motion - we see it literally every day, we throw objects, etc.

And yet it took literally thousands of years since discovery of mathematics (geometry, etc.) to formulate a concept of force, momentum, etc.

Ancient Greek mathematicians could do integration, so they were not lacking mathematical sophistication. And yet their understanding of motion was so primitive:

Aristotle, an extremely smart man, was muttering something about "violent" and "natural" motion: https://en.wikipedia.org/wiki/Newton%27s_laws_of_motion#Anti...

People started to understand the conservation of quantity of motion only in 17th century.

So we have two possibilities:

* everyone until 17th century was dumb af (despite being able to do quite impressive calculations)

* scientific discovery is really a heuristic-driven search process where people try various things until they find a good fit

I.e. millions of people were somehow failing to understand motion for literally thousands of years until they collected enough assertions about motion that they were able to formulate the rule of conservation, test it, and confirm it fits. And only then it became understanding.

You can literally see conservation of momentum on a billiard table: you "violently" hit one ball, it hits other balls and they start to move, but slower, etc. So you really transfer something from one ball to the rest. And yet people could not see it for thousands of years.

What this shows is that there's nothing fundamental about understanding: it's just a sense of familiarity, it is a sense that your model fits well. Under the hood it's all prediction and curve fitting.

We literally have prediction hardware in our brains: cerebellum has specialized cells which can predict, e.g. motion. So people with damaged cerebellum have impaired movement: they still can move, but their movement are not precise. When do you think we find specialized understanding cells in the human brain?