MurphyA/hacker-news huggingface dataset:
by farts_mckensy | 2025-06-12 05:32:34+00:00
The problem with these kinds of discussions is, we tend to get more abstract and further and further away from real-world examples. And it all hinges on what you actually value. I could come up with positive adjectives for every single negative attribute you listed. I can only speak for myself when I say that I have never regretted not giving someone the benefit of the doubt. I have regretted the contrary. Good things often just happen to people because of chance, and they attribute it to some mystical property of the universe--generosity of the spirit, for example. Conversely, being generous does not guarantee that good things will happen to you. I'm afraid it's far more random than most are willing to admit.
by sans_souse | 2025-06-12 05:33:01+00:00
"Symbolically the second form is expressed thus A ∨ ~A where ∨ means "or". The equivalence of the two forms is easily proved (p. 421)

Examples For example, if P is the proposition:

Socrates is mortal. then the law of excluded middle holds that the logical disjunction:

Either Socrates is mortal, or it is not the case that Socrates is mortal. is true by virtue of its form alone. That is, the "middle" position, that Socrates is neither mortal nor not-mortal, is excluded by logic, and therefore either the first possibility (Socrates is mortal) or its negation (it is not the case that Socrates is mortal) must be true."

But Socrates isn't mortal or not mortal. Socrates is isn't...
by tansan | 2025-06-12 05:34:18+00:00
https://en.wikipedia.org/wiki/Vibe_coding

> Vibe coding (or vibecoding) is an approach to producing software by using artificial intelligence (AI), where a person describes a problem in a few natural language sentences as a prompt to a large language model (LLM) tuned for coding. The LLM generates software based on the description, shifting the programmer's role from manual coding to guiding, testing, and refining the AI-generated source code.[1][2][3]
by tansan | 2025-06-12 05:35:24+00:00
Vibe coding is pretty broad and is a spectrum

> Vibe coding (or vibecoding) is an approach to producing software by using artificial intelligence (AI), where a person describes a problem in a few natural language sentences as a prompt to a large language model (LLM) tuned for coding. The LLM generates software based on the description, shifting the programmer's role from manual coding to guiding, testing, and refining the AI-generated source code.[1][2][3]

https://en.wikipedia.org/wiki/Vibe_coding
by treetalker | 2025-06-12 05:37:50+00:00
Cool.

Unfortunate naming: mock-up shows it on MacOS, but MacOS already has Alfred, which is well-known, widespread, and well-loved. "Dude, invoke Alfred real quick. No: I meant alfred underscore."

I forgot about iGoogle but yes, having a dashboard of user-selected and user-arranged information streams is great.

I think that's one place that OmniFocus falls short: sure it has Perspectives, but it won't let you create a dashboard of Perspectives, let alone with non-OmniFocus info. The closest we have is cobbling together widgets on the MacOS desktop, but that is feature-poor and leaves much to be desired.
by tansan | 2025-06-12 05:37:53+00:00
I enjoy it, but I enjoy what the product enables me to do more than the process; It's a means to an end for me and the process is great, but it gets tedious after more than a decade of it.

I also like cooking, but I like eating more than the actual cooking. It's an means to an end, and I don't need to always enjoy the cooking process.
by downboots | 2025-06-12 05:37:53+00:00
Is there a standard way to formally describe a mechanical machine? Similar to how a .obj file defines a 3d shape? Some standard way of describing piece types, interactions, properties, movement ranges, etc.

Then one could have a computer use the format to learn/find interesting configurations based on a catalog like https://507movements.com/ especially if paired with simulation like done in this Disney research project using gears and linkages https://www.youtube.com/watch?v=DfznnKUwywQ
by tamlin | 2025-06-12 05:38:01+00:00
Source Depot was based on Perforce. Microsoft bought a license for the Perforce source code and made changes to work at Microsoft scale (Windows, Office).

TFS was developed in the Studio team. It was designed to work on Microsoft scale and some teams moved over to it (SQL server). It was also available as a fairly decent product (leagues better than SourceSafe).
by lutusp | 2025-06-12 05:38:17+00:00
>> Our universe is expanding. It's density is not fixed.

> None of that precludes uniform density at large scales.

According to observation, the universe is expanding. An argument that it's really static at a large scale would require contradicting observational evidence, but none exists. A theory that requires abandoning observational evidence bears a special burden, which this theory lacks.
by fasbiner | 2025-06-12 05:38:59+00:00
Everything you see on your screen was created in part by a computer model, this seems like a way to be rude and dismissive as some kind of status game.

Because you can't actually tell the difference, reliably, for the rest of your life.

You will never know if that detail was borrowed directly from a human hand without alteration, generated and composed, or added with the flourish of a digital pen or brush, or modified via very specific prompt, or edited with photoshop, or edited by an AI agent using photoshop, or a tiny grease stain, a weird compression artifact that ended up looking cool, etc.

