MurphyA/hacker-news huggingface dataset:
by deadbabe | 2025-06-13 17:49:39+00:00
Do recruiters not exist these days? The last time I looked for a job, which was pre-pandemic, a recruiter took care of finding suitable jobs for me and I barely had to lift a finger, just do some interviews with good companies until I got a good offer. And they got paid a % of my accepted final salary.

Is this model now completely broken? If I was looking for a tech job again I doubt I’d fill out hundreds or a thousand of applications myself, I’d rather just pay someone thousands of dollars to do that grunt work and I just show up for interviews.
by brudgers | 2025-06-13 17:50:20+00:00
Even more importantly, over time a sagging roof that holds water will sag more due to the weight of the water and being a "universal solvent" standing water degrades most materials.

At best, you will probably get leaks. At worst, catastrophic [1] structural failure.

On the other hand, reroofing can be relatively expensive [2] and disruptive and rope is cheap and everyone has their own risk tolerance and budget.

[1] "catastrophic" in the engineering sense of material failures.

[2] Particularly fixing a fundamentally flawed design. And standing water is a symptom of a fundamentally flawed design.
by OutOfHere | 2025-06-13 17:50:36+00:00
> All of us here have been to school and know how utterly unimportant it is.

I think the same can be said for companies. All of us here worked at companies and know how utterly unimportant most of them, or at least most of their projects, are.

> If I had an important job

They don't exist for the most part, at least 90% of them in our line of work aren't.
by mananaysiempre | 2025-06-13 17:50:38+00:00
> Strongest was Cells[0], a library for Common Lisp CLOS. The earliest reference I can find is 2002[1], making it over 20 years old.

How about Microsoft DirectAnimation[1] from 1998, literally designed under the direction of Conal Elliott? Serious question, for what it’s worth, I’ve always wondered if all discussions of this thing are lost to time or if nobody cared for it to begin with.

[1] http://sistemas.afgcoahuila.gob.mx/software/Visual%20Basic%2...
by vietthan | 2025-06-13 17:50:46+00:00
TIL there is an organization for fraud examiners and that they have a podcast!

Top 5 frauds apparently:

1. Boeing to plead guilty to fraud in US probe of fatal 737 MAX crashes [1] - btw apparently criminal charges being dropped by DOJ [2]

2. Truong My Lan facing death row after embezzling $12 billion from Vietnam's bank SCB [3] - btw apparently now it's only 30 years [4]

[1] https://www.reuters.com/business/aerospace-defense/boeing-pl...

[2] https://www.bbc.com/news/articles/c4ge0lpqpyro

[3] https://www.cnn.com/2024/12/06/asia/vietnam-truong-my-lan-de...

