skysight-inc/HackerNews huggingface dataset:
Reading the paper, the connection to compilers is more of an analogy rather than a direct technical link.

The authors propose using an LLM to reframe the task as high level psuedocode, and then reason on that code on the specific details of the task

No compilers were used or compiled - no real code was generated or executed. Its just the idea that a programming language syntax has good structure to process details, and a way to interpret some of the results. Many of the other comments here seem like they didn't read the paper at all and are reacting to the headline
No True Git fallacy. If you don't enjoy Git, it wasn't Git as it's meant to be!

There's always something 'wrong' with Git because it's incredibly complex. Most developer flows don't require that complexity, but have to pay for it anyway. That's the article.

When I have significant changes, I copy the directory before messing with Git beyond regular commands, because it's so easy to nuke code with it. Someone could tell me I'm doing it wrong, but an LLM could generate that comment at this point, so don't bother.
> And they also have massive restrictions on its use due to all of those reasons.

not sure if crippled institutional wifi offers any tangible benefit in the age of ubiquitous cellular internet access besides the usual incentive of researching technical workarounds to the filtering.
Regarding Altman’s quote: “As we have learned, scientific advancement eventually happens if the laws of physics do not prevent it.”

The article author says: “Have we learned that? I see no evidence to suggest that anything that can be invented necessarily will be invented.”

I have not heard this ‘everything that can be invented will be invented’ formulation before but I might agree with the author’s skepticism of this particular point on other grounds.

If we know from 20th century math that not every true mathematical truth can be proven, and we know from Turing that we can’t even know whether a given algorithm will halt or not, I would be skeptical that every invention that could be invented will be invented.

I do think there is something here for technical utopians here to consider about their premises.

Is this a narrow limitation though or a deep one, I am not sure.
It is more complicated. Modern violins can be louder, and audience generally think loud=better, but this may not what the player prefers or what is wanted in an orchestra. There is also the issue of playing an instrument only an hour vs playing an instrument for a tour or longer time.

https://www.violinist.com/blog/laurie/20121/13039/

This is a description by one contestant who participated in the 2010 test. She generally likes that new violins can sound really good, but she criticizes:

> As for the old violins: one was a Guarneri del Gesù (circa 1740) and two were Antonio Stradivari (circa 1700 and 1715) "These violins were loaned with the stipulation that they remain in the condition in which we received them -- precluding any tonal adjustments or even changing the strings." That means that, whatever happened to the old violins during their trip -- if they got jostled on the airplane, etc. -- there was no soundpost adjustment, no bridge adjustment, no check for open seams. If the strings were a little older, they were a little older. … My concern is this: it sounds to me like the older instruments were not optimized -- by either selection or by luthier adjustments -- while the new moderns were.

There are also differences between Stradivarius. In the formal test one old Stradivarius was universally disliked and in an informal test a modern violin beat an old strad. She wonders if that was the same model:

