skysight-inc/HackerNews huggingface dataset:
This is in direct contradiction to what uecker says. Can you back up your claim -- for both C and C++? Putting your code in godbolt with -O3 did not remove the print statement for me in either C or C++. But I didn't experiment with different compilers or compiler flags, or more complicated program constructions.

https://godbolt.org/z/8nbbd3jPW

I've often said that I've never noticed any surprising consequences from UB personally. I know I'm on thin ice here and running risk of looking very ignorant. There are a lot of blogposts and comments that spread what seems like FUD from my tiny personal lookout. It just seems hard to come across measureable evidence of actual miscompilations happening in the wild that show crazy unpredictable behaviour -- I would really like to have some of it to even be able to start tallying the practical impact.

And disregarding whatever formulations there are in the standard -- I think we can all agree that insofar compilers don't already do this, they should be fixed to reject programs with an error message should they be able to prove UB statically -- instead of silently producing something else or acting like the code wouldn't exist.

Is there an error in my logic -- is there a reason why this shouldn't be practically possible for compilers to do, just based on how UB is defined? With all the flaws that C has, UB seems like a relatively minor one to me in practice.

Another example: https://godbolt.org/z/b5j99enTn

This is an adaption from the Raymond Chen post, and it seems to actually compile to a "return 1" when compiling with C++ (not with C), at least with the settings I tried. And even the "return 1" for me is understandable given that we actually hit a bug and there are no observeable side-effects before the UB happens. (But again, the compiler should instead be so friendly and emit a diagnostic about what it's doing here, or better return an error).

Un-comment the printf statement and you'll see that the code totally changes. The printf actually happens now. So again, what uecker says about observable effects seems to apply.
Mostly urban density ideas were incompatible with green space in the decades prior. The more you want to fit people to "lower" rent, the less you can allocate for grass or trees.
wGrep provides a grep-like to search for text patterns on web pages recursively.

Similarly, wFind provides a find-like way to recursively search for web locations across a hyerarchy.

As of the current support, the assumption is that points in the hyerarchy are linked with hypertext links inside web pages.
I think the takeaway from your comment is that you really do not understand the sheer scale of volume of changes done by +100k engineers, their heavy reliance on tools that do cluster-based testing (not local dev machine) and the tens of thousands of tools that perform auto-commits.

It’s a lot easier to shit on a big corp. Intellectually lazy, too.
hard to have an efficient VHF antenna using traditional designs

Smartphones a lot* of antennas, but most target 1/10th the wavelength of FM radio.
Or, thinking out of the box (sic), you could have zero dish washers, a decent sink and a draining rack.

Much more flexible.

ie the way to fix the problems with dishwashers is not to get another one, but to get rid of the one you have :-)
Git is a tool to diff code. Github host git repositories.

You are using Github to store data, not code.
I'm afraid the same is true of sugar, cigarettes, alcohol, fast food etc.
Site and brand looks amazing and it's like something that really can compete with AE. Best of the lucks and I hope you will make it open source some day and make it work on Firefox :D
Zero-knowledge cryptography frequently deals with polynomials of degree 2^20 - 2^27.
The main use case of url shorteners is tracking and being able to block spam urls.
Mostly better, still awful.
The point is simply that European nations are currently gifting a lot of tax payer money to Ukraine to support the Ukrainians to keep their independence.

There would've been countless ways to mitigate the risks of the invasion, they choose not to and now even badmouth the nations literally gifting them money.

This is at a level of homeowners not insuring their homes and then complain that the state took a while to rebuild their homes free of charge.
thanks for the "capacitance hat" search term. from googling it looks like this hat is electrically connected to the antenna? In my case if the "cap" touches the copper wire of the antenna - signal strength decreased. Only when I kept the cap close but not touching the antenna it performed well.
Amazon's $100B Investment in AI and Data Centers
Wow looks cool. Now if only it could be used in Firefox.
And yeah I know it doesn't have some chrome-only things. But afaik that's mostly because google/chrome does what ever they want, and there is no such thing as standards anymore apparently.
"I just searched for jobs that match my skills, and you were one of them" also sounds fair enough to me.

