skysight-inc/HackerNews huggingface dataset:
Yeah, this is wildly optimistic.

From personal experience, I'm skeptical of the quantity and especially quality of published documentation available, the completeness of that documentation, the degree to which it both recognizes and covers all the relevant edge cases, etc. Even Apple, which used to be quite good at that kind of thing, has increasingly effectively referred developers to their WWDC videos. I'm also skeptical of the ability of the LLMs to ingest and properly synthesize that documentation - I'm willing to bet the answers from SO and Reddit are doing more heavy lifting on shaping the LLM's "answers" than you're hoping here.

There is nothing in my couple decades of programming or experience with LLMs that suggests to me that published documentation is going to be sufficient to let an LLM produce sufficient quality output without human synthesis somehwere in the loop.
This link I found seems to corroborate

http://www.drdobbs.com/blog/archives/2010/09/forth_love_if_h...

but the Wayback Machine is down so I can't check.
That is only true for trivial questions.

I've answered dozens of questions on stackoverflow.com with tags like SIMD, SSE, AVX, NEON. Only a minority of these asked for a single SIMD instruction which does something specific. Usually people ask how to use the complete instruction set to accomplish something higher level.

Documentation alone doesn't answer questions like that, you need an expert who actually used that stuff.
I would just define `#let eqref(target) = "(" + ref(target, supplement: none) + ")"` and then use it as in "from #eqref(<eq-xy>) we see that..".

You can probably do that with a function given as supplement but it looks a bit involved, I think you'd have to do something like in this example: https://typst.app/docs/reference/model/ref/#customization

(I think the reference system is an area where things can be improved to main some common use cases simpler.)
Here’s an example of a classic real-world self-referential initializer.

In BSD `<sys/queue.h>` there are a bunch of macros for various kinds of linked list.

man: https://man.freebsd.org/cgi/man.cgi?query=STAILQ_HEAD_INIT

src: https://cgit.freebsd.org/src/tree/sys/sys/queue.h

The STAILQ macros define a singly-linked list where the head is a pair of pointers (simplified slightly):

struct stailq_head {
struct stailq_elem *stqh_first;
struct stailq_elem **stqh_last;
}

• a pointer to the first element, which is NULL when the list is empty

• a pointer to the NULL pointer that terminates the list

The last pointer allows fast appends, O(1) instead of O(n).

When you initialize the head, the last pointer needs to point to the first pointer. The `STAILQ_HEAD_INITIALIZER()` macro does basically:

struct stailq_head head = {
NULL,
&head.stqh_first,
};

There, `head` refers to itself!

To append an element, the `STAILQ_INSERT_TAIL()` macro does basically:

elem->next = NULL;
*head.sthq_last = elem;
head.sthq_last = &elem->next;

So normally the last pointer points into an element; the last pointer points into the head only in an empty list.
On the other hand, I find it to be a fatal flaw that LLMs can’t say, “Hey you probably don’t actually want to do it that way.”
I'm a native English speaker. When I started at my company it was English-only (at least as far as I saw). Over the past several years we've been doing more work with Europe and around the globe. Even more recently, people in Europe have been given leadership position on various projects that impact the US. It could be my own English-bias talking, but I think things would be going more smoothly if everything was done in a single language, English being the logical choice. Everyone working on the projects and at the company speaks English (as a first or second language), and I have occasionally received emails in French. Some of these are automated system messages, and whoever set them up wasn't thinking about the global audience. A vast majority of employees don't speak French, so most people lose the context when this happens. That's a problem. Even in our offices in India, I'm told that they use English in the office, because that's the only common language they all share, since there are so many languages and dialects in India; there isn't one local languages they can count on. English does seem to be the lingua franca for the world, especially in technology, at this point. This seems to be the case online, as I've read from various people over the years, and I also see it when I travel. One person will speak German, another Korean, and they both switch to English so they can speak to each other to ask directions or whatever it may be.
The Silver Bullet – How contentious divorce works in modern America
It's odd how a statement like "I've done my own research, and..." has become an indication that that person is immediately going to make a claim backed by no one else's research.
I wonder what HIV tests cost.

