MurphyA/hacker-news huggingface dataset:
by motorest | 2025-05-23 04:14:57+00:00
> The algebra of semilattices has a single operator: join. Notably it doesn't have any operator that corresponds to read or inspect. In fact, CRDTs as described in the literature provide absolutely no guarantees to readers, so a "proper" CRDT implementation should not allow reads!

Perhaps a proper mathematician can weigh in, but for a layman like me this assertion makes no sense at all.

A join-semilattice is a class of set characterized by a specific type of order and the support for an operation. If you add additional operations, it just further specializes the type of join semilattice. It's properties stay the same, and you just add more of them.

Also, there is nothing in a set that prevents it from verifying membership of said set.

Nevertheless, let's entertain the idea and assume that formally you could not verify membership of a set as it would imply loss of correctness. Let's entertain that idea.

In practical terms this point would be moot. You could simply copy the current state of a set after each join, call it a realization of the CRDT set or something of the sort, treat it as a snapshot of the CRDT, and keep the original CRDT as a data structure that just supports a join. This realization of the CRDT does not need to be bound to any formal constraint enforced on the CRDT.

But that would be silly, wouldn't it?
by AStonesThrow | 2025-05-23 04:15:11+00:00
Pretty big for a stamp, but pretty small for a record.

I polled a couple of AIs real quicklike. They're telling me that the label dimensions for vinyl records range from 75-100mm.

That means that these stamps were no larger than the label on a typical record you'd put on a turntable. That would make them nigh-unplayable in modern systems.

In modern turntables, each tonearm has a limiter that prevents them from straying past the runout grooves. The runout grooves are designed to signal the end of media. Typically you'll have some wide spacing and then the spiral ends in a completely circular track.

Older turntables would just sit in the runout grooves and play silence. You could risk damage to the needle or mechanism if the needle accidentally hit paper or the arm hit the spindle. Better-designed turntables would sense this, usually based on distance, lift/return the tonearm mechanically, and stop the playback.

So the only turntables which can "play" these "stamps" would be ones which ignore that minimum size requirement. Perhaps some really high-end systems have a disabling switch, but consumer-grade ones sure didn't, in my recollection.
by phendrenad2 | 2025-05-23 04:15:53+00:00
Windows and Linux/Unix are so fundamentally and thoroughly different that this is like asking "Which parts of a helicopter do you prefer over a jet-ski?"

You could say that Windows is an instance of "Windows-like" operating systems and Linux is an instance of "Unix-like" operating systems. So features of Windows are really features of the "shape" or "likeness" of Windows. And ditto for Linux.

If you're designing an OS from scratch, you'll find many points where you must choose between "Windows-like" or "Unix-like". The Windows-like features fit together naturally, and the Unix-like features fit together naturally. This even extends to the development model. A corporation will find it easier to create a Windows-like OS than a Unix-like OS. But a distributed group of developers will find it easier to make a Unix-like OS.
by wolpoli | 2025-05-23 04:17:03+00:00
It's good to know they have brought in new talents.

Note that Mozilla Corporations, Mozilla Ventures, and Mozilla.ai mentioned in the articles are all subsidiaries of Mozilla Foundation. If there are issues with the subsidaries' leadership, they could be easily removed by the foundation. If there are issue with Mozilla foundation's leadership then, according to the bylaws, it's not possible for the foundation's board to be removed unless they self remove.

Section 3.3 Election Of Directors, Term. All directors of the Foundation shall be elected annually by the Board of Directors and shall hold office until their respective successors are elected and have qualified, or until their death, resignation or removal.

Section 3.5 Removal. Any director may be removed from office, with or without cause, by the vote of a majority of the other directors then in office.

https://static.mozilla.com/foundation/documents/mf-bylaws.pd...
by kstrauser | 2025-05-23 04:18:26+00:00
Ah, I see what happened here. It looked to me like you were highjacking the thread and posting a link to your own project. It’s at a different domain than the post and didn’t seem to be related to the story at all. I think I wasn’t alone there.