However, when it comes to choosing between a candidate who scrambles for anything and someone who has at least some interest or knowledge of the company's business, the company will always choose the latter, and they will be right, and you would do the same in their place. If you force yourself to lie to get into the latter category, that's on you, not on them.
Combine that with electron and auto update everything

I've seen dev include scripts from templates when the app was for banks internal users and intranet only. They are clueless
To be fair to Spirit, the didn't forget to put the bolts in - that was the idiots at Boeing sidestepping procedures.

Spirit are the idiots who can't drill holes properly.
> No because there isn’t another supplier you can easily switch to

You listed three factors. The first two, ceteris paribus, increase buyer bargaining power; the last does not. That doesn’t change because in this situation the last overpowered the first two.

By analogy, shape, size and camber contribute to a wing’s stall speed. If a wing has the wrong camber, that doesn’t negate that all three are components. (And that wing, in turn, doesn’t disprove flight.)

> Why would you outsource building a plane wing? They are not standardized but different for each plane

This is true for a lot of specialised manufacturing, e.g. TSMC and Foxconn. Varied lines is not an argument against specialisation.

> they are huge so you can’t exactly build retoolable conveyer belt production line

The first moveable assembly line built ships at the Venetian Arsenale. Size is not an argument against specialisation.

> only reason to do this is to safe on labor costs and because you don’t want the hassle of doing it yourself

Not true for Spirit. In that case, it was labor complexity and capital costs.

> primitive MBA thinking

