MurphyA/hacker-news huggingface dataset:
by alexdriedger | 2025-08-02 07:29:38+00:00
To clarify the dual license, our connectors are under MIT and the core of Pontoon is under ELv2. We should have an FAQ to clarify that, since, as you mention, the license file isn't the most user friendly to read.

Pontoon is free to use and anyone can deploy it, we just want to have the protection in place in case we want to offer a managed version of Pontoon in the future for those who don't want the hassle of self-hosting.

We chose to go with ELv2 to be upfront from the start with what the license is, rather than the common trend we've seen with open source projects of starting with MIT/Apache 2.0 and then changing their license afterwards. We're really not trying to trick anyone here, we have both licenses listed right at the top of the readme.
by MartinMond | 2025-08-02 07:30:57+00:00
Nutrient | Senior TypeScript SDK Engineer | Full-time | Remote

We're looking for a Senior TypeScript SDK Engineer to join the team responsible for the Nutrient Web SDK.

It is a toolbox for web engineers and application developers who need a painless way to render, edit and process documents. It either runs client-side using WebAssembly or connects to the Nutrient Document Engine. Take a look at its API docs to get an understanding of the scope involved: https://www.nutrient.io/api/web/

More details & application here: https://ats.rippling.com/en-GB/nutrient/jobs/27613cfa-84eb-4...

Nutrient | Senior Internal Tools Engineer | Full-time | Remote

We’re looking for someone who will work on our internal applications - primarily built with Ruby on Rails and Postgres - which power everything from product development and licensing workflows to revenue analysis and operational management across Engineering, Sales, Product, and Finance.

More details & application here: https://ats.rippling.com/en-GB/nutrient/jobs/66934d69-fd40-4...
by Sniffnoy | 2025-08-02 07:32:37+00:00
Location: New York City Remote: Yes Willing to relocate: Probably not Technologies: JavaScript, TypeScript, C, Haskell, Solidity, C#, MUMPS Resume: https://haltman.neocities.org/resume.pdf Email: harry.j.altman@gmail.com

Hi, I'm Harry Altman! I was the maintainer of Truffle Debugger (https://github.com/trufflesuite/truffle/tree/develop/package...), a Solidity smart contract debugger, for 5 years. I eventually ended up writing my own decoding and encoding libraries to support it, as well as a bunch of other things.