As a suggestion, next time you might say something like “here’s something else the author wrote”. Then it’s clearly not you advertising your own stuff.
by jgraettinger1 | 2025-05-23 04:20:02+00:00
> On the other hand, one could argue that AI is just another abstraction

I, as a user of a library abstraction, get a well defined boundary and interface contract — plus assurance it’s been put through paces by others. I can be pretty confident it will honor that contract, freeing me up to not have to know the details myself or second guess the author.
by throwaway2037 | 2025-05-23 04:20:54+00:00
> Because other professional fields have not been subjected to a long running effort to commoditize software engineers.

In the United States, aren't Nurse Practitioner and Physician Assistant a "direct assault" on medical doctors? I assume these roles were created in a pushback at the expense of medical doctors.

> And further, most other (cognitive) professionals are not subject to 'age shaming' and discounting of experience.

I am of two minds about this comment. TL;DR: "Yeah, but..." One thing that I have noticed in my career: Most people can pump out much more code and work longer hours when they are young. Then, when they get a bit older and/or start a family (and usually want better work/life balance), they start to play the "experience" card, which rarely translates into higher realised economic productivity. Yes, most young devs write crap code, but they can write a lot of it. If you can find good young devs, they are way cheaper and faster than experience devs. I write that sentence with the controversial view that most businesses don't need amazing/perfect software; they just need "good enough" (which talented juniors can more than provide).

When young people learn that I am a software developer, their eyes light up (thinking that I make huge money working for FAANG). Frequently, they ask if they should also become a software developer. I tell them no, because this industry requires constant self-learning that is very hard to sustain after 40. Then, you become a target for layoffs, and getting re-employed after 40 as a software dev can be very tough.
by rasz | 2025-05-23 04:21:53+00:00
Reviewers were told the only way they could get access to working 5060 driver was to test selected few games using bizarre settings of 720p upscaled to 1080p with Multi Frame Generation (3 fake frames in a row) with powerful CPU against 2060 Super and 3060 cards _only_.

Nvidia AI push resulted in their mid card being only competitive when running at 720p :o
by ghushn3 | 2025-05-23 04:21:55+00:00
You should hang more in anarchist circles. Squatting as a protest and as an art piece has been alive and well for far, far longer than I've been alive. (40-50 years)

Go read about the Paris Commune, Villa Road, Pieds Plats, Frances Street, or that group who squatted in NYC until the city capitulated and turned the buildings into low income housing.

What evidence do you have that they aren't genuine about their reasons, given it's not at all uncommon for squats to exist as a form of protest?
by queenkjuul | 2025-05-23 04:22:57+00:00
Yeah i can't wait to discuss product with a sycophantic chatbot instead of the people who actually have a stake in the product.

Management can and usually does suck but i can reason with a person, for now. And sadly only the product people actually know what they want, usually right when you've built it the way they used to want it lol.
by smcameron | 2025-05-23 04:23:16+00:00
It means that if you do "patch -p1 --dry-run < some.patch", and it complains that it doesn't apply, wiggle can sometimes apply it anyway, and also, if you do "patch -p1 < some.patch", and it partially applies but with rejected hunks, wiggle can try to apply the rejected hunks.
by ghushn3 | 2025-05-23 04:24:35+00:00
It's only stealing from someone if you recognize that person as being the owner of the thing. If you are someone who does not believe in private property (note, this is different from personal property), then you haven't stolen anything at all.

I'm not saying I agree with that position, I'm saying that's a position that is at least internally consistent (if at odds with our current legal framework.)
by throwaway2037 | 2025-05-23 04:24:41+00:00
Each time that I arrive at a new job, I take some time to poke around at the various software projects. If the state of the union is awful, I always think: "Great: No where to go but up." If the state of the union is excellent, I think: "Uh oh. I will probably drag down the average here and make it a little bit worse, because I am an average software dev."
by weq | 2025-05-23 04:25:55+00:00
I can just imagine it now, you launch your AI coded first product and get a bug in production, and the only way the AI can fix the bug is to re-write and deploy the app with a different library. Your then proceed to show the changelog to the CCB for approval including explaining the fix to the client trying to explain its risk profile for their signoff.