[4] https://www.cbsnews.com/news/vietnam-death-sentence-tycoon-t...
by carabiner | 2025-06-13 17:50:54+00:00
Skimmed your comment, it's a classic example of tech worker blaming user error instead of recognizing potential disastrous effects of software. Tech has swallowed the world and has hollowed out life due to its endless forms of distraction. The lack of empathy and appeal to deregulation in your comment is essential to furthering adtech's march across the internet and our lives.
Ask HN: How to be compliant with the AGPL licence?
by movebx101 | 2025-06-13 17:51:14+00:00
We’re considering using an AGPL-licensed database tool as part of our saas. AGPL has always felt a bit scary. It’s got a reputation for being “viral” ( in a way that even companies like Google explicitly avoid it in their projects. There’s a lot of FUD and ambiguity around what it means to be compliant — especially for server-side use. I have read about how companies like iText or MinIO that are kind of abusing the licence to get you to pay for a subscription to their services.

Our plan to be compliant is:

Fork the AGPL repo and modify it slightly for our workload

Publish our changes in a public GitHub repo under the same AGPL license (linking the original repo)

Publish that version as an npm package

Use that package in our Node.js server

Add a clear link to the source on our website (in docs or footer)

There’s no private fork — just a clean public repo that exactly matches what we run in production.

Would this be enough to comply with AGPL’s network-use clause? Or do we need to go further, e.g. display the AGPL license explicitly in our app UI, or provide the source in a different way?

Has anyone here dealt with this in production? We want to do the right thing, even if it means to not use the project at all.
by eadmund | 2025-06-13 17:52:12+00:00
> I’ve always used em-dashes (mild typography nerd) but recently have been considering stopping, for exactly this reason. They always flew under the radar a little, but I’d always notice when others used them, so it’s a shame and I’ll miss them.

Please don’t stop using them. Keep on doing the right thing, no matter what!

(I love em dashes too!)
by amendegree | 2025-06-13 17:52:15+00:00
> “It worked kinda well”

So comforting, even you, an avowed Zionist hater (in your own words), (and imo terrorist apologist) couldn’t lie enough to claim that they were actually effective.

Would you get on a plane that “worked kinda well”. Would you trust a heart surgeon who said he was “kinda ok”.

Iran has continuously called for the total destruction and death of all Jews and all of western civilization for the last 40+ years as a religious mandate demanded by their god, what makes you think they would ever stop pursuing that?
by potato3732842 | 2025-06-13 17:52:19+00:00
A huge fraction, perhaps even the majority, of the "discussing consumer products" part of the internet is just people who overpaid for NiceStuff(TM) trying to gaslight everyone else into thinking it was a great value for money so that they can feel justified in their purchase.

So he's kind of on to something. But yeah, probably just got a rare dud.
by tombh | 2025-06-13 17:52:22+00:00
Thanks for trying it out. It looks like either your terminal or screenshotter isn't faithfully rendering the pure red marker column (it's needed for calibration in the parser). The red should be #ff0000, but the screenshot is using #ea3323. I've made a Github issue to keep track https://github.com/tattoy-org/tattoy/issues/98 If you can add more details it'd really useful, I'm sure there'll be more people like you.
by PaulHoule | 2025-06-13 17:52:34+00:00
What's "progressive" about installing software?

It's always saddened me that people failed to understand the web platform, and never more so than today when that platform could be on the verge of extinction.

Young people don't remember this: in the 1990s if a big corporation wanted to make a 1-line change to an application deployed to a fleet of desktops they'd have to update every single machine and to do so they'd probably have to hire at least 1 FTE and probably more for installer engineering and other makework.

With the web it is often

git pull

on the server and you're done!

As it is I can find web sites with search, links from other sites, bookmarks and history. If you "install" applications you just clutter up your desktop with 300 icons for applications you don't really use which makes it hard to find the 2-3 that you really use.
by jandrese | 2025-06-13 17:52:57+00:00
IMHO there are only 2 requirements for a good password:

1. It must be close to impossible for a computer to guess.

2. It must be easy for a human to remember.

Virtually all password policies focus exclusively on point #1, with the vast majority just giving cargo cult instructions without really understanding the state of the art. Almost nobody puts any emphasis on point #2, which is arguably more important as it is the source of most breaches. If a person can't create a password, ignore it for a week, and then remember it immediately for the next login it's a bad password. This is where requirements like "no more than two characters from a character set (lower case, upper case, numbers, punctuation) in a row" are actively counterproductive. If the password has to be so convoluted that the user is forced to write it down then you've undermined your own security. Worse, it means the help desk will be forced to reset many many passwords which increases the chances of an impersonation attack succeeding.
by JCattheATM | 2025-06-13 17:53:31+00:00
I'm not avoiding the answer, and I've answered your question more than adequately. It seems you want hand holding each step along the way. Are you perhaps unaware that the coreboot implementation is called verified boot rather than secure boot?

I've shown it's possible to flash hardware and have an entirely open source and auditable secure boot implementation which is better than your current solution in a number of ways. That was all I had a burden to prove, and I've met it.

If you want further help or convincing, I'd suggest interacting with an AI to get answers to your questions.
by eadmund | 2025-06-13 17:54:10+00:00
> ChatGPT uses a combination of characters to fingerprint its output.

Does it, or are you inferring a fingerprint based on your own experiences?

> Most humans type straight quotes instead of using shortcuts like Alt+0146 or Option + Shift + ]

Well, I use X11, and ’ is an easy Compose ' >.