I'm good at this sort of nitpicky work, spotting and thinking about edge cases. I like getting things exactly right, even though that obviously isn't always possible due to various constraints. I've been kind of wondering if I should get into embedded development; I find it appealing when things are low-level or similarly constrained. I've beaten Microcorruption. :) (The original levels, I haven't played the new ones.)

I'm also quite interested in unusual or obscure data formats, and working on Truffle Debugger and its associated libraries certainly involved a bunch of having to figure undocumented formats and interfaces. :) I put down above what languages I've worked substantially in but I'd say I'm a generalist and will figure out whatever you give me (I knew approximately no Javascript, Typescript, or Solidity when I started working at Consensys).

I'm a mathematician by background and in my spare time, so after the Truffle Debugger project was shut down I took some time off to focus on my mathematical projects. But now I'm looking for work again! If you need someone like me, I'm available for hire!
by SebastianSosa1 | 2025-08-02 07:32:39+00:00
VERIS AI

Cracked engineers (who can research)

Cracked researchers (who can engineer)

Raised 8.6M seed

Building the full vertical for optimizing agents. From scenarios, to simulation, to fine tuning.

Apply to whatever here, you'll likely be wearing all hats anyways: https://jobs.gusto.com/boards/veris-technologies-inc-dadc87f...

Learn more here https://veris.ai/
by gwd | 2025-08-02 07:32:57+00:00
So now having read one of the original reports [1], and not being able to see the response he claimed he and other women had written (they're mentioned in the post but not linked to), it's hard not to think that there was potentially problematic behavior which was done somewhat in ignorance.

In this situation, I think Jesus' advice actually makes a lot of sense:

> “If your brother or sister sins, go and point out their fault, just between the two of you. If they listen to you, you have won them over. But if they will not listen, take one or two others along, so that ‘every matter may be established by the testimony of two or three witnesses.’ If they still refuse to listen, tell it to the church; and if they refuse to listen even to the church, treat them as you would a pagan or a tax collector." [2]

So according to Yifan's blog, she did step 1 -- she directly confronted Jon, and he refused to consider his behavior as problematic.

Imagine what would happen if she'd told her story to some of the Scala leadership; and instead of having a coordinated blog post, three of them went and had a conversation with Jon together. That would have been a much stronger signal to potentially change his tune -- whether or not he thought he'd done something wrong, he might well have decided not to do that in the future, for fear of consequences: Which, would really be the main point.

If after that he continued the behavior described in the blog post, they could have gone public, and demanded specific changes in behavior. If he apologizes and changes, fair enough, move forward. If he doubles down, then cancel him.

As it stands, Jon seems to be "back", still doesn't think what he did was wrong. Maybe he'll be more careful this time, or maybe he'll be emboldened.

[1] https://medium.com/@yifanxing/my-experience-with-sexual-hara...

[2] https://www.biblegateway.com/passage/?search=Matthew%2018%3A...
by benlivengood | 2025-08-02 07:34:39+00:00
For the receiving side the user needs `receive` permission for the dataset to receive new snapshots, but it's convenient to grant `create,mount` as well so the user can send new child datasets which may have mount options in the source dataset, relying on inheritance for the allow permissions to apply to the child datasets.

On the sending side `send` is enough, but for tools like syncoid and znapzend `hold,release` are useful as well since typically they hold the latest snapshot on the source which the destination also has so that it can't be deleted on the source before it's used to send an incremental stream up to a newer snapshot only available on the source.
by diarrhea | 2025-08-02 07:34:46+00:00
Yes, and that cannot work: if a task is unlocked but in 'executing' state, how was it unlocked but its state not updated?

If a worker/processor dies abruptly, it will neither unlock nor set the state appropriately. It won't have the opportunity. Conceptually, this failure mode can always occur (think, power loss).

If such a disruption happened, yet you later find tasks unlocked, they must have been unlocked by another system. Perhaps Postgres itself, with a killer daemon to kill long-running transactions/locks. At which point we are back to square one: the job scheduling should be robust against this in the first place.
by lazide | 2025-08-02 07:35:00+00:00
What will really happen is people will just tune out all women due to this, because it’s more convenient. It’s not like they get paid to pay attention eh?

And the pendulum swings.

In office environments anyway, the false accusations I’ve seen were easily an order of magnitude more common than actual issues. Transparently so.

When investigating, I’ve had multiple women flat out admit they were making the accusations to get retribution or leverage to get the accused party to go back to them.
by meekaaku | 2025-08-02 07:35:47+00:00
why the negativity? no one bats an eye when ronaldo/messi or steph curry or other top athletes get insane salaries.

These AI researchers will probably have far more impact on society (good or bad I dont know) than the athletes, and the people who pay them (ie zuck et al) certainly thinks its worth paying them this much because they provide value.
by nunez | 2025-08-02 07:36:10+00:00
Misinformed take IMO.

M-series chips are insanely cool (literally and figuratively) and have no competition even five years in. Same with the W-series SoCs on watches.

Are there any third-party haptic vibration motors yet?

Shoot, even their trackpads, which already stood alone, have gotten _better_ over the years.

Nobody else will have their own vertically-integrated modem out in production. This will make budget iPhones (maybe all iPhones) so much cheaper once they show Qualcomm the door.

That's before the advances they've made in software, like their camera processing pipeline (which only gets better; their video stack still has no equal) and differential privacy.

Oh, yeah, and the Vision Pro, which basically everyone who has tried it has said that it is the most advanced technology they've ever used.

Almost all of this happened under Cook's tenure.

Apple is still in the business of building insanely cool shit.
by rizzkitpro | 2025-08-02 07:36:22+00:00
Hey HN,

I know what some of you might be thinking: another "AI rizz" app. And you're not wrong, but I built this because I was genuinely frustrated with the state of the market. I tried the existing apps and they were all just lazy API wrappers spitting out the same robotic, cringey lines.

So, I decided to build my own with a different core philosophy. Instead of just generating generic text, I spent months grinding on the prompt engineering to create replies based on conversation context. The goal isn't just to give you a line, it's to give you an angle and help you control the frame of the conversation. I've been calling it my RaaS (Rizz as a Service).

The tech stack is native Android with major LLMs API on the backend. The real work has been a deep dive into the art of prompt design to make the AI sound less like a machine and more like a charismatic friend.

I've finally launched a closed beta for Android, and I'm looking for honest, brutal feedback from a technical and product-minded audience. I'd love to know if the AI actually feels clever, if the product is intuitive, and if the core concept is something you find interesting.

It's a closed Google Play test, so I need to add your Gmail address to the allowlist before you can download it. You can either: Drop your email on the landing page: https://www.rizzkitpro.com Or, if you prefer, shoot me a an email at the regular email addresses like support @ rizzkitpro.com

Happy to answer any questions below about the tech, the struggles of prompt engineering, or the business model.

Thanks for checking it out.
by benreesman | 2025-08-02 07:37:12+00:00
I don't get the down votes. Any good leftist likes seeing skilled workers having unskilled rentiers over the barrel.

Personal anecdote time. One of the people named in the press as having turned down one of these hyper-offers used to work in an adjacent team, same "pod" maybe, whatever adjacent. That person is crazy smart, stands out even among elite glory days FAANG types. Anyways they left and when back on the market I was part of the lobby to get them back at any price, had to run it fairly high up the flagpole (might have been Sheryl who had to sign off, maybe it was Mark).

Went on to make it back for the company a hundred fold the first year. Clearly a good choice to "pay over market".

Now it's a little comical for it to be a billion or whatever, that person was part of a clique of people at that level and there's a lot of "brand" going into a price tag like that: the people out of our little set who did compilers or whatever instead of FAIR are just as good and what is called "AI" now is frankly not that differentiated (the person in question maintained as much back in the day).

But a luck and ruthlessness hire like Zuckerberg on bended knee to a legitimate monster hacker and still getting dissed? Applause. I had Claude write a greentext for the amusement of my chums. I recommend it kek.
by xlii | 2025-08-02 07:38:12+00:00
As a counter point - I just downloaded Canabalt from Apple Store, that wasn't updated in 7 years and it works just fine. The oldest app I found (that still had App page) are 10 years old without updates and I see many released in 2011 that I can download but doesn't have app page anymore.

My point is that one cannot make an argument over bad implementation. E.g. Sony is known for pulling down games or even stores for older devices whereas Steam allow people to download games bought decades ago.
by PeterStuer | 2025-08-02 07:38:31+00:00
Given that for a non quantized 700B monolithic model with let's say a 1M token context, you would need around 20TB of memory, I doubt your spark or M4 will get very far.

I'm not saying those machines can't be usefull or fun, but it's not in the range of the 'fantasy' thing you're responding to.
Ask HN: How to visualize all human thought
by poorcedural | 2025-08-02 07:38:33+00:00
One of you AI researchers with almost all data and cheap compute has already thought of this. What would it look like to visualize all human knowledge?

1. Tag all content with a date (probably almost done). In long passages, estimate a date based on published + written rate. 2. Once every sentence or phrase has a date, create a few blockchains. One for short thoughts (128 tokens), and more chains for longer thoughts (3072+ tokens). 3. Run an LLM embeddings cosine similarity or some better metric for each tokenized idea with a threshold of say 75%, tokenized by natural punctuation if not found. 4. Only NEWish content gets stored in the block, chained if novel. Again, short and long thoughts recorded. Coordinates from the vectors. 5a. I remember reading once that working through a PhD was like pricking the inside of a balloon, I love that visualization. Every novel idea pricks the inside of a growing sphere of knowledge over time. 5b. Has anyone ever tried to map human knowledge in three dimensions? 5c. Alternatively, a tree or root system growing over time. Branching from the vectors.
by serial_dev | 2025-08-02 07:38:42+00:00
The fact is that the incumbents with all their money are in a good position to defend against anything and counterattack.

When OpenAI was making waves the first time, then Google launched their neutered incapable competitor, I thought it is “over” for Google because why would anyone use search anymore (apart from the 1% of use cases where it gives better results faster), and clearly they are incapable of building good new products anymore…

and now they are there with the best LLMs and they are at the top of the pack again.

Billions of dollars in the bank, great developers, good connections to politicians and institutions mean that you are hard to replace even if you fumble it a couple of times.
by anonzzzies | 2025-08-02 07:39:16+00:00
I agree; I would say that most can be taught to people without advanced math/logic degrees/backgrounds, but because the tools are created by (and usually for) people with formal verification majors), they are just quite bad ergonomically as you say. I think we are in a good place of making it these types of proofs easier and faster more mainstream effort, not just one professor and their students, is put behind it. I believe AI will play a part here.
by reptilian | 2025-08-02 07:40:45+00:00
Agree, my comment was more based on going through the list, and the description of the signatories in other articles: "Among those who signed the letter were seven KCs, including Lord Pannick, one of the UK’s most respected lawyers. Pannick represented the government in its Supreme Court battle over the Rwanda relocation scheme.

The peers, including some of parliament’s most prominent Jewish voices, wrote to Hermer: “We call on you to advise him [Starmer] that this would be contrary to international law."
by FreakLegion | 2025-08-02 07:41:09+00:00
Yes. Preferred shares give investors their investment back first if things go wrong.

If an investor gives you a million dollars for a piece of your company, and you turn around and sell the company for a million dollars, then the investor gets their million dollars back and you get nothing. Obviously. Any other outcome would be shenanigans.

Under standard deal terms investors get 1x, i.e. their money back. That's all.
by diarrhea | 2025-08-02 07:41:40+00:00
Your version makes sense. I understood the OP's approach as being different.

Two (very, if indexed properly) short transactions at start and end are a good solution. One caveat is that the worker can die after t1, but before t2 - hence jobs need a timeout concept and should be idempotent for safe retrying.

This gets you "at least once" processing.

> this obviously has the drawback of knowing how long to sleep for; and tasks not getting "instantly" picked up, but eh, tradeoffs.

Right. I've had success with exponential backoff sleep. In a busy system, means sleeps remain either 0 or very short.

Another solution is Postgres LISTEN/NOTIFY: workers listen for events and PG wakes them up. On the happy path, this gets instant job pickup. This should be allowed to fail open and understood as a happy path optimization.

As delivery can fail, this gets you "at most once" processing (which is why this approach by itself it not enough to drive a persistent job queue).

A caveat with LISTEN/NOTIFY is that it doesn't scale due to locking [1].

[1]: https://www.recall.ai/blog/postgres-listen-notify-does-not-s...
by conradev | 2025-08-02 07:41:40+00:00
I guess I’m curious how it applies here. The plugins communicate over a socket, and then the plugins are loaded into an editor. I assume the editor doesn’t need to be AGPL, because nvim is Apache 2 and VS Code is MIT.

But does the plugin need to be AGPL? Does it also have to be “replaceable” where a static build of nvim would violate the license? Can someone bundle a custom written client into a proprietary editor?
by ggm | 2025-08-02 07:41:49+00:00
One of my favourite Marx reminiscences is how his colleagues tried to buy him some IPR to provide for his wellbeing in later life: patent rights. Literally rent seeking on innovation. I'm not sure if it's in Emile Burns biography.

What I did or didn't read is alas occluded from you. The Masereel illustrated woodcuts on a recent edition of the manifesto are wonderful.
by fxtentacle | 2025-08-02 07:42:11+00:00
A failed LLM training run can easily be 100x more expensive than testing a bomb prototype. Accordingly, it might be worth it to splurge on the best operators to prevent misfires.

Also, the most difficult part of this job is probably that you need to lose against Zuckerberg in board games every week while pretending to try hard. That combination of extraordinary mathematics skill and extraordinary social skill is hard to come by ;)
by dwaite | 2025-08-02 07:42:48+00:00
> Supposedly bearer tokens should be ephemeral, which means either short-lived (say single-digit minutes) or one-time use.