"Yeh, we solved the duplicate name appearing the table issue by moving databases engines and UI frameworks to ones more suited to the task"
by harrall | 2025-05-23 04:26:02+00:00
I once did an international camping and backpacking trip like this where we had everything down to a minute.

The key is to check your watch after you complete any activity. For example, you read that a 1000ft climb hike takes 2 hours and you do it in 2.5 hours.

Do this over months and you gain the ability to make perfect estimates. Turns out that feedback loops are useful.

Also applies to all other skills.

Funny thing is I’m mostly a buy tickets to fly next week and wing it kind of person but I wanted to try it one time for kicks. Winging it is a whole different set of skills. Get good at both and planning becomes your jam.
by CJefferson | 2025-05-23 04:27:26+00:00
But those are even worse from this point of view, I have no control over which apps can access my camera, or microphone.

I'm personally disappointed that sandboxing isn't easier in Linux. I hoped it would move past Windows and Mac, imagine a world where the majority of libraries are sandboxed too, we only let compression and decompression libraries read one stream and write to another, this would improve security. This has been done by both Google (in Android) and Apple (in iOS and Mac OS X), but hasn't seen general acceptance in Linux (as far as I can tell).
by robocat | 2025-05-23 04:27:26+00:00
The amounts are irrelevant, so your snippet is just scare figures. What is relevant is whether the $ spent to save Y metric tons makes sense.

The first line of the table on page 7 of your link shows EV Credits were going to cost 168.5 billion to save 1.0 mmt CO2 Emissions. I'm not sure why they mention 20 mmt in your snippet.

I tried to find something good to compare against but I'm no expert. From looking at carbon credit prices I suspect that there are better ways to reduce CO2 if you want to spend 168500 million dollars.
by archargelod | 2025-05-23 04:27:51+00:00
I find Appimage to be better alternative to Flatpak: no install, persistent through linux installations, no issues with themes, icons, Xorg config; in practice - take fraction of flatpak storage size, optional sandboxing with external tools like firejail, easier to run from terminal / dmenu / rofi, very easy to tinker with and fix.

There's just one problem: they don't integrate with desktop without an additional application. We need a feature where dropping an AppImage into "~/.local/share/applications" would automatically detect it as a ".desktop" file and make it appear in the DE menus.
by throwaway2037 | 2025-05-23 04:29:43+00:00
> rage close the PRs

I am shaking with laughter reading this phrase. You got me good here. It is the perfect repurpose of "rage quit" for the AI slop era. I hope that we see some MSFT employees go insane from responding to so many shitty PRs from LLMs.

One of my all time "rage quit" stories is Azer Koçulu of npm left-pad incident infamy. That guy is my Internet hero -- "fight the power".
by CamperBob2 | 2025-05-23 04:30:15+00:00
As a C programmer, that's the worst FizzBuzz implementation ever. You're not supposed to special-case % 15, just

bool m3 = !(i % 3); bool m5 = !(i % 5); if (m3) printf("Fizz"); if (m5) printf("Buzz"); if (m3 || m5) printf("\n");

You can turn in your visitor badge at the front desk, and they'll call you an Uber.
by ctkhn | 2025-05-23 04:30:58+00:00
It's really just monitoring you. A designated technical lead on your team can be very helpful, but once someone moves off the dev team but also isn't able to make any decisions from the product/business side they just become dead weight. I have the same issue with my EM trying to get coaching and visibility and have gone to LLMs just like you because manager is clueless.
by ctkhn | 2025-05-23 04:35:06+00:00
I've had them go 90 minutes because they branch off into tangents from people's updates and they become a solution session between one dev and our manager. Info is pretty silo'd (not required for security or anything, just bad management) so usually nobody else knows what's up with their ticket and manager is in other meetings all day so he never responds to dms to help on stuff. I've tried cutting people off to keep it moving and have been reprimanded about it, now I attend with camera off and do my dishes during the meeting.