Also, if I were dying of organ failure, getting (treatable) HIV to get a transplant might be a good deal. This is not 1988. HIV is treatable today.

Note: There are 3 kinds of illness: curable, treatable, and terminal.

Curable illnesses can (generally) be cured.

Treatable illnesses will be with the patient for the rest of their life, but are treatable so the patient does not have to die from them.

Terminal illnesses kill the patient.
Cockroaches in Space: Waste Processing and a Healthy Protein Source Combined
There is some SciFi story about civilization collapsing and the survivors worrying that the sky will fall on them hidden in there.
Not my experience. IRC was 'toxic' since forever, but that't not a toxicity, that's inability to read emotion through transactional plan text. Once one account that in the mental model IRC is just fine.
I'm sure if they weren't incentivised by the certainty of creating a legal minefield in the future then this technology would never have been created and we'd be sitting at home banging sticks together.
Nope. The average tech worker would be screaming about these working conditions being unreasonable for any human by the end of Day 1.

I’m being partially sarcastic, but partially honest in that tech workers are often ludicrously blind to how good they have it.
Haters hate!

https://news.ycombinator.com/item?id=41827941
This is a pretty fun game. Not so easy. Good job to the creator for having added some mechanics that make it work.
I was watching a youtube stream with tens of thousands of viewers and 20 seconds before launch it switched to an AI generated video of Elon on stage talking about his "crypto currency program". It was so well executed and generated, it nearly felt real.

The violent anger I felt and still feel for scammers has ruined my day.
Maybe they don't need to model the fluid dynamics, they just need to detect the mass movement / acceleration forces caused by it, and use those sensor inputs to inform a picture that's fed into their correction thursting.

Sort of like how you can balance a few pitchers of beer on a tray in your hand by remaining aware of the weight, even when people remove one! hahaha :)
Wow, I knew they were going to try to catch the booster this time but I really didn’t think it was going to work on the first try, I was just hoping they didn’t destroy the launch tower in the process. Congrats to the SpaceX team, absolutely amazing! Hope y’all are celebrating
Rethinking Infrastructure: Engineers' Role in Addressing Basic Needs
Hi HN! This is me publishing some of my recent thoughts in relation to infra (tech as well as public) and how that intersects with economics.

The article (playlist) itself was recorded via the athens interface - which is something I'm building! Keen to hear your thoughts...
https://archive.is/GkBGi
I'm not a mouse.
The point of my comment was that it would really hurt, coming to these seemingly obvious conclusions after your friends or coworkers had already bailed. I just assume the severance offer is no longer in effect.
Tellingly, that very bundling is how Sundar got into the spotlight at Google.
The thing that impresses me even more is the kinds of cameras they mount on the rocket. How do they shield it from all the heat and debris with a material that's optically clear?
Integer addition algorithm could reduce energy needs of AI by 95%
The last part is a very strong point, unfortunately.
The German one is 4550€

https://www.bahn.de/angebot/bahncard/bahncard100

Quite comparable. The ticket discussed in the article in contrast only includes local transportation but no high speed rail.
> 15 billion from petrol and 18.2 billion from diesel alone

Not all petrol or diesel is consumed by motor vehicles that (primarily) drive on the road.
Highlights in a YouTube video:

https://youtu.be/b28zbsnk-48?si=JamDRMuN07oWlcZi
There's definately a bit of an uncanny valley in the land of top tier diffusion models. A generative video of someone smiling is way more likely to illicit this response for me than a generative image or single frame. It definately has something to do with the movement.
Nah that’s too recent

This is all due to scientists having to obscure what they are doing to ameliorate the “don’t clone animals or build nuclear reactors” types.

See the majority on the planet are intolerant religious groups. God has a natural plan types. We’re not to muck with it and to get jobs working for the rich God hand picked.

