skysight-inc/HackerNews huggingface dataset:
I had a look at the post. It only shows how to tell the Go compiler how to use Zig as the C Compiler.
In our case, what we need is to tell Zig to link the object files created by D.

I've had a look and saw that Zig is still implementing the `ld` command, but there's already a `ld.ldd` command which might work if you know what magical options to use. I've tried to link my D object file but it can't find a whole lot of generated symbols, and a quick search online does not tell me where do I get those symbols from. That's always what happens when I try to do stuff with D that's not well documented.

I tried this (used the dmd -v option to get the linker command):

zig ld.lld -L/Users/me/dlang/dmd-2.109.1/osx/bin/../lib app.o

Output:

```

ld.lld: error: undefined symbol: _d_assert_msg
>>> referenced by myd/source/app.d
>>> app.o:(_D4core8internal5newaa__T6makeAATAyaTiZQoFNaNeHQoiZSQByQBwQBq7AAShell)
>>> referenced by myd/source/app.d
>>> app.o:(_D3std6format5write__T14formattedWriteTSQBm5stdio4File17LockingTextWriterTaTS3app__T9StringMapTiZQnZQDaFNfKQCqMxAaQBmZk)
>>> referenced by myd/source/app.d
>>> app.o:(_D3std6format5write__T14formattedWriteTSQBm5stdio4File17LockingTextWriterTaTS3app__T9StringMapTiZQnZQDaFNfKQCqMxAaQBmZk)
>>> referenced 27 more times

ld.lld: error: undefined symbol: _aaLen
>>> referenced by myd/source/app.d
>>> app.o:(_D4core8internal5newaa__T6makeAATAyaTiZQoFNaNeHQoiZSQByQBwQBq7AAShell)
>>> referenced by myd/source/app.d
>>> app.o:(_D3std6format8internal5write__T15formatValueImplTSQBw5stdio4File17LockingTextWriterTHiHAyaiTaZQClFNfKQCaQuMKxSQEeQEd4spec__T10FormatSpecTaZQpZv)
>>> referenced by myd/source/app.d
>>> app.o:(_D3std6format8internal5write__T15formatValueImplTSQBw5stdio4File17LockingTextWriterTHAyaiTaZQCjFNfKQByQsMKxSQEcQEb4spec__T10FormatSpecTaZQpZv)

ld.lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors)

```

Do you know how to get past that?
Tesla Sales Drop 17% in California
Oh, so Europeans have finally invented air conditioning?

Of course when I was in school we opened the windows to solve this massive issue, but times change I guess. Hopefully they also have an app, for the kids.
In this age of mass misinformation and astroturfing, I guess it would be more "useful" to them now. No one seems to care about the truth these days.
I can imagine better defaults. Assuming the threat vector is malicious programs running in userspace (probably malicious programs in kernel space is game over anyway right?), then you could simply boot into safe mode or something instead of crashlooping.

One of the problems with this outage was that you couldn’t even boot into safe mode without having the bit locker recovery key.
It's essentially true. Look at the battle over the IRS trying to make it easier to file taxes. Republicans are strongly opposed.

If the government websites are too good, a lot of useless middlemen will be out of business.
In the linked article they talk about how Google reverted their crap detector to intentionally feed users low quality results.

But you're still right that there's so much garbage out there. Google had it largely under control though.
CrowdStrike update that caused global outage likely skipped checks
Is the Origin of Chinese Civilization in the North or South?
Friendship and Social Fitness
> Your criterion would suggest the answer of "no" to any of those cases, even though those cover much of the same use cases as flying, and possibly some new, more interesting ones.

Is it a problem though? Their existence are unrelated to how we categorize them.

That matters only in communication. “if everybody agrees” lowers/removes the risk of miscommunication.

If “hovercraft is flying” for you, but not for 50% the world, it makes it somewhat more difficult to communicate.
(Easily solved with some qualifications, but that requires admission the questionability of “hovercraft is flying”)

> you're limiting the definition to that which is familiar, not that which is interesting.