There is a value to standup in calling out "my PR needs eyes and nobody responded on slack" or "hey I'm blocked on X who wants to pair later" but outside that it's useless.
by zzo38computer | 2025-05-23 04:35:54+00:00
I think D-bus has many problems and isn't very good. I also think the sandboxing (of Flatpak and other systems) has problems, e.g. lack of some kinds of permissions (e.g. permissions that depend on command-line switches, permissions to execute user-specified external programs by popen (without the restrictions affecting them too), and more), inability to properly use character encodings, etc. There are other issues as well, even though I think that the sandboxed execution is not a bad idea in general.
by hliyan | 2025-05-23 04:36:20+00:00
I've seen this happen in emails too:

"Recent outage was due to a retry loop for the Foo API exceeding rate limits. We're implementing a backoff algo"

Sender, via ChatGPT:

Hi,

I wanted to provide more context regarding the recent outage.

The issue was triggered by a retry loop in the Foo API integration. When the API began returning errors, our system initiated repeated retry attempts without sufficient delay, which quickly exceeded the rate limits imposed by the API provider. As a result, requests were throttled, leading to degraded service availability.

To address this, we are implementing an exponential backoff algorithm with jitter. This approach will ensure that retries are spaced out appropriately and reduce the likelihood of breaching rate limits in the future. We are also reviewing our monitoring and alerting thresholds to detect similar patterns earlier.

We’ll continue to monitor the system closely and share further updates as improvements are rolled out.

Best regards,

Receiver, via ChatGPT:

"The outage was caused by excessive retry attempts to the Foo API, which triggered rate limiting and degraded service. To prevent recurrence, exponential backoff with jitter is being implemented"
by StopDisinfo910 | 2025-05-23 04:37:20+00:00
It’s partial application of cons via the operator, admittedly a poor choice from Haskell, a language which likes operators a bit too much. I think eta-expansion makes the whole thing clearer: (\xs -> x:xs) but most Haskellers would disagree.

The article also features examples of point-free style, another unfortunate trend for readability.

As long as you use operators sparingly, don’t abuse partial application and prefer explicit lambdas to composition, Haskell is fairly readable. The issue is that approximately no Haskeller writes Haskell this way.
by gmd63 | 2025-05-23 04:38:04+00:00
> it is better to grant 10 bad men access to information than to deny that access to 1 good one.

I disagree when it comes to a tool as powerful as AI. Most good people are not even using AI. They are paying attention to their families and raising their children, living real life.

Bad people are extremely interested in AI. They are using it to deceive at scales humanity has never before seen or even comprehended. They are polluting the wellspring of humanity that used to be the internet and turning it into a dump of machine-regurgitated slop.
by kqr | 2025-05-23 04:38:53+00:00
The : operator is the linked list data constructor. It takes an element and a list and creates a new linked list by linking the element to the existing list. It does the opposite when used in a pattern match: separates out the first element in a linked list.

It is also an operator, meaning it can be used with infix notation, as in (x : xs). Haskell has something called operator sections, where if one supplies only one of the arguments to an operator it will return a function expecting the other argument. In other words

(x:) == \xs -> (x:xs)

and

(:xs) == \x -> (x:xs)

This can be used as in this article, to create a function that prepends x to any list. Another common example is (1+) which increments any number it is given, or (:[]) which turns any value into a one-element list.

It can also be used much more cleverly -- especially considering that any two-argument function can be turned into an operator with backticks -- but then (in my opinion) readability starts to suffer.
by cayley_graph | 2025-05-23 04:39:22+00:00
An overview of what? It's entertaining to me when I come away understanding something more than I did before. I expected a high level explanation of the papers, or the faintest intuition behind the phenomenon your comment talked about.

If you watched the video, it doesn't actually say anything besides restating variants of "thinking tokens aren't important" in a few different ways, summarizing a distantly related blog post, and entertaining some wild hypotheses about the future of LLMs. It's unclear if the producer has any deeper understanding of the subject; it honestly sounded like some low grade LLM generated fluff. I'm simply not used to that level of lack-of-substance. It wasn't a personal attack against you, as indicated.
by zzo38computer | 2025-05-23 04:40:46+00:00
Yes, that would be better, for specific instances of the running program to have a set of permissions instead. However, I think this is not the only issue.

It is what I had wanted too, not only you.