> […] During the same event when this study took place, another more informal "study" was done by those who did this one. While jurors were deliberating over the outcome of the Indianapolis violin competition, the audience that was gathered was asked to evaluate some moderns vs. old Italians. Indianapolis Symphony Concertmaster Zach De Pue played four pairs of violins, allowing the audience to decide which they liked best of each pair, based on playing excerpts from "Scheherazade" and Strauss's 'Don Juan.' Each pair included one old and one modern violin. The votes were very close each time, but ultimately the audience chose one modern violin and three Strads, from the years 1699, 1714 and 1715. Several more tests and votes narrowed the fiddles to the one the audience liked best: Jimmy Lin's 1715 Strad. (Was that non-preferred Strad from the study in the mix? I'm guessing it was, and it was the one not-preferred).
I think one of Lamport's arguments was that at specification level one shouldn't go for an imperative approach. Imperative is good for "how to" instructions (programs). Declarative is good for "what is" or "what should be" instructions (specifications). So in that sense TLA+ was about helping you build state machines via simple declarative syntax. Of course this was Lamport's argument, in practice, your approach may work just as well. Will definitely be interested to see how your approach evolves.
I don't know if it's still the case, but it used to be that pretty much any semi-major company had a support presence on Twitter. Often just tweeting anything with the name of the company in it would get you a response from a support rep in a few minutes. It was one of the best ways to get in direct contact with support for many companies. The API limitations probably severely hampered this avenue of support for most companies, I imagine.
Yes this is truly annoying part of modern tech. They used to say if you don't pay for it, you are the product. Now even if you pay for it you are still the product because they can do whatever they want with your data anyway.
It's not as simple as that, and will differ from person to person based on their situation, risk profile, and jurisdiction. Consult your financial advisor to see the best approach for you.
When you have 10 boxes to manage doing it manually is within the realm of 1 person doing it and maybe even correctly! When you have 500... You will want consistency and repeatability. To this day I am still 'fixing' things someone did in the 10 machine area. 'oh yeah that machine is set up this way and the others are that way'. But I can not get rid of those 10 boxes because they became key infrastructure.
I think things like this also depend on the site itself. A personal blog might fare different from a commercial website. I follow a few (niche) companies on Twitter who post new parts/products sometimes. I often click through to the link to see it. It is highly unlikely for me to visit their website out of the blue.
> Maybe you should check who you are replying to.

Looks like we both need to look at who we're replying to more closely -- this is my first post in the thread. ;-)

> In my own personal life, my parents had a cop search my car because they thought I was dealing drugs. The cop found a small ripped piece of paper (from who knows what), and claimed it was from rolling papers.

Right, so in this case, the question of "How would you account for the fact that police claimed a bit of paper was rolling paper for marijuana" is answered in part by the first sentence: The cop went in believing that drugs were almost certainly present (because a child's own parents reported them), and so was going to find something no matter what.

"How would you account for the fact that it this police detective claims to have had a conversation in which John Doe agreed to meet at place X to pay for sex with a 12-year-old" is less easy to construct.
No, just a customer.
Everything else being equal, given the choice between a restaurant that makes me calculate a tip and one that just puts a single price on the menu with no tip required or expected, I’m going for the simpler option. One less thing I have to worry about.

Besides, I honestly would be sort of annoyed that you insist on making your dissatisfaction with your credit card processor my problem as a customer. I have my own problems to worry about, don’t make my saving 1-4% on groceries vs. 2-3% cash back on my credit card another thing I have to deal with. I’ve stopped shopping at certain grocery stores over less.
Well, it would be nice if, optionally, GCC didn't do that. I believe that MSVC has a flag to prevent exactly this optimization.
They don't actually sound like someone doing any real work.

> Why do I need to download 500 files in a project if I'm only going to edit 3 of them

Either their project structure sucks and they combine a lot of unrelated items together, or this guy is just an manager/architect who isn't making any significant changes but wants to poke in the codebase.
Opening line

> I've been working with git now full-time for around a decade now.

Duplicated "now". Boom, roasted.
True. Please use ProtonMail paid version if you can.
Most of my cards don't have it currently. Some do. I saw the new version of one bank's cards with it so I think when those expires or gets replaced it'll have contactless. Then it'll be about half of my cards without it.
Code does not replace the hardware programming manual with up-to-date erratas. If this is the case, hopefully AMD is not hypocrit on that matter, namely releasing on purpose outdated or incomplete hardware programming manual/erratas to force people to use their code (which could be very very bad, look at that c++ abomination which is libaddr, which should be plain and simple C99).
They are still cheaper despite all that...
Thanks for adding that context!
Depends on your goals. People are beginning to shop primarily on TikTok and Instagram. Social media seems to be enshittify-evolving to be the new e-commerce.

Meanwhile, summarising posts in video on Shorts/Reels/TikTok might be quite a traffic bump. I’m seeing big numbers from channels that typically offer thoughtful, long-form content
The self-modifying code mentioned in the Macros section could be automated in an IDE! That is, your IDE should be able to show you the expansion of a macro at that specific place. This feature would help me much more to understand what's going on than navigation to the macro source.

I'm not sure if there are any IDEs supporting (temporary) macro expansion already. The output showing all macros expanded is usually too verbose.
Any idea if these antennas can be made small/on a PCB, effectively miniaturizing them?
This was my first Linux desktop (on Red Hat 6.2, no less). I really miss these looks. I may not care for the oversized status bar, but I loved the window decoration, the color scheme and the widget style.

Now there's a way to recreate more or less the look, with the Reactionary theme/style. But the window decoration is not native, the color scheme gets quirky in some places, and inconsistencies appear everywhere. I had to settle for Breeze, but I'll always miss the good KDE1 looks.
Navigating the complex world of background removal can be daunting, especially with the myriad of tools available at our fingertips. In our latest blog post, "Background Removal: Understanding It and Choosing the Best Solution," we delve into the essentials of background removal technology, its significance across various industries, and how it transforms digital imagery. hether you're a professional photographer, a graphic designer, or someone just starting to explore the realm of digital editing, this comprehensive guide compares popular background removal solutions, helping you find the perfect tool for your projects. Discover the key factors to consider, from precision and ease of use to cost and scalability, and learn how to choose the solution that best fits your creative workflow. Join us in unlocking the potential of your visual content with the ideal background removal tool.
Who did think it was not the case????? Come on...
I find this very interesting:

> [...], I can confidently say that async and its interactions with memory are the hard part. (Edit: Making async code properly clean up after itself is also the hard part, unless you use a better async runtime than tokio.)

I would love to read more about this, are there any specific areas or things I might search for?
>It is a statistic

Where? Can you share it?

>Android is doing the same thing

Where? Last time I checked I can still install adblockers outside of Google Play Store.
And if you're pairing your infra-as-code with a gitops model then you can help prevent these kinds of issues with PRs.

You can also use your git history to restore the infrastructure itself. You may lose some data, but it's also possible to have destroyed resources retain their data or backup before destroy.
Improved Pricing
If you want to get heated evenly, don't remove the spinning glass plate before entering your microwave oven.
'The machine did it coldly': Israel used AI to identify 37,000 Hamas targets
Article from The Guardian on alleged use of AI by Israel to identify Hamas targets.

Reported here: https://www.theguardian.com/world/live/2024/apr/05/middle-ea... that "The United States was looking into a media report that the Israeli military has been using artificial intelligence to help identify bombing targets in Gaza, White House national security spokesperson John Kirby told CNN in an interview on Thursday."

Response: "The IDF, in statements to the media on Thursday, denied that AI was used to identify suspected extremists and targets"

There are confirmations however,from Israel, that it is using AI in other areas.
* "Stopped Sharing on Social Media and no one cares"
* Was only posting on Mastodon

...yeah, surprise
Everyone, please stop posting LLM output as comments here. If we wish to see what they would say we can do so ourselves.
Pretty sure weight mostly affects how badly you're knocked by other players when they hit you. So heavier is better (although it's often correlated with slow acceleration or poor handling). You want an EV... heavy as hell but with amazing acceleration.
Sometimes the song release comes after the software release.
Not to be a pedant but the relevant variable has not been manipulated here. We would need sites of (more or less) equal-in-expectation popularity to be assigned to use social media or not. The metrics the author provides are capturing effects of past social media distribution.
If the caller has nbytes = 4

and sizeof(hwrpb) is now 16 bytes, then you will be copying 12 bytes of data too many from the caller, potentially reading into memory it doesn't own. I would say that should be avoided.

The better solution I believe would be to only copy the minimum amount of bytes supported by caller & callee. So:

nbytes = MIN(nbytes, sizeof(hwrpb));

Which should ensure backwards and forwards compatibility, assuming the version info of hwrpb->size is respected then the fact that part of the hwrpb struct isn't initialized shouldn't matter.
If anyone is looking for a great open source table, I recommend slick grid: https://github.com/6pac/SlickGrid it has all the features shown in the article and has proven itself capable of everything I've needed for the last 2+ years.
Here something funny about X/Twitter, if you dare post a link in your main tweet, this will significantly decrease the reach of this one. (you have to post it in the comments)

Because X/Twitter want people to stay in their platform, link outside X isn't great for them.
Dumb article, written by someone who probably has never had to setup dev>acceptance>prd environments.

GL clicking your way through that buddy.
The hard lessons of Harvard's failed GeoEngineering experiment
Scientists may have discovered a flaw in their understanding of dark energy
If you have 17k followers how many actual eyeballs see your posts? I guess it largely depends on how "stale" the account followers are (= how many are still active), but I have to guess it's below 1k? Maybe even below 100?

Then the math for conversion rate on link clicks after that, it seems like you might be talking about on the order of ten hits for 17k followers?
The obvious solution seems to be adding an extra hurdle, where it warns you the source may be compromised, so you can still get it, but aren't going to just grab it without knowing something happened.

There is value in making sure (potentially) compromised code doesn't just get used normally, but I agree that shouldn't mean totally blocking access to it in most cases.
We need a word/concept for technology that has just slightly more utility than a Minsky/Shannon's useless machine but that small amount of utility obfuscates the actual uselessness of the technology.
They cooperate with providers and act as a middleman between them and advertising buyers... visit a site of a cooperation partner of utiq (e.g. Süddeutsche Zeitung) on a phone and a banner of them pops up. Probably kicks in once the tracker sees you're coming from a network range that matches a phone ISP.

[1] https://utiq.com/
No, just someone who managed to keep his sanity in the onslaught of advertising, someone who sees the forest through the trees.

As to the nature and science education, documentaries, great films and TV shows that entertain and help us experience the human condition through great visual art and storytelling, those can be had without subjecting yourself to advertising (other than whatever advertising they put in the programs themselves) by using ad-free platforms like Jellyfin or Kodi running on whatever available piece of hardware (old laptop with broken screen and keyboard, SBC, discless workstation, ...). There is no reason to give in to the ad juggernaut, it can not force your door or pry open your eyelids to force you to watch. Just don't use anything which pushes ads and you're set.

This is not fantasy, it is the daily reality of countless individuals and families. You don't need to give in to the advertising industry.
We use VictoriaMetrics at work since I think 2019 or something. The tl;dr is that it works great.

When we migrated to it we replaced 6 prometheus servers with only 1 victoria metrics server, it was crazy efficient.
We ran with a single node for all our metrics for 3 years while the number of data points observed kept growing. Today we run a 7 node cluster.

I have no idea if today Prometheus could serve our workload as efficiently but for information, a provider wanted to quote us like 300k€ per year to serve the same metrics; our setup doesn't cost anywhere near that.
How to make regression tests with Kotlin and Micronaut with a critic to Kotlin
I like the parable that any text content that originated before 2021 now has increasing value, and in certain sense became a digital equivalent of physical "Low-background steel" [1].

Its value is mostly, and paradoxically, for training LLMs, to get "unspoiled" models.

[1] https://en.wikipedia.org/wiki/Low-background_steel
because it only works in countries that have their international relations developed enough in order to be included
Yann LeCun – Objective-Driven AI: Towards AI systems that can learn, remember [video]
How to use abstract classes to build websites in Angular
All of the things mentioned in the article seem more a result of bad IaC, instead of general IaC...

> Packages go out of date. Features are deprecated and stop working. Code syntax changes. Images are no longer available.

This is true for all code and we have tried and tested methods/principles for dealing with that.

> Someone’s user account got built in, and they don’t work here any more.

No comment needed.

> He was in the Prod directory — and starting nuking production.

Say it with me: Elevate Permissions
Of course not. Social media is shouting at the void at best, but usual self-contained rage bait. People open Twitter/Mastodon to doomscroll and post their thoughts, and could not care less about linked content. I have seen the same exact pattern with trying to mention my latest blog posts on Mastodon or other social media: no one cares.

I had much more engagement posting on Linkedin, though one would believe that with all the spam there no one would have time to check out your post. You'd be very wrong. Though the downside of this strategy is having to use Linkedin.
Morgan Housel in Psychology of Money talks about this. It does make sense, unfortunately, some of these people are at a point where the probability of them living a comfortable life via winning a lottery is higher than anything else.
What product isn’t filled with adware or telemetry now?
I am more annoyed at Ars for choosing to frame the article this way, personally.
The intricacies of using the Unconfined Disptachers in Kotlin
I mean, if you dislike the sound of an autotuned voice (which a lot of people do), then there are a lot of modern(ish?) pop artists that use it heavily who you're gonna hate: Travis Scott, Lizzo, Neo, Kesha, T-Pain, Doja Cat ...
I think this is a great idea. May I suggest this for the new VSCode ToS: "You aren't allowed to use our products to write competing text editors". Maybe ban researching competing browser development using Chrome. The future sure is exciting.
I can’t believe they didn’t start with this model before attempting what seems like self-driving cars level of difficulty for shopping.

Use carts like IKEA that hang your reusable bag. Scan as you pick up items. Walk out.
I often hear this, but in my experience of game design it’s simply not true — no modern game engine aims to do no allocations per frame. Lots of games are written in the scripting languages of various engines, which are all GCed.

The days of avoiding malloc in games is long since passed. Of course, fewer allocations, like reducing any work, is always better.
Business should be paying me to use my data instead.
LinkedIn still matters quite a bit for commercial/professional stuff.

X still matters some. But anecdotally, X is far less relevant and used in my circles post-Musk. (And Mastodon hasn't replaced it for most people.) I think Musk was the impetus for a lot of people to dial down their social media use.
> What product isn’t filled with adware or telemetry now?

Linux and BSD come readily to mind.
I disagree with a lot of this, but here are the bit i really disagree with:

> The second issue is that code is, in my opinion, really not good at being documentation. I have written code myself, and come back to it six months later, and been totally baffled by what I was doing there.

This might be true of python, node, java, any language really where you fiddle with complex structure and algorithm. It is not true about IAS.

Quick example: I hate yaml with a passion since forever. I also never ever heard of ansible before, but 7 years ago, i was starting a new job where most of the deployments would be with ansible. All 30+ clients infrastructure were extremely simple to understand to me, even weird, locked stuff with NFS mount and chroot everywhere across 5 commodity servers. I could help any client sending a mail "X does not work, is it on your side?" within 10 minutes despite never having touched the infrastructure or ansible before, and having trouble believing yaml (despite my preference, one positive about yaml: its very readable). Terraform might be sightly more complex due to trickeries, but its basically the same: we have an intern, the terraform part was really the quickest bit of our deployment he understood.

> It’s not something that a non-engineer can easily read, or even an engineer who is not familiar with Terraform or whatever can easily read.

Again, hard disagree. Our manager, who isn't an engineer, learned how to read terraform in three one-hour sessions. He's not good enough to understands the specifics, but he can now review new modules with us. Why do we have new modules? We have 3 network engineers, not developers, who started doing terraform. They learned in two sessions (i think only one of them needed the second one tbh). They are publishing two new modules next week. We started showing tf a month ago by the way. We have a really good engineer who was really good explaining everything, which help, but it isn't hard.
How to use the use-site targets in kotlin to helps us through when working with IoC injection frameworks like Micronaut and SPring.