So we had to invent jobs synthesizing drugs to get around stupid religion and the politics the religious controlled. And those innumerate politicians saw it as a way to make up a political agenda.

There’s a whole lot going on in tech and science that’s just dumb jobs role play. Most of it just normalizing the math of relativity as physical science has bounded human story. Whole lot of people freaking out at that.

System is falling apart with generational churn as experience is not evenly distributed; new people never experienced the past highs and feel the demands to not just use shrooms is corny af since no such ban really exists, it was just social paranoia of a prior generation.
Venn Diagram Stained Glass Window at Cambridge University
> set high enough that around 10% of spots everywhere in the city are free at any given time, so that people who need parking can generally find it conveniently nearby to where they're going

OTOH, if there is always that much space available (and presumably there didn't used to be before the price hikes) then it is evidence that a lot of people have chosen to go elsewhere because parking became too expensive.

Can the location compete with that "elsewhere"? If it is a unique location with unique reasons to visit, probably yes. But if it is the typical old downtown with stores competing with the strip mall with similar stores but free parking, probably not.

I've seen the depressing cycle of multiple vibrant downtown cores become abandoned after parking meters came in. I very much prefer a strong active downtown core even if finding parking is a pain, to one that is mostly all boarded up and abandoned but there's plenty of paid parking.
I like the message of the article overall. And I am skeptical when “liberation” and “freedom” are used when not clearly defined because where I am from (US) these words are thrown around flippantly. If I follow this approach of quietness and attention, will I be free from hunger (ie have food)? Free from fear (eg security from violence)? No, clearly not. There are other freedoms.

Also, a left out item that we have direct access to sense, manipulation, cultivation: our bodies.
Shuttle itself was refurbishable, but not rapidly re-usable. It was also incredibly expensive to build and refurbish. A shuttle launch also utilized boosters that were not re-usable.

Starship is supposed to be (and clearly well on the way to being) fully rapidly re-usable. That means all stages (in this case two) are re-usable, and that the capital and time required to get either stage flight ready again after a flight should be minimal.

Said another way – it is cheaper for SpaceX to build an entirely new Starship + Booster than it was to refurbish a Shuttle between flights, by a factor of about 4x ($90M for a Starship+Booster / $400m for Shuttle refurb).
Imagine telling someone in 2015 that in 2024 almost as many people would choose to erase Twitter from existence than LinkedIn.
that's the point: sometimes there is no tl;dr.
AI companies are already paying humans to produce new data to train on and will continue to do that. There's also additional modalities -- they've already added text, video, and audio, and there's probably more possible. Right now almost all the content being fed into these AIs is stuff that humans can sense and understand, but why does it have to limit itself to that? There's probably all kinds of data types it could train on that could give it more knowledge about the world.

Even limiting yourself to code generation, there are going to be a lot of software developers employed to write or generate code examples and documentation just for AIs to ingest.

I think eventually AIs will begin coding in programming languages that are designed for AI to understand and work with and not for people to understand.
Generating a sitemap seems like a good use case.
published 0.3 version
pnpm install -g @tzador/x.md

- better --help messages with or without command
- ## level 2 headers are used
- the temp file is created in current folder, like that importing npm modules from current project works
"Addition is All You Need for Energy-efficient Language Models" https://arxiv.org/abs/2410.00907
Do we know how much more efficient/cheaper landing by booster catch is compared to landing on a platform?
Community covers this in "Remedial Chaos Theory"

https://www.youtube.com/watch?v=yS7eyAg13HM&list=PLzPhBo3i-o...
I agree that not being fully declarative is okay. But lots of pure functions are written in languages like Python and C#. “Fully-imperative, zero-declarative” seems like a bit of an exaggeration?

(I’m generally of the opinion that both laziness and backtracking are bad defaults for general-purpose programming, but they’re handy when you need them.)
Same. We have a an org. that is still on version 6 because of this. Never again.
“Shit rolls downhill” is different in plumbing. Much more literal. You might be standing in some. You might have to stick your hand in some.

A lot of people just aren’t ready for that kind of work.
It’s hard to imagine this is the only way to achieve this. I have no background here, but there’s got to be a faster, cheaper way that then can be scaled across the 3M abandoned sites in the US. Next, do the rest of the world.
I spent 2 semesters covering controls and I barely felt like I learned anything.
Interesting food for thought. I get skeptical when this gets to explanations, especially when it veers off into culture war shit which I firmly believe is mostly irrelevant.

Fertiiity falls in cities globally regardless of ideology. It falls in “woke” cities and in Islamic theocracies and in very Catholic Poland and in communist dictatorships. It falls in cities regardless of race or culture. Changing the ideology will have no effect or there would be cities in the world that defy the trend.

One first principles idea that is mentioned is that cities are physically unfriendly to large families due to plain old space constraints. Add to that the fact that urban real estate tends to be subject to a “law of rent” effect that makes stable living arrangements hard to get and even harder for large families. If you ask younger people why they aren’t having kids real estate cost is high on the list.

I think it makes sense to look for others. A lot of “nudges” and inconveniences can have a large cumulative net effect.

It’s also worth asking if humans might be prudent predators. We might have an instinctive reduction in fertility and related drives when we see a lot of humans around, since continuing to breed heavily in that case can in a natural environment lead to a boom bust cycle that can cause extinction. This seems fairly likely to me.

One boring answer is that if this is a civilization survival problem we may have to do what we do in other cases where automated market and social mechanisms don’t solve problems: we may have to subsidize reproduction. We may have to basically pay people to have at least two or three kids.

An answer like that doesn’t get clicks and doesn’t feed into anyone’s culture war crusade but it could work.

Another possibility is to strongly push remote work and decentralization of industries with things like tax incentives. Maybe too much urban centralization is a death trap. Easy sell for me. Unfortunately that is now a culture war issue with the same people (the right) freaking out about birth rates being the same people calling for more work hours and ending remote work.

The right seems to believe this is a problem but is unwilling to do anything about it that doesn’t place the entire burden for addressing the problem on women and only women. I suppose that is getting political but it seems flatly true if you look at what’s being pushed and what isn’t.
> I have no background here, but [...]

Indeed
In some cases, the model will be lighter. There is no need for 14M parameters for physics simulations, and there's a lot of promising work in that area.
> actuality all roulette tables have imperfections such that certain numbers almost always get hit more than others; even certain colors, under extraordinary circumstances

Seems unlikely these imperfections are enough to shift it significantly from 1/38, based on both the variation in the geometry of roulette tables that's small enough to be non-obvious being tiny in comparison with the variation in croupier action, and the likelihood of casinos noticing any very long run deviation in the size of their edge (which is contingent upon customers hitting the zero pocket(s) with a certain frequency)
Are you saying that because journalism is trash, that AI trash is okay?
It's not just cheaper, it's preserving capacity. Every pound of landing gear you carry has to be offset with fuel to lift it, and then that fuel has to have fuel to lift it and on and on.
i also live in germany and its crazy. we are one to of the most developed country in the world and our train suck that hard that beeing stuck in traffic is way more pleasant and faster then beeing stuck somewhere for hours because of die bahn.

and that’s frequent. i did have to take the train for 6 months with 1 change of train and it was completely full all the time and late half the time so a missed the other train. its not all trains but some are freaking late all the time. especially those between frankfort and stuttgart.

there is a talk from daniel kriesel on youtube called bahn mining. very worth it

edit:// i use the 49 ticket because it is nice to use trams and buses in towns.
Ask HN: How should I learn Rust for Tauri development?
Hi hackers. I'm a web developer and want to use Tauri (https://tauri.app/). But Rust intimidates me a bit.

I'd like to ask, as an experienced web developer, how can I learn Rust to the extent that I can use Tauri to develop native applications?
With GPT 4o I had some success pointing it to the current documentation of projects I needed and had it giving me current and actual answers.

Like "Help me to do this and that and use this list of internet resources to answer my questions"
Thank you! Appreciate the feedback.

Your point regarding the game being lame is fair. Though as you probably realized as well, the intent wasn't to make the most fun game, but to get people to think about the animal industry.

I could try making it more of a game however I expect the message won't be as clear.
There's a proof of concept here:
https://sinrega.org/2024-03-06-enabling-containers-gpu-macos...
It doesn’t conflate anything though. It points to exactly that as a main difference (along with comparative functional neuroanatomy).

It’s helpful to realize the ways in which we do work the same way as AI, because it gives us perspective unto ourselves.

(I don’t follow regarding your true and false statement, and I don’t share your apparent pessimism about the fundamental limits of AI.)
???

Wait, so what's the solution?
I worked when I was a teenager digging a 6 foot pit under a house, that was located next to a stream. Almost no visibility, pit filling with water as you dig, almost no room to shovel dirt out. I also worked on the 12th story of scaffolding grinding out mortar joints on bell towers.

I have little respect for when people complain that just coming into an office will affect their mental health outcomes.
As a Danish person the most annoying thing about the American culture war is how it spreads to here. Nowhere near the scale, we still absolutely ridicule people who’d believe in most of the nonsense so that keeps it down. But it’s still here. I think what annoys me the most about it is how a lot of the bogus is very specifically “American”. When Qanon was a thing it was also a thing here. It’s so disappointing that our tinfoil hatters aren’t coming up with their own bogus about our own elite. If Obama was/is a lizard person, then why wouldn’t our Queen (at the time we have a King now) be a Lizard? We have our own rich elites, is Lars Larsen really dead or is he leading a secret shadow government?

I do agree that the “reality vs fiction” battle, which has been raging for years now will get absolutely insane with AI created lies. I don’t think it’ll really continue to be that much of a battle though. We’re already living in a world where people have extremely different perceptions of reality, and it’ll probably be hard to teach critical thinking to the people who are already believing the bogus.
I'm of the mind that if we had the best in the field educating the next generations and compensated them well that we would end up with better qualified graduates. It seems like this would be the result at all levels of education, really.

In America we are doing the opposite, and then wondering why the results are sub optimal.
I would love to have even met my grandfathers, let alone have them be alive, let further alone receive emails from them.
One approach is you commit the change with the added text. This diff will clearly show the change.

Then you rewrap and commit that, with a comment "rewrap" so the reader knows there is no material change.
Well, we know we'll have reached AGI when LLM says "this chat has been marked as duplicate"
Do you? You have knowledge that the problem is literally unsolvable any other way?
> more modern on Linux namely firewall, security, containers / virtualization

I disagree. FreeBSD has pf which is the superior firewall (as does OpenBSD and OSX). FreeBSD has jails which are the superior containers, and bhyve for virtualization (also ported to OSX as xhyve) which is wonderful because it doesn't support any sort of legacy devices like floppy disks which have lead to security vulns in qemu. In terms of security, since you used the term "BSD" I am going to include OpenBSD in this comparison, which is the obvious champion of security.

> As for ZFS I've been using it on Ubuntu on my NAS which is 10 years old with 0 issues, never had a single issue.

That's because Canonical decided to ignore the license issues and bundle ZFS with Linux. Every other distro honors the license: https://ubuntu.com/blog/zfs-licensing-and-linux
Judging from the releases page on Github, Typst has been in the public since May 2023. You can hardly expect it to catch up with decades of LaTeX packages in that time.
The tiles are very similar; the attachment system is very different (a big part of why Shuttle's were a pain to maintain) and Starship's simple shape means most of the tiles are the same (the ridiculous number of SKUs was another factor in Shuttle TPS costs).
Video Games Are a Key Battleground in the Propaganda War
> The odds of there being something rather than nothing are absolutely zero

And how did you came up with that? Evidence suggests the contrary.
The best way to deal with slander, malice and prejudice is not to swallow your anger, but to fuck it off.