Shanahan, Spirit’s CEO, was an engineer before MBA.
Well, yes, they do, for instance later Civilizations even provide multiple kinds of conditions for winning the game ! (Though in most playthroughs, the game will be clearly won or lost way before the endgame, especially in SP you often just declare the game 'won' because it's clear nobody will be able to catch up any more, and "shooting fish in a barrel" is only fun the first few times.)

Sandbox doesn't mean no end goal(s), though you typically get the option to continue playing past the end goal(s).
Streetview shows this very nicely for Mexico City. I wonder if having so many trees in the city would make chopping down of few trees for some new public development less frowned upon by residents?
I'm also against chopping down trees - but sometimes tree protection turns into a pretext for NIMBYism, especially if it's against projects that are also good for the environment, such as public transport (felling 189 trees for a bus lane sounds like a lot, but if the trees shown in this photo https://proarbmagazine.com/controversial-sheffield-bus-lane-... are representative, those look more like shrubs)
Yes, this article practically begs for examples, but none are forthcoming.
There is no evidence of children being depressed for lack of social media exposure. The opposite is not true.

I'm in your same situation but the previous sentence helps to stand my ground.
> I think you're thinking of the BBC.

That's not quite right. You don't need a TV License if you're in possession of a TV.

You do, however, require one if you watch TV as it is being broadcast, utilise BBC iPlayer (their online catch-up service), or consume TV via satellite / terrestrial receiver equipment[0].

Consuming catch-up TV (e.g. My5, Channel 4, etc.) does not require the purchase of a TV License, nor does Netflix or YouTube.

The "Enforcement Officers" (who pay you a visit if you cancel, and try to intimidate you) tend to play into misconceptions regarding how the law works, so it's best to be equipped with knowledge before cancelling to avoid being tricked.

[0]: https://www.tvlicensing.co.uk/check-if-you-need-one
I think the clarification is good, probably the amount of optimizations that are prevented by treating volatile and atomics as UB barriers is limited, but as your example show, a lot of very surprising transformations are still allowed.

Unfortunately I don't think there is a good fix for that.
Oops, I googled it and you’re right.
They run cooled/heated water through them, the idea being that temperature can trigger / lengthen certain phases of sleep. Think getting into a warm bed that gets colder as you go into deep sleep, and then when the night is done warms up again for wakeup. In my case, it seems to work really well, but I have the same resistance/frustration with the ongoing subscription.
Have you considered a mattress topper?
Turns out there is another form of visual programming called Spatial Programming https://www.youtube.com/watch?v=eQgxFuw8f1U
Depends, people keep saying stuff about “Europe” as if it’s some single monolithic place.

In any case very few people live in old town houses built prior to the late 19th century (in those places have their own issues) and there was plenty of car centric development during the 1950s and subsequent decades.
This seems like whataboutism. Yes, it's possible to improve one's parenting in a variety of ways. "Not paying hundreds of dollars for a phone" is one of the easiest.
Based on the answers in this thread it seems like there's a large chunk of people for whom the "apart from money" is not implied. And I think that's what TFA is in support of any way. Neurotypical people might understand it like that, but a large chunk of developers might not be neurotypical and don't feel like, or don't have the capacity for expending energy into finding a socially acceptable answer.
Wow, this looks really amazing! Must've been a lot of work.
They're selling prams with tablet/phone holders now, so the kids can learn to swipe before they can walk or even hold up a tablet. Better start as early as possible with "digital skills" I guess.
Show HN: The World Wide Scroll v0.5.0
So… What are the features vital that only available in Chrome?
The FAIR Guiding Principles for scientific data management and stewardship
Yeah, I got a flyer about it in the post recently.

Seems like a great idea, I seldom post anything, but when I do it's a pain to have to go buy stamps.

It's a bit stingy though that they are charging so much more for a digital stamp.
This is a really good find.

One thing which (as an independant person, who isn't doing any of the work!) is it often feels like in order to 'win', people are expected to find a full chain which gives them remote access, rather than just finding one issue, and getting it fixed / getting paid for it.

It feels to me like finding a single hole should be sufficient -- one memory corruption, one sandbox escape. Maybe at the moment there are just too many little issues, that you need a full end-to-end hack to really convince people to take you seriously, or pay out bounties?
But the shareholders collectively outrank the company management in a public company. So it is their failure as well, and so they have to take the L on this too.
Cool. Checking it out.

For those looking for more options, Dub[1] is a matured open-source[2] link shortener with Analytics.

For not-so-large volumes of links, say for friends-family, and the occasional public links, you can run something off Github Pages[3] with their built-in Jekyll + Redirect-From Plugin[4]. If you do not want to, you do not even need to have the code run locally, just edit on Github. I run one to easily share links for the family and relatives (photos, that document link, along with the Rick-Roll Video).

Tip: If one wants to run an indie or personal or family/friends shortlink for easy sharing, try to have it on your own domain. This allowed me to moved between tools that powers it.

1. https://dub.co

2. https://github.com/dubinc/dub

3. https://pages.github.com

4. https://github.com/jekyll/jekyll-redirect-from
Exactly, this is why understanding fluid dynamics is so difficult. You can't look at some physical laws and assume that the right hand side "causes" the left hand side. They all represent relations and it so happens that the fluid configuration that fulfill all the relations (and that the world adopts) is the one that causes lift. Just trying to talk about cause and effect is a misunderstanding.
And that’s the point of fine tuning models.

Still good to see someone walk through their fine tuning process, with a mix of hosted and local options.
The intersection of lots of money and moron is where most product-market fit exists. It also happens to be a large addressable market.
Great idea and the product looks great. I looked everywhere for a suitable substitute for AE and there was none.
I used to look at my phone all the time when commuting(by MRT), it was meaningless scrolls and short videos so I got bored quickly, but I didn't know what else I could do on my way to work, until I found reading books interesting, I wasn't really a book person ever since I was a kid, but right now it feels good to read books while putting on my favorite music on the MRT
You missed the point again somehow. I give up.
When SOX compliance became a thing (remember Sarbannes-Oxley?), many moons ago, I was able to send EY consultants away during their audit for Unix controls, just by showing them that all our (Autodesk Unix team) configs were in SVN, logged, with authors and full change control.
The Windows team had to spend months figuring out something that was not even remotely close to control or auditability.
Frankly, I just assumed that it was the std practice today and I am surprised people are still not doing it.
> It's clear we can't just leave everything to the free market

We definitely aren't doing that. But these services are enormously hard to get right, work really well, and are entirely opt-in. You're critiquing luxury services, which isn't a strong need for regulation.
Not really.

People who track link usage use links to a tracking service which redirects to the target, or embeds tracking metadata in the URL. You could have a tracker which produces shortened links, or try to hide your tracking metadata by putting the already tracked link through a shortener, but that's all without consequence as a shortened URL looks no less suspicious than a URL with kilobytes of metadata. I suppose some trackers might try to (mis)brand themselves more positively as shorteners though.

Nothing about a shortener helps you block spam URLs - quite the contrary, they tend to be used to hide spam URLs.

The main legitimate use-case I can think of for shortened URLs are those used in advertisements or manuals, where the user might need to type it manually.
It is more likely that by 2027 fairy tale about solid state batteries just around the corner will be still going strong.
> Problem: When linking dynamically, there are a myriad of different .dlls required to run the app, totaling over 40MB.

Is 40MB a lot nowadays? Eg the argocd cli is 155MB, and that's just a relatively simple cli app that as far as I know just calls a remote api.

Welcome to bloatworld I guess.
> The one-sided pattern matching seems to be a peculiarity of Elixir.

And Erlang. And Haskell. And OCaml. And F#. And...

As far as I understand, only Prolog has unification (out of more-or-less used/known languages). And in languages that require (rather awkward and verbose) workarounds for this functionality, it's hard to see the immediate value of unification.
No. It’s not my language, but it flows fine. The tables are a bit tedious, but they actually scroll and are not cut off or squeezed like at other websites.

Has anyone seen a good solution to tables on mobile?
Why would the internet be dead? Like, you are using it to read about it right now?

>so many problems
Such as? I can only think of the centralisation of rendering engines and website visits, both that emerged out of freedom and can be improved through local governance
There are a lot of species that may be misinterpreted as a shrub, i.e. a Hazel tree https://www.woodlandtrust.org.uk/trees-woods-and-wildlife/br... is dense, and forms many smaller straighter branches shooting up in parallel... could easily be mistaken as a shrub as this next pic shows https://cotswoldtrees.com/hazel-corylus-avellana/ .

Still a tree though, and all trees are good trees.
The cloud isn't the right solution for everything, but I've been migrating infrastructure from on-prem to the cloud for ~10 years and it's saved money, simplified processes, and improved performance in every single case. I've also done a lot of work rearchitecting cloud infrastructure with the same effects.

It all comes down to architecture and design. Many applications aren't designed for the cloud, and of course those systems are costly and painful to run in the cloud.
The implementation can assume that the program does not perpetrate undefined behavior (other than undefined behavior which the implementation itself defines as a documented extension).

The only way the program can avoid perpetrating undefined behavior in the statement "x = x / 0" is if it does not execute that statement.

Thus, to assume that the program does not invoke undefined behavior is tantamount to assuming that the program does not execute "x = x / 0".

But "x = x / 0" follows printf("hello\n") unconditionally. If the printf is executed, then x = x / 0 will be executed. Therefore if the program does not invoke undefined behavior, it does not execute printf("hello\n") either.

If the program can be assumed not to execute printf("hello\n"), there is no need to generate code for it.

Look at the documentation for GCC's __builtin_unreachable:

> Built-in Function: void __builtin_unreachable (void)

> If control flow reaches the point of the __builtin_unreachable, the program is undefined. It is useful in situations where the compiler cannot deduce the unreachability of the code.

The unreachable code assertion works by invoking undefined behavior!
Copy paste the CREATE TABLE statements then ask it to write the query. It's amazing.
> distinctly remember that it was how lift was explained in my PPL book

TBF, the Handbook of Aeronautical Knowledge [1] does a better job.

[1] https://www.faa.gov/regulations_policies/handbooks_manuals/a...
Where do you see that Ubuntu isn't affected?
That's not the RCE fix, this is the RCE fix https://news.ycombinator.com/item?id=40843865

That's a previously-announced feature for dealing with junk connections that also happens to mitigate this vulnerability because it makes it harder to win the race. Discussed previously https://news.ycombinator.com/item?id=40610621
Socialism is where workers control the means of production. I think you mean social policies, not actual socialism.
The key to this is machine AND human readable formats.
That is why the text format of protobufs is such a good approach:
- structured formats
- declared schema
- the parser to read the file is also a validity checker (at least for data types)

There are tools that do similar with JSON but none are as simple and unobtrusive as protobuf tool chain.
I found an article[1] from before it was launched. Translated:

> The most important reason for the introduction of the Zegelcode is that about 20% of our customers indicates they don't have a stamp on hand when they want to send something.

[1]: https://www.internetkassa.nu/postnl-verwacht-digitaal-franke...
Funny how "No AI" has become an feature. As someone how doesn't know anything about motion design, this looks great!
No way a printer in proximity to a shotgun (or window) last more than a few months.
"See how it flies" that you linked is a wonderful resource for understanding the physics of aircraft and the skills needed to fly one.

Another, more math heavy treatment, of why airplanes fly that still aims to gain a conceptual understanding is "Understanding Aerodynamics" by Doug McLean: https://www.amazon.com/gp/product/B00B9QLBH0
This is entirely unsurprising and in-line with the finding that even small specialized models do better in information extraction and text classification. So no wonder finetuned large LMs do good too.

Personally, my PhD did fine grained ACE-like event and sentiment extraction and "small" specialized finetuned transformers outperformed prompting LLMs like BERT and Roberta-large. Would love to see an inclusion of small model scores with some sota pipelines.

This is great work anyway even if it replicates known results!
And if you use Netlify, you can just create a _redirects file like this:

/ https://example.com
/cv https://example.net/cv.pdf
/git https://github.com/octocat

Works good for me on ale.sh so far!
Ask HN: What's the for creating a GPT replica of oneself?
Since the LLM representation of me will far outlive the current biologic one, I'd like to offer it my assistance as soon as is practical.
Paste an example and I'll show you! For me, I use ChatGPT 4 and start with the create table statements.
Don't compare the pressure of the air in the workshop to the fast moving air in the nozzle - compare the air in the system of the compressor.

In an air compressor, the lowest pressure air is the air moving through the hose and out the nozzle - the highest pressure air in the system is the 'still air' in the cannister. Think of an inflated balloon that you blow up and let go of, the highest pressure air is in the balloon, the lowest pressure air is immediately next to the mouth of the balloon, despite being the fastest moving.

It might feel surprising, but the air that moves faster across the top of the wing is lower pressure than the slower moving air below the wing. That both the air below and above the wing are higher pressure than 'all the rest of the air in the sky' is inconsequential to the the plane - we only need to consider the air directly interacting with the wing. (though this is not to deny the impacts of angle of attack etc etc.)
HN commenters should definitely use the '/s' tag, as it is essential to correctly label the intention of sarcastic comments.

/s
> postcondition instead of precondition.

How can you verify as a precondition instead of a postcondition? You can't verify anything until the act has been completed.
It was a bigger scale. The plan was to cut down 17,500 of 35,500 street trees, all due to a total mis-reading of a report.

Instead of backing down the council ploughed on, got people arrested and even tried to jail one of its own councillors for protesting. It was a huge fiasco.