You're a fraud if you say that you can reliably know absent of context, and you grasp for metaphysical assertions because you're a fraud.
by tansan | 2025-06-12 05:39:53+00:00
The definition is broad and can include testing. Refining requires you to review the code for iterations.

> Vibe coding (or vibecoding) is an approach to producing software by using artificial intelligence (AI), where a person describes a problem in a few natural language sentences as a prompt to a large language model (LLM) tuned for coding. The LLM generates software based on the description, shifting the programmer's role from manual coding to guiding, testing, and refining the AI-generated source code.[1][2][3]

https://en.wikipedia.org/wiki/Vibe_coding
by barrenko | 2025-06-12 05:42:23+00:00
Yeah, honestly what's currently missing from the marketplace is a better way to read all of the code, the diffs etc. that the LLMs output, like how do you review it properly and gain an understanding of the codebase, since you're the person writing a very very small part of it.

Or even to make sure that the humans left in the project actually read the code instead of just swiping next.
by a_tyshchenko | 2025-06-12 05:44:03+00:00
I can relate to this. In my experience, my brain has already started resisting writing code manually — it increasingly “waits” for GPT to suggest a full solution. I even get annoyed when the answer isn’t right on the first try.

That said, I can’t deny that my coding speed has multiplied. Since I started using GPT, I’ve completely stopped relying on junior assistants. Some tasks are now easier to solve directly with GPT, skipping specs and manual reviews entirely.
by JimDabell | 2025-06-12 05:45:06+00:00
I was responding to this:

> to me it makes sense to have an s3 client on my computer, but less so client side on a webapp

The relevant audience in this situation is not the average IT person, but a person who might mistake this for client-side web app functionality.

If you think that something might run in the browser, then “no browser support!” is not complicated jargon that you won’t understand.
by giardini | 2025-06-12 05:45:19+00:00
itsanaccount says "An oak tree's vote adds more to our democracy than your comment does to this conversation."

Now you're calling for the trees to vote! Have you no shame, sir? I assure those reading not to panic: no unregistered trees shall be allowed to vote, even in California, as long as Donald Trump is President! Simultaneously we extend our grief to all of those in CA whose registered and unregistered trees were slaughtered by the recent fires in CA.

"I've seen thing you people wouldn't believe... forests on fire off the hills of Redmond.... I watched fire retardants glitter in the dark streaming in the skies over San Bernadino. All those votes will be lost in time, like tears in the rain...Time to go."

- parting words of homeless anarchist who started the blaze.
by musicale | 2025-06-12 05:47:40+00:00
It's hard to argue that AI companies aren't making use of copyrighted images to operate a business generating vast quantities of unlicensed derivative images that are often very close to the originals.

And, on the other hand, it also seems very plausible that systems like Midjourney have substantial non-infringing uses, generating images which are different enough from the original source material.

But I can't escape the feeling that regardless of how this case is resolved, all of us (not to mention independent artists whose work is also part of the training data) will end up losing.
by rurban | 2025-06-12 05:48:04+00:00
My special use case is i.e. unicode property checks, for which gperf is not big enough, and which has millions of keys. Other cases are integer keys.

I'm certainly not willing to load they keys and mpfh properties at query-time from disc, as they are known in advance and can be compiled to C or C++ code in advance, which leads to an instant load-time, in opposition to your costly deserialization times in all your tools.

Your deserialization overhead space is not calculated, and also not the storage costs for the false positive check. It's rather academic, not practical
by bluefirebrand | 2025-06-12 05:49:39+00:00
> The key is to know when the rope is about to break, and then disconnect from that company and start the process again with another company, aligned in your direction

This post helped me a lot tonight, thank you

I've been feeling this tension building like crazy over the past few months as my employer has been pushing AI mandates and metrics hard. It's been making me miserable, my productivity is crashing and I wish I could ask them to just lay me off already so I can move on

I am very discouraged about the job market right now and I do not relish jobhunting at the moment, but I think you're right. It's time to move on for my own sake and try to find something new
by larodi | 2025-06-12 05:50:31+00:00
Thank you for taking time to write this, appreciated - and it is a beautiful writing, I would say.

Indeed, I intended no harm, but having spent time on desolate beaches, retreats and similar, I could definitely disambiguate between living in a tent, in the forest, like even doing some coding from there, and being homeless. My comments joined the... seemingly overall uproar against author's choice to call his experience homelessness.

But you make a valid point reg. how many ways a comment can be interpreted.