Most humans do all sorts of foolish stuff. Modern computers are not typewriters; we have the full panoply of Unicode at our literal fingertips!
by qualeed | 2025-06-13 17:54:13+00:00
Most frameworks, at least most that I am aware of (north america) have removed password rotation requirements entirely, or have exemptions in place if you have MFA, use risk-based access policies, etc.

Often when people say this, they are parroting their assessor. But not every assessor graduated at the top of their class, or cares to stay updated, or believes that they know better, etc.
by codingdave | 2025-06-13 17:55:04+00:00
> The four new Army Reserve Lt. Cols. are Shyam Sankar, Chief Technology Officer for Palantir; Andrew Bosworth, Chief Technology Officer of Meta; Kevin Weil, Chief Product Officer of OpenAI; and Bob McGrew, advisor at Thinking Machines Lab and former Chief Research Officer for OpenAI.

I've always said that the FUD surrounding AGI destroying humanity is silly, as long as we aren't so stupid as to bring AI into military decisions. This group of leaders doesn't bode well from that perspective.
by JCattheATM | 2025-06-13 17:56:07+00:00
> The open source feature of Secureboot is true only if you have replaced the laptop firmware with Coreboot, which is compatible only with few, mostly old, laptops.

Plenty of newer stuff that is explicitly open like the system 7 and framework stuff also.

> Even in that case, a laptop with Coreboot will still use closed-source components that cannot be trusted,

As does any solution relying on a BIOS.

> If someone steals the device, I cannot see any difference between our 2 setups.

In my setup, if the laptop is stolen, the thief is able to use a limited OS that give them all the functionality they would need while running a locator service in the background, allowing the hardware to be recovered, while preventing access to encrypted data.

It doesn't sound like your setup allows for that.

> However in the case that relies on the internal firmware and TPM to protect the keys, there are more sophisticated hardware attacks against the motherboard,

No matter what, using a BIOS makes you a lot more vulnerable than using any form of secure boot. It's a significantly more vulnerable standard.
by zozbot234 | 2025-06-13 17:56:11+00:00
> It's a high bar, but I think that's fair for declaring superintelligence.

I have to disagree because the distinction between "superficial similarities" and genuinely "useful" analogies is pretty clearly one of degree. Spend enough time and effort asking even a low-intelligence AI about "dumb" similarities, and it'll eventually hit a new and perhaps "useful" analogy simply as a matter of luck. This becomes even easier if you can provide the AI with a lot of "context" input, which is something that models have been improving at. But either way it's not superintelligent or superhuman, just part of the general 'wild' weirdness of AI's as a whole.
by joshstrange | 2025-06-13 17:56:32+00:00
While obviously the color and type of candy does not matter and I understood the reference, I can't find anything on google when I look for "no green jellybeans" so I wanted to link what you are referring to which is the "No brown M&M" clause that Van Halen had in their contracts:

https://www.snopes.com/fact-check/brown-out/
Show HN: Dead simple clock for hidden menubar users
by muvich3n | 2025-06-13 17:57:15+00:00
I love keeping my menu bar hidden for a cleaner, distraction-free workspace. But constantly moving my cursor to the top just to check the time got annoying. IYKYK.

So I built Corner Time - a minimal app that displays the current time in a carefully positioned screen corner, gives you instant time access while keeping your menu bar hidden. Quite simple, but it's genuinely improved my daily workflow.

Features:

• Always-visible time display • Customizable time format • Customizable font style

I've been dogfooding this for weeks and it's become essential to my setup. With more Mac users embracing hidden menu bars (especially since recent macOS updates), figured others might find it useful too.

Currently free on the Mac App Store - would love feedback from fellow hidden menu bar enthusiasts!
by lisper | 2025-06-13 17:57:24+00:00
It only seems incredibly slow in this model because it doesn't take special relativity into account. If it did, then as you approached the speed of light the Lorentz contraction would make wherever you are heading appear less far away. You can in theory get anywhere in the universe in an arbitrarily short amount of proper time your own reference frame. Of course, you might not survive the G-forces, but that's another matter.
by franklin_p_dyer | 2025-06-13 17:57:36+00:00
Really cool post! This is an awesome idea and I'd love to see more of these. :-)