The desirable properties for tokens is that they have some means of verifying their integrity, that they are being sent by the authorized party, and that they are being consumed by the authorized recipient.

A "reusable" bearer JWT with a particular audience satisfies all three - as long as the channel and the software are properly protected from inspection/exfiltration. Native clients are often considered properly protected (even when they open themselves up to supply chain attacks by throwing unaudited third party libraries in); browser clients are a little less trustworthy due to web extensions and poor adoption of technologies like CSP.

A proof of possession JWT (or auxiliary mechanisms like DPoP) will also satisfy all three properties - as long as your client won't let its private key be exfiltrated.

It is when you can't have all three properties that you start looking at other risk mitigations, such as making a credential one time use (e.g. first-use-wins) when you can't trust it won't be known to attackers once sent, or limiting validity times under the assumption that the process of getting a new token is more secure.

Generally an extremely short lifetime is part of one-time-use/first-use-wins, because that policy requires the target resource to be stateful. Persisting every token ever received would be costly and have a latency impact. Policy compliance is an issue as well - it is far easier to just allow those tokens to be used multiple times, and non-compliance will only be discovered through negative testing. Five minutes is a common value here, and some software will reject a lifetime of over an hour because of the cost of enforcing the single use policy.

I haven't seen recommendations for single-digit minute times for re-issuance of a multi-use bearer token though (such as for ongoing API access). Once you consider going below 10 minutes of validity there, you really want to reevaluate whatever your infrastructure requirements were that previously ruled out proof-of-possession (or whether your perceived level of risk-adversity is accurately represented in your budget)
by xeiotos | 2025-08-02 07:44:25+00:00
I always wonder if we didn’t get democracy totally backwards. As a Belgian, how could I have let my voice be heard that this is:

- a waste of time and resources

- not what I want

It sure is galling that government appears to be mostly an ever-growing and ever-more-costing pile of legacy rules, regulations and institutions, which through sheer complexity can be navigated only by big corporations or the mega-rich, who can lobby the monstrosity into doing whatever they want.

And meanwhile I’m paying upwards of 60% effective tax to support it all.
by tairrz | 2025-08-02 07:45:14+00:00
Location: Latvia, Riga.

Remote: Yes.

Willing to relocate: No, but open for business trips.

Technologies: Flutter, Android, Kotlin, Java, Jetpack Compose, Firebase, Firestore, SQL, Golang, C/C++, AWS

Résumé/CV: https://www.linkedin.com/in/tair-rzayev

Email: tair@rzayevsoftware.com

About me: https://www.tair-rzayev.com

Software engineer - generalist with 14 years of experience. Primarily specialized in Android and Flutter development.
by pachisaez | 2025-08-02 07:47:10+00:00
- Claude Code as a programming aid. - Fastmail for email. - FacileThings as a personal management system. - Obsidian with a personal knowledge system (you need to subscribe if you want your notes synced across all your devices). - Office 365, even if it's just to sync all your files with OneDrive. - Apple Music.
by net01 | 2025-08-02 07:47:54+00:00
Here's a guide to help you get started contributing:

https://github.com/LadybirdBrowser/ladybird/tree/master/Docu...

Here are the latest Web Platform (WPT) tests:

https://wpt.fyi/results/?run_id=6292901677236224

There is a Discord if you want to ask questions:

https://discord.gg/c8JEZkDvtY

Compile it yourself (it takes 15-20 minutes to fully compile) and test it on a website. Compare it to Firefox or Chrome and see what's wrong. Fix it and submit a PR.

how to build Ladybird https://github.com/LadybirdBrowser/ladybird/blob/master/Docu...
by Klonoar | 2025-08-02 07:49:08+00:00
...the hell? The discussion was about cost, and it wasn't an invitation for your strange take on what pet ownership looks like. Go spout that junk elsewhere.

I will continue to do things that require me to be away for periods of time, and I will continue to pay whatever I have to so that things work well. I feel no shame about this and the dogs are healthy as can be.