My point was that precisely, and with my other comment - that homelessness is not a state you typically get to by choice. It is social status more or less. Unless the choice is to become sannyasa or traveling Buddhist monk and renounce the material world, which is not op's story, really. Given my previous experienced living in the tent in a forest for... months, well I can definitely say is not the same as being homeless. I have also met refugees (mostly levantines in Europe) who are much more homeless even when being crammed together in "homes" dozens at a time. They have interesting perspective of what is home, and having the world for your home is not always a good thing to say.
by Krei-se | 2025-06-12 05:55:54+00:00
You forget there is a distinction between a plumber and an architect. The plumbers might get streamlined and need to compete, but if you design the whole house, do all the work yourself or know how to manage the contractors you will be totally fine.

I don't want to correct you on your stance, your pov may vary, but i haven't noticed any downsizing in orders and i don't want fearmongering happening here for youngsters.

If you design a clean product and maintain it you will be totally fine - some social skills and experience are ofc what you learn along the way.

There is no data backing up the ever repeating horror stories of mass-layoffs or people not getting hired because some magic AI now does all the job and if you learn the matter you can understand how to leverage these tools and why they will not make you "penniless and desperate" anytime soon.

For me as freelancer what actually was replaced was the farmer - i can have bookkeeping now, marketing and even legal assistance from AI, but i cannot have it do anything over a simple morphism or terminal object without it carrying technical debt 10x what you get when you just code down some manager-wanted functionality (and you may not want to work in places that operate on these hierarchies anyway)

https://www.marketplace.org/story/2025/05/19/can-ai-take-you...

You can keep your fear-first stance here no problem, but it's either misunderstanding of what AI can do or what software engineering is about.
by scdnc | 2025-06-12 05:55:57+00:00
While this post was appropriately flagged for violating the guidelines, many other ideological posts that go against those guidelines remain unflagged. Since moderation is part of their service, I think it still aligns with the definition. However, you are also correct. I didn't mean it strictly in the exact sense but was also referring to a general decline, regardless of their business model.
by kathir05 | 2025-06-12 05:56:20+00:00
This is an interesting read!

For loop, if else are replaced by LLM api calls Now LLM api calls needs

1. needs GPU to compute the context

2. Spawn a new process

3. Search internet to build more context

4. reconcile result and return api calls

Oh man! if my use case is simple like Oauth, I would solved using 10 lines of non LLM code!

But today people have the power to do the same via LLM without giving second thought about efficiency

Sensible use of LLMs still only deep engineers can do!!

But today, "Are we using resources efficiently?", wonder at what stage of tech startup building, people will turn and ask this question to real engineers in coming days.

Till then deep engineers has to wait
by kseistrup | 2025-06-12 05:56:34+00:00
In my opinion, “I'ma eat you, coz I am more entitled to live that you are” is unethical. But then again, I also chose a plantbased diet.

It is impossible for more complex organism to live on Earth and not feast on other organisms, so you could say I should avoid eating plants too. Correct, but since I cannot avoid killing other beings, I have chosen the path of less overall suffering.
by trws | 2025-06-12 05:57:00+00:00
I’m rather hoping there’s something better, but various CAD formats support specifying assemblies of objects, and joints between those objects that can represent properties like that. Often this comes with at least some level of simulation, or if not simulation imposed constraints like in the FreeCAD assembly workbench, allowing you to move connected parts in the assembly but only through the range permitted by the “joint”. I quote that because that includes things like meshed gears, linear slides, ball joints, all kinds of things like that some of which I would not call joints as such.
by bluefirebrand | 2025-06-12 05:57:24+00:00
I'm the same as you. A series of 2-3 year gigs. Some I left because I was bored and not getting any new challenges. Some I was laid off from. Some I left because for some reason everything I enjoyed about the job fell apart. My favorite coworkers left, the executives clawed back all the nice perks, etc

I'm in this situation right now. Just passed the three year mark and the new executive team is starting a rodeo

I honestly feel very down on myself, as if I'm incapable of staying at a job more than 3 years. Like I'm making excuses for moving on, not reacting to a change in reality
by jeffhuys | 2025-06-12 05:58:23+00:00
Nah, you did. They just gladly facilitated your tendency to procrastinate. At any moment you can decide to not use them. I know it’s hard, struggling with it myself. But don’t act defeated, you aren’t a victim. You’re free in your actions. Besides, the feeling it once gave will never be reached again, it’s like chasing a high.
by freddie_mercury | 2025-06-12 05:59:26+00:00
The studies don't show they have a more accurate model of the world. The studies overwhelming only test the immediate judgements of their own behaviour and performance.

The more limited studies with different methodologies have found their judgement of other people's behaviour and performance is wrong. And that if you ask them after a delay (e.g. forcing them to use recall) instead of immediately, they are also wrong.
by lutusp | 2025-06-12 05:59:43+00:00
> Research suggests Big Bang may have taken place inside a black hole