Maybe these won't be the kind of thing you are looking for, but here are some gems that would be cool to see formalized, some of which I've been meaning to do myself someday:

- There are many parts of the book "A Course in Constructive Algebra" (Mines, Richman, Ruitenburg) worthy of being formalized, but even just the discussion of "omniscience principles" in the first chapter would be cool.

- I absolutely love Sierpinski's book "Cardinal and Ordinal Numbers", and although I'm not sure it would be considered a book of "intuitionistic mathematics", he is careful enough about pointing out where he uses AoC for parts of his book to be suitable for consideration. The results and exercises in VI.5 "Axiom of choice for finite sets" are probably my favorite in the whole book and would be awesome to see formalized.

- Tarski's Theorem about Choice: https://en.wikipedia.org/wiki/Tarski%27s_theorem_about_choic..., particularly from Tarski's original paper (though it is in French).

- I am not sure about a historical article/source for this one, but formalization of some results about Dedekind-finite and Dedekind-infinite sets (https://en.wikipedia.org/wiki/Dedekind-infinite_set) could be really fun. I find these to be very counterintuitive.
by kathir05 | 2025-06-13 17:58:35+00:00
some say "wisdom comes with age".

Though I don't completely agree but won't completely ignore.

I see this applies to tech as well.

When you start as junior you tinker with boilerplate code. everything seems magical. As you grow learn and becomes wiser, things what seemed magical before become logical

After 10 years, surface level saturates. You will start to dig deeper. Things will again start to become magical and then slowly fades into logical.

Then you go deeper and again process repeats.

More deeper you go, you will find the luxury to shake the surface level toys. Some innovation happens at surface level, but you are deep down still going.

There is not end line. You retire when you want to stop. Your choice!

But much more still to be explored! Humanity continues!

In short, As you grow, go deeper, become wiser, shake the status quo, innovate, repeat. Surface level people will Go gaga. But you don't react because you are still going deeper...
by tguvot | 2025-06-13 17:58:36+00:00
multiple rounds of negotiations happened after rabin death. camp david in 2000 for example which resulted in second intifada. taba. etc. negotiations continued till 2013 or so.

even Netanyahu, which was elected after Rabin death signed follow up agreements to Oslo as result of which Israel handed over Hebron and additional areas in west bank to PA.

It wasn't failure of "broad democratic electorate to push for peaceful resolution" but violence of second intifada and non-compliance of PA with oslo accords from very beginning: http://israelvisit.co.il/BehindTheNews/WhitePaper.htm
by potatolicious | 2025-06-13 17:58:50+00:00
Pretty sure existing law already covers this - malicious misuse of a computer to cause damages to someone is already illegal, and the relevant statutes aren't opinionated about how this is done.

I suspect a SQL injection attack, a XSS attack, and a prompt injection attack are not viewed as legally distinct matters. Though of course, this is not a matter of case law... yet ;)
by rockemsockem | 2025-06-13 17:58:58+00:00
Not the person you're responding to, but JWT, SLS, and several other projects have suffered extreme bloat in both cost and timeline. Mega projects like that are some of the most public -facing things NASA does, so they unfortunately tend to drive public perception.

I will never argue that NASA doesn't accomplish amazing things, but large parts of the organization are ineffective. IDK if I'd go so far as to say the entire organization is ineffective, but large parts are.

I also don't think we should cut NASA's budget at all. We should cut the bloat and redirect it to more projects.
by Nextgrid | 2025-06-13 17:59:04+00:00
So the same idiots who spammed the existing channels to death and made them unusable will now use your tool to spam the only channel with some signal still left in it until _that_ channel also becomes worthless?

Maybe at least make it invite-only? Pay a deposit, have a chat with a human, and if the candidate isn't a spammer then they get access to the tool with rate-limits?
by ycombobulator | 2025-06-13 17:59:17+00:00
I'm sorry that was your experience. You are correct that all must die. Unfortunately, most don't reckon with that fact until it is too late. Simply offering assisted suicide as an option doesn't solve that problem. It creates a much worse social problem and perverse incentives.

Refusing respiratory therapy or medication is not assisted suicide. Nobody has to die in an ICU or hooked up to tubes if that is not their choice and they prepare properly. And as you note, hospice painkillers given to alleviate suffering also not assisted suicide even if it has a double effect in accelerating inevitable death.