You made an Interesting point - good food for thought.

Counterpoint: It seems natural and useful that only similar things get to use same word.

> And I don't think an AGI must be limited …

Could you expand on why does it matter and what would be impacted by such lenient (or strict) classification?
Huh, I read the whole article and interacted with all the inline examples on my iPhone SE/2.
Interestingly, the OED disagrees with this (quite reasonably sounding) origin theory of lieutenant: https://www.grammarphobia.com/blog/2015/02/lieutenant.html
That is super cool.

A lot of the design work we are doing in louie.ai is the LLM version, where users can talk to / control / extend the system. So more of an OS. But bootstrapping all the way as done here is intense, and proves a lot of flexibility, way more ambitious than we considered. Awesome to see!
> It also turns out that some smart people figured out maths hacks to draw rounded boxes for super cheap which UI peeps love because with this hack boxes can be so round as to appear as circles

Any references to learn more about these hacks?
Probably Safari is at fault.
> Threatening people to make them behave a certain way is actually illegal, even if that threat is legal action

No, its generally not. Every legal demand letter is a threat of legal action intended to produce a desired behavioral outcome in the target. Needless to say, issuing a demand letter is not generally itself illegal.

> Especially if you are trying to stop someone from doing something well within their rights

Threats of either actions which are themselves illegal (prohibited violence) or threats with illegal purposes (suppression of protected rights) are often illegal,but that's a lot narrower than “Threatening people to make them behave a certain way is actually illegal”.
If they're capable of 1950s era urbanism, they're capable of 1950s era agricultural technology. They get enough dollars from tourism and exports to purchase make up for what they don't have just like any other small nation. The are perfectly capable of growing tobacco and sugar. The problem is that the profit from non-cash crops is either too low like staple carbohydrates, or too variable, like fruits and vegetables to incentive farmers in a socialist country.
Does this shield from liability in some instances? Say they were using trench boxes and were still killed- is the company still liable?
Curious as to what was wrong with F-Droid for this to be created?
Because Microsoft has better/more salespeople
You might be interested in at least some aspects of Decker: http://beyondloom.com/decker/
I'd imagine that wrongful death pays out so much money that lawyers will throw themselves at you.
Vatican Apostolic Library Information Technology Center
Yes, but this Z3 analysis is not done at runtime. It's done offline, based on JIT traces. A neural network could, in principal, suggest optimizations in the same way, which an expert would then review for possible inclusion into the Pypy JIT.
"mistakes"

It is often very, very charitable, even disingenuous, to call a lot of accidents the results of mistakes. "Willful negligence" is often a more apt description. Intentionally disgregarding safety in order to boost margins.
It is just a different set of requirements. They don't need to stream Netflix but they need to survive nuclear war. Simpler, lower bandwidth systems are much more "advanced" in this context, and much more repairable on-site.
great, my favorite aspect of society. Paying to get someone or something else's interpretation of raw knowledge that is barred from the public , privy to all their biases and in a black box resistant to peer review.

Yeah, this is definitely going to change the world. I'm not sure if it'll be for the better.
Before fire safety laws, fire escape ladders were made out of wood. If you lost a loved one in the fire, the company would say this was standard industry practice, and normal.

You would get no compensation.
Your username makes me think you're from Japan (in Kyoto), but your comment history puts you more towards USA. Are you a fellow payment industry dev?

well, maybe not fellow anymore, as I left that industry roughly 3 yrs ago ( θ ‿ θ )

As far as I'm aware, Europe, India and the "western" asian countries (Japan, Korea) has a quasi monopoly with visa, but my only industry experience is in the DACH region of Europe. Our numbers were something around 80% visa
I didn't think they'd have to do something to cause it- only allow it to happen under their watch.
People do do it, though. Especially poor people, who might not use their personal computers very often.

Also, many people don't own a separate "personal" computer in the first place. Especially, again, poor people. (I know many people who, if needing to use "a PC" for something, would go to a public library to use the computers there.)