The title's use of the word "research," and the paper's content, suggest the idea resembles science more than speculation. But in fact, the paper has no observational evidence, nor a proposal for acquiring evidence, to distinguish it from other similar speculations.

To put it simply, at the center of a black hole is a singularity, a domain where existing theories can offer no guidance. So a new idea about singularities -- about black holes -- should suggest a testable property, to distinguish it from other similar ideas.

I say "idea" here to avoid use of the term "theory," which in science requires observational evidence to move past the realm of speculation.

Don't get me wrong -- speculations have an important role to play in science. But tendentious phrases like "research suggests" wrongly imply the presence of something more than speculation.
by taeric | 2025-06-12 06:00:24+00:00
This mostly fails a sniff test to me? And indeed, reading the linked article doesn't support your editorializing. To quote: "There is some evidence that they had poor fishing skills, but other factors may have contributed more to their failures"

The idea that they were not nearly as efficient at building a town as they could have been is not at all surprising. All the more so when you consider just how different the storm season was compared to what they were used to.

But the idea that they failed due to their own inadequacies feels like a stretch? Like, had they "stayed home" what kind of life do you think they had there? People used to have to do far more of their own survival than modern people can really understand.
by zeech | 2025-06-12 06:00:41+00:00
From https://calyxos.org/news/2025/06/11/android-16-plans/ -

> Google did not publish any device-specific source code for supported, modern Pixel devices.

> In previous years, Google released full device trees alongside new Android versions. This allowed developers to build and boot AOSP on Pixel hardware relatively easily.

> With Android 16, only the platform/framework code has been released. The device trees are missing, at least for now.

> This means AOSP 16 cannot currently be built or run on any recent Pixel device easily just using official source. It’s unclear whether this is a delay or a policy change. Either way, it seriously disrupts custom ROM development and our porting efforts.
by Aurornis | 2025-06-12 06:01:01+00:00
> some studies show that mildly depressed people have a more accurate model of the world

This is called the “depressive realism” hypothesis and there’s more evidence against it than for it.

The studies don’t show “more accurate model of the world” like the depressive realism pushers claim. They show isolated things like depressed patients performing slightly better in some arbitrary gamified task. There are studies that have the results going the other way, too.

It’s well understood that depressive episodes cause cognitive distortions that lead to overestimating the effort required for tasks, underestimating how easily things can be changed for the better, or ruminating on things that don’t matter.
by PaulShin | 2025-06-12 06:03:32+00:00
This is a fantastic question that gets to the heart of a huge pain point in applied AI. You're not missing something obvious; you've just discovered a gap in the market that we're obsessed with solving at my startup, Markhub.

Your problem of cleaning a dataset ("remove all records without foul language") is functionally identical to the problem our users face every day: cleaning up messy team conversations ("turn this chaotic chat into a clear list of tasks").

Our approach has been to build an AI agent, MAKi, that acts as an interface layer on top of unstructured data. Instead of writing complex scripts, our users simply talk to MAKi.

For example, they can highlight a long conversation and give it a prompt like, "Extract all action items from this, assign them to the relevant person, and set due dates for next Friday."

MAKi parses the request, understands the context, and generates structured To-Do items, effectively "cleaning" the conversational data into an actionable format. We call this a "Conversation-Driven Workflow."

While our use case is collaboration, the underlying technology to "interact with a dataset via prompts" is exactly what you're looking for. It seems like the next wave of AI tools won't just be models, but intuitive interfaces for manipulating data with natural language.
by danybittel | 2025-06-12 06:05:01+00:00
If you say 1 pass bucket sorting.. I assume you do sort the buckets as well?

I've implemented a radix sort on GPU to sort the splats (every frame).. and I'm not quite happy with performance yet. A radix sort (+ prefix scan) is quite involved with lot's of dedicated hierarchical compute shaders.. I might have to get back to tune it.

I might switch to float16s as well, I'm a bit hesitant, as 1 million+ splats, may exceed the precision of halfs.
by fc417fc802 | 2025-06-12 06:05:48+00:00
Which makes life more difficult for downstream projects. However the recent release didn't include the usual device-specific sources.

> This means AOSP 16 cannot currently be built or run on any recent Pixel device easily just using official source. It’s unclear whether this is a delay or a policy change. Either way, it seriously disrupts custom ROM development and our porting efforts.

https://calyxos.org/news/2025/06/11/android-16-plans/
by fjfaase | 2025-06-12 06:06:35+00:00
I agree with the article, except for the last section, because many times the reason for me to quit was a manager who did not give himself, but was playing the game of pleasing upper management and not giving a shit about the hard working team. Also thr suggestion that you as a software engineer does not bring yourself to the table, is wrong, otherwise there would not be any developers suffering from burn-outs.