I think that the entire operating system should need to be redesigned for many reasons (I mentioned before how to design a better one), and it would have that effect, that specific instances of a running program would be given capabilities as arguments (or through other capabilities, but the first ones must be given as arguments), and these capabilities can have restricted permissions, as well as more versatile things e.g. to log access, or to go through a proxy, or to set a disk quota, etc.
by Dylan16807 | 2025-05-23 04:42:36+00:00
> In the case where one of the structs has just been computed, attempting to load it as a single 32-bit load can result in a store forwarding failure that would negate the benefit of merging the loads

Would that failure be significantly worse than separate loading?

Just negating the optimization wouldn't be much reason against doing it. A single load is simpler and in the general case faster.
by antonvs | 2025-05-23 04:42:51+00:00
I’ve used LLMs to generate text for a soc2 audit about our processes. For one requirement, it took me 20 minutes to produce 8 pages that otherwise would have taken hours at least. This wasn’t misrepresentation or anything - more like here’s the requirement, here’s a summary of what we do, describe specifically how that meets the requirement. Outside of coding, it’s a perfect application for the tech.
by cowboylowrez | 2025-05-23 04:42:56+00:00
so ok I get all of what your saying except what you're leaving out, what was the hypothesis?

Honestly, I doubt either of us will have our minds changed but I do like the guys own explanation

"In response, Yusuf Islam said that some of his comments were "stupid and offensive jokes" made in "bad taste," while others were merely giving his interpretation of Islamic law but not advocating any action."

Honestly, that really is probably the closest I'll get to a satisfying explanation, ie., I came into this thread thinking "Yusuf" done goofed and I'm pretty sure I'm going to leave the thread with an unchanged opinion.

the steve martin bit is how to do a proper cosplay. nobody is taking steve martin out of context lol
by csomar | 2025-05-23 04:43:52+00:00
That's the easiest task for an LLM to do. Upgrading from x.y to z.y is for the most part syntax changes. The issue is that most of the documentation sucks. The LLM issue is that it doesn't have access to that documentation in the first place. Coding LLMs should interact with LSPs like humans do. You ask the LSP for all possible functions, you read the function docs and then you type from the available list of options.

LLMs can in theory do that but everyone is busy burning GPUs.
by Suppafly | 2025-05-23 04:43:55+00:00
I miss the original notepad that was barely maintained. I always knew if I just wanted to view something just as quickly and plainly as possible I could use notepad to open it, if I wanted more features, I'd use something like notepad++ or something specific to the type of file.

I do like that the new notepad remembers what you have open in unsaved tabs, but only because I use it mostly at work. On my home pc, I don't really want the "generic text file preview app" to remember every random thing I've ever pasted into it after I reboot.
by intended | 2025-05-23 04:45:16+00:00
> This implies that the strength of that edge of the power graph is much weaker than it was expected to be

Funnily, 2 Harvard profs have written the easiest way for me to point out that the media / Information economy in America is broken. (Network Propaganda)

Which would explain why Alumni dont have power, or for that matter any experts. This is fundamentally why Trump is in power, and why decisions that have zero connection to scientific fact or even reality.

Either everyone starts talking in terms of the reality being litigated on Fox and other related networks on the Right, or people find a way to actually engage in a fair debate. Democracy is fundamentally conversation.
by sandspar | 2025-05-23 04:46:01+00:00
Interesting how the ringleader appears to be significantly older than the other participants. This is a common pattern. As I recall, the poet Ginsberg was older than his hippy hangers-on. And I've read of that "older leader" pattern in groups as wide apart as graffiti crews or revolutionary movements. I guess that forming these kinds of small scenes relies a lot of charisma and vision, people tend to accumulate those with age, and older people tend to have a magnetic effect on younger followers.
by tbrownaw | 2025-05-23 04:46:07+00:00
They're like backups, in that they don't actually exist unless you've tested them.

A copy-pasted plan is actually fine, as long as whoever's responsible for following it actually can follow it and it works.

A plan that nobody's even looked at much less tried to follow isn't fine. Even if it's word-for-word identical to one that is fine.