If you want to prepare an alternate plan to blast your brain out on drugs to the point of death that's your prerogative. That doesn't mean we should create a system where we doctors are in the business of deliberately killing their patients on demand (or worse, as it leads to, pushing this "service" on their patients).
Requesting ArXiv cs.PL endorsement for Py2C (Python-to-C compiler)
by lixiasky | 2025-06-13 17:59:56+00:00
Hi everyone,

I'm an undergraduate student with a passion for compilers and low-level systems. Recently, I built *Py2C*, a minimalistic Python 3.10-to-C transpiler, and just finished writing a paper about it that I'd like to submit to arXiv (category: `cs.PL`).

- Written in Go, it parses Python using `ast`, serializes to JSON, and emits compilable C - Supports type inference, class-to-struct conversion, method lowering, control flow - Fully self-contained, with no external dependencies — tested on M1 Mac with `gcc` - Code: https://github.com/lixiasky/Py2c

I'm now looking for *someone who has published in `cs.PL`* to kindly endorse me on arXiv, so I can submit this work.

If you're willing to help, arXiv provides this endorsement link:

https://arxiv.org/auth/endorse?x=UK6GBG or go to https://arxiv.org/auth/endorse.php and enter the code: `UK6GBG`

I’d be truly grateful. This is my first compiler project and first paper submission attempt. I’m happy to answer questions or clarify anything.

Thank you for your time Email: lixiasky@protonmail.com
by danesparza | 2025-06-13 18:00:06+00:00
>> While I always express gratitude and try to pay it forward, I often feel there's still an imbalance. I feel like I owe something more direct to the specific people who shaped my life.

This is the beauty and ache that comes with growing up. This is a good thing. I agree with so many others in this thread that the best thing you can do is help others at this point.

You're going to realize that's the position those people that helped you were in: they made a choice to help you.
by msgodel | 2025-06-13 18:00:34+00:00
Not an older person but I genuinely don't like wearing jeans and t shirts and I never have. t shirts make me feel like I'm trapped and jeans are stiff and unpleasant (and always feel shaped wrong.) Also wearing what are essentially corporate ads on my body just feels brain dead.

Shorts and a Hawaiian shirt are comfortable but I guess that's still not ok in the office even though everyone wants to pretend they don't care.

Whatever it's not like I'd accept a non-remote job these days anyway.
by hinkley | 2025-06-13 18:00:49+00:00
30 minutes versus 60 is really an hour versus two.

Some coworkers and I noticed a long time ago that once you try to task switch while doing build/test automation steps, it always seems like you remember to come back and check about twice as long as the compile was supposed to take. 7+ turned into 15, 15 into a half hour.

And then one day it hit me that this is just Hofstadter’s Law. You think you have ten minutes so you start a ten minute task and it takes you twenty, or you get in a flow and forget to look until your senses tell you you’re forgetting something.

Cutting 10 minutes off a build really averages 20 minutes in saved time per cycle. Which matters a hell of a lot when you go from 4 to 5 cycles per 8 hour day.
by fragmede | 2025-06-13 18:01:13+00:00
How would that evidence exist? Aider writes how much code was generated in each release, and it's in the 80%s, but what you're asking for is for someone to do a timed trial on writing a bit of code unassisted, then for that same person to write the same bit of code with LLM assistance and also with forgetting the first version they wrote. Are we so caught up in proving they're not idk that we're stuck with the parachute engineering/science problem? Because, scientifically, the only way we can know parachutes are any good is to test the hypothesis by throwing the control group out of the plane without parachutes and comparing them to a group of people who jumped out of the plane with parachutes.
by verisimi | 2025-06-13 18:01:40+00:00
Define 'casual sex'. (Perhaps define the opposite too.) And then, think across the breadth of the American people you know and all those other people you don't - across different ages, places, religions, circumstances, etc. And then say that tell me you know that 'casual sex' is the general behaviour and attitude of everyone.

And then, go back to the original point for a bonus, and consider what you know about the general behaviour and attitudes are of the people in England 400 years ago.