Not every job is a software dev position in the Bay Area, where everyone has enough disposable income to have a pile of old technology laying around. Many jobs for which you might be issued a work laptop still might not pay enough to get you above the poverty line. McDonald's managers are issued work laptops, for instance.

(Also, disregarding economic class for a moment: in the modern day, most people who aren't in tech solve most of their computing problems by owning a smartphone, and so are unlikely to have a full PC at home. But their phone can't do everything, so if they have a work computer they happen to be sat in front of for hours each day — whether one issued to them, or a fixed workstation at work — then they'll default to doing their rare personal "productivity" tasks on that work computer. And yes, this does include updating their CV!)

---

Maybe you can see it more clearly with the case of company cars.

People sometimes don't own any other car (that actually works) until they get issued a company car; so they end up using their company car for everything. (Think especially: tradespeople using their company-logo-branded work box-truck for everything. Where I live, every third vehicle in any parking lot is one of those.)

And people — especially poorer people — also often sell their personal vehicle when they are issued a company car, because this 1. releases them from the need to pay a lease + insurance on that vehicle, and 2. gets them possibly tens of thousands of dollars in a lump sum (that they don't need to immediately reinvest into another car, because they can now rely on the company car.)
I wrote a very simple python script to crush markdown into HTML in the right way. Maybe 200 lines.

I think the writing effort was about similar to the effort it would take to learn some other guy's system, adapting it to my particular requirements.
You don’t want to boot into safe mode with networking enabled if the software that is supposed to detect attacks from the network isn’t running. Safe mode doesn’t protect you from malicious code in userspace, it only “protects” you from faulty drivers. Safe mode is for troubleshooting system components, not for increasing security.

I don’t know the exact reasoning why safe mode requires the BitLocker recovery key, but presumably not doing so would open up an attack vector defeating the BitLocker protection.
> This isn't censorship

a bold assertion. Care to explain what it is, then?
One thing I’ve never understood about “kernel never breaks user space”.. doesn’t that completely atrophy the kernel, preventing it from ever having big rewrites or architectural changes? What if an initial implantation was terrible, and there are 100x performance improvements to be had by doing a breaking change?
I don't know if it will work now, I'm wondering out loud why our court system isn't enough.
True, but then, there is always fdroid for us android users for $foss_cause _respecting_ apps. They are almost always with a ui from two cycles (or even the 90s), but they are totally playable. I use forkyz to solve crosswords daily and play Mindy (A solitaire mastermind clone)
Having that knowledge sounds just as expensive if the operations aren't commutative.
https://www.caida.org/catalog/papers/2003_sapphire/

[SQL] Slammer spread incredibly quickly, even though the vulnerability was patched in the prior year.

> As it began spreading throughout the Internet, it doubled in size every 8.5 seconds. It infected more than 90 percent of vulnerable hosts within 10 minutes.

Worms are not technically viruses, but they can have similar impacts/perform similar tasks on an infected host.
Not up somebody's butt.
GPUs also do not like overdraw, so it's generally good idea to avoid having many transparent elements on top of each other, its also the reason why drawing more triangles vs. transparent texture is generally better.
The Minergie (Swiss) folks probably have a 90 page application guide that goes into those kinds of details: https://www.minergie.com/media/guia_de_aplicacion_latam_v202...
From the link, suggestion to set hostname to `localhost`

That is probably fine, but it makes me feel uneasy. Something has to break if you do that, right?
Probably signed distance fields (SDF).
I'm not sure if you've ever lived in a place where you're not supposed to drink the tap water because it can bring a lot of disease. I think we as humans realized that water carried a lot of disease and in many places started treating water much better to protect our health. To me it seems very logical that we should also treat the air to protect our health from diseases carried in the air.
noted, but it was next door, so I think I'd be a prime suspect.
If you want to prove that an array is never indexed out of bounds in some procedure for an embedded program, you can use Ada with SPARK or use Frama-C to prove it. As far as I know, Rust has no equivalent.

Otherwise, like duped said, using get will return an Option<T>, and so you'd either have to use unreachable!() and panic anyway, or you'd have to propagate the error up the call stack and let it affect all the types of those functions (at which point, what is the caller supposed to do about it?).
There were similar "passport lite" cross border documents in other parts of Yugoslavia, allowing people living in border regions to easily pass the border but limited to maybe 10-20km in another country. These passes were used by farmers who had pieces of land across the border, or even if land was in the same country the closest road might be through border. I think something like that still exists.
Now the question is do I get forbidden because I am from Germany or do I get forbidden because I use Mullvad VPN trying to access privacy.com
Ask HN: How efficient are MLs at storing data?
With MLs for video and audio getting better and better, I had a thought, what if you were to train a model to perfectly replicate 1000 movies.

Would the model be smaller in size than the size of all 1000 together?

I’m sorry if this is a stupid question, I don’t fully understand how these work under the hood, I do have a bit of theory but very little practice.

My curiosity was along the lines of the CDs like “Greatest Hits of X”, similarly (if the model was more efficient on storage) you could have “Greatest Movies and TV Shows of X”.
Khmmm... https://en.m.wikipedia.org/wiki/Operation_Mongoose
Seems like an unnecessary nitpick, which is discouraged in HN. you can argue the opposite way and say artists "discover empirical structure" that resonates with a lot of people. But colloquially we call it an "art style", often named after the "discoverer".
Show HN: 500+ Python Questions Quiz
Compiled 500+ Python questions into a quiz. I'm trying to improve my understanding of Python so this was helpful.

I'll keep refining the questions to make sure it covers all the important topics in Python.

If you come across a question whose answer you doubt, please leave a comment and I'll check it again. Any recommendations or changes, please let me know.

So what's your score?

PS. This was built for Applyre users, who might want to use it for interview prep.
> Perhaps we could give the businesses who violate the law zero interest loans so they don’t feel pressured to do work at bad margins like this and cut corners.

Why do only businesses get kid glove treatment?

I also want zero interest loans for breaking the law.

Let’s give people arrested for being homeless zero interest loans to buy a house. Let’s give people who are arrested for stealing food zero interest loans to put their life back on track?
The Information Diet
Meh, 20 years is probably enough.
> There have been insanely huge successes in socialist countries.

And yet those aren't the countries that people want to go live in.

The evidence speaks for it self. The capitalist countries are the ones with all the wealth, that everyone wants to move to, and the socialist ones are the countries that people want to escape.

If you will notice, we are right now talking on a thread about 10% of the population of cuba, leaving cuba.

> The Soviet Union

The thing that doesn't exist anymore? Some success that was.

> Most capitalist countries are utter failure

And yet, when a capitalist country fails, where do the people in that country want to leave to?

Oh, thats right. They want to go to other capitalist countries.

> the US has a huge issue

And yet, it one of the most desirable places in the world to live in, empirically proven by immigration rates.

> Generally socialism has been quite successfully

And yet the people actually living there still flee. No matter what metric you give, apparently the people living there don't care, because they still want to leave those countries and to move to capitalist countries.
This is a pretty cool project, it's basically a retrofit approach to what in industry is known as "displacement ventilation" or "stratification ventilation". In the US our typical approach is "mixing ventilation" where you try to mix and equalize the air everywhere within a space, then cycle a portion of the air through an air conditioner to get the temperature and humidity to the desired level. This is mechanically intensive, needs big ducts, and has the downside that contaminants in the air tend to get spread everywhere. Displacement ventilation uses the fact that hot and humid air rise, instead of mixing everything together it removes the most stale air at the top of the room and replaces it. Trickier to get right, but quieter and more effective in many cases.

Here's a blog post with illustrations:

https://blog.hoffman-hoffman.com/blog/the-basics-of-displace...
https://archive.is/XC69g
My team spent weeks using log-aggregated metrics to gradually figure out why servers' clocks would go out of whack.

It turned out Docker Swarm made undocumented† use of a UDP port that some VMware product also used, and once in a while they'd cross the streams.

We only figured it out because we put every system event we could find onto a Grafana graph and narrowed down which ones kept happening at the same time.

† I think? It's been a while, might have just been hard to find.
You'd still have to write a proof for verifying semantic equivalence before implementing the optimization so I don't see what the neural network gains you here unless it is actually supplying the proof of correctness along with the optimization.
The point is that if you do do it, it's on you to understand the limitations of using someone else property. Just like the difference between rental vs owned housing.

There are also fairly obvious differences between work-issued computers and all of your other analogies:

1. A car (and presumably the cyberpunk android body) is much more expensive than a computer, so the downside of owning both a personal and a work one is much higher.

2. A chair or a wheel chair doesn't need security monitoring because it's a chair (I guess you could come up with an incredibly convoluted scenario where it would make sense to put GPS tracking in a wheelchair, but come on).

> just buys the person the chair. And then it's the employee's chair.

It's not because there's a law against loaning chairs, it's because the chair is likely customized for a specific person and can't be reused. Or if you're talking about WFH scenarios, they just don't want to bother with return shipping.
Scroll Builds Text Files
Due to its low material and operating costs, it could turn out to be a clever alternative to expensive filter systems and ventilation by shortly wide opening the windows.

This is a neat idea that seems penny smart and pound foolish. For one, the article does not address overall system reliability and maintenance tempo. Given a low material to install cost ratio this is an important factor since repeated re-installation or rework will moot any cost savings from materials.

For two, ejecting the gases that have been expensively conditioned for thermal and humidity properties will drive up operating costs since replacement gasses will be required.

For three, hopefully they carefully plan for where the system exhausts since they have made something that concentrates contaminants as well as it evacuates them. To the extent that it uses tragedy of the commons to get better odds for people indoors by worsening odds for people outside that building, the primary innovation of the system is statistical arbitrage based on a larger outdoor volume.
+1 for mkcert. You can juggle all the openssl dance moves if you want, it’s a decent learning exercise. After you’ve done that once though, and if you only need it for local dev… yeah just use mkcert
I think this prediction underestimates the value of UX. Yes, ChatGPT with the right prompts will make all your legal documents, yes prompting will become easier as LLMs become more mature. But one thing that’s been clear In the past 10 years of Saas is there is always room to be more specific to your use case.

Maybe this prediction is about the level of abstraction then? Like Harvey thinks they need to be between ChatGPT and legal zoom and they don’t?
Tech broligarchs are lining up to support Trump. And Vance is one more link
Off topic but, I am curious, why would people hate the people that produce their food? Seems like a footgun position to take.
Implement a new API for the better route, isolate the terrible code as much as possible, notify the users, deprecate it, and remove it or move it to a userspace shim after enough years had past and almost everyone was off it?
What is it called when humans interact with a model through lengthy exchanges (mostly humans correcting the model’s responses to a posed question to the model, mostly through chat and labeling each statement by the model as correct or not), and then all of that text (possibly with some editing) is fed to another model to train that higher model?

Does this have a specific name?
Stremio OS Is Now Available for Raspberry Pi 5 and 4
One of the issues here is that future-focused discussions often lead to wild speculation because we don’t know the future. Also, there’s often too much confidence in people’s preferred predictions (skeptical or optimistic) and it would be less heated if we admitted that we don’t know how things will look even a couple of years out, and alternative scenarios are reasonable.

So I think you’re right, it’s not enlightening. Criticism of overconfident predictions won’t be enlightening if you already believe that they’re overconfident and the future is uncertain. Conversations might be more interesting if not so focused on bad arguments of the other side.

But perhaps such criticism is still useful. How else do you deflate excessive hype or skepticism?
This is not true. The idea of constant progress is a relatively recent cultural invention.

Prior to the great acceleration changes were slow enough that the world seemed static over a lifetime. If it wasn't, the changes were almost as likely to be negative as positive.

It's also entirely possible that we are in a transitional period. That in hindsight the great acceleration will be the first half of a sigmoid function.

https://en.m.wikipedia.org/wiki/Great_Acceleration