MurphyA/hacker-news huggingface dataset:
by stiray | 2025-06-24 08:16:26+00:00
This is the whole point, they should stop nitpicking and start to do it (GrapheneOS side), even if it is not going to be THE most secure phone, there is enough of features that are far more useful then just security (like privacy). I don't mind if they make it payable. With money they will get (I suspect there will be quite a bit less pixels sold) they can make a new phone that will have all the bells and whistles GrapheneOS wants and on the other side, Fairphone developers will figure out it is $$$ worthy to do it.

GrapheneOS has bunch of requirements that are expensive while Fairphone has zero chance to figure out, if investing would make any economical sense, while their normal users dont really care about that security but might regarding privacy. This is a stale-mate position.

Found info about GrapheneOS installations, 250k users(1). Lets say 25% are on old pixels. This is 60k sold pixels.

All Fairphones sold by 2022 were 400k(2).

1. 2024, https://discuss.grapheneos.org/d/12281-how-many-grapheneos-u...

2. 2022, https://en.wikipedia.org/wiki/Fairphone
by b112 | 2025-06-24 08:17:16+00:00
Read up on the 'home children'. Hundreds of thousands of orphaned children were contracted(sold), indentured, to the colonies. Some faced harrowing, near starvation conditions and were beaten, tortured, and so on.

On top of that, to reduce resistance, families were broken up. One brother would be sent to Canada, another Australia, never to meet again.

This is, of course, not as severe as slavery. Once adults, after a decade or more of hard labour, their contract was often satisfied. Yet my point is that the past was a more brutal time. This is how white, British children were treated by the British. And not one descendant of home children (such as my grandfather was) has ever been compensated. There is no effort to help track down families broken apart.

And look at what happened to orphans in Catholic care? Priest raping children, and it being kept quiet for decades by the police and Catholic church.

If reparations aren't being given to cases like these, then why would they be given to other cases a centuries old?

NOTE, I'm not saying "fair or not". I'm saying that is that the past is a different world. And expecting today's people to pay for what their great-great grandfather's did, isn't a thing that's often entertained.

If we start getting into reparations, I feel I should also have my property returned from when the British took it from my Scottish ancestors. Or maybe Italy should be paying, for the time the Romans invaded and they took some land back then?

When does it end? Where does it end?

This comment may not be liked by many, but what I'm trying to point out is that the past was not today, mores were different, and it wasn't just one race that was treated poorly.

Everyone treated everyone poorly compared to today.
by OccamsMirror | 2025-06-24 08:17:44+00:00
> I thought the diagnosis was fairly clear; sorry for jumping straight to pitching a cure. This is a good example of saying things in the wrong order.

That you think LLMs are the cure to loneliness misses what a "cure" even looks like here. OP clearly writes well enough to get first dates - the issue isn't conversational content but likely body language, energy, presence, the thousand micro-signals that happen below conscious awareness. You can't chatbot your way into better posture or more relaxed eye contact.

This is classic LLM wrapper syndrome. Someone has a hammer (conversational AI) so every problem looks like a nail (conversation optimization). But the actual failure mode here probably happens in the first thirty seconds of meeting, before anyone's even said anything substantive.

Op would probably benefit more from something social like improv classes (physical presence, spontaneity), dance lessons (body awareness, comfort with proximity), or honestly just hanging out in social spaces doing things they actually enjoy rather than performing "date behaviors." The energy of someone genuinely engaged in something they love is magnetic in ways that no amount of conversation optimization can replicate.

I just don't believe that "practice talking to a computer" will ever be a sufficient platform to teach people how to be genuinely charming, let alone charmingly genuine.
by lynx97 | 2025-06-24 08:17:47+00:00
The two problems I see with the AI-screen-reader approach is wastefulness and confabulations. It is one thing to have to deal with your screen reader not reading something. However, it is quite a different thing having to hope that your screen reader doesn't outright lie to you. And they do. I recently had BeMyEyes (uses OpenAI vision model) describe an iOS screenshot to me. It imagined an error which definitely was not on-screen. I cliamed I have a storage full warning, for a 256GB iPhone. Thing is, storage is not full, and the iPhone has 128GB. I really dont want such technology to be used for screen reading, its bad at best, and dangerous at worst.
by b112 | 2025-06-24 08:21:35+00:00
I have noticed a massive uptick in the number of captcha requests from Google, in normal searches, when you use udm=14. They repeatedly categorize you as a bot.

The tech in me says, maybe lots of bots/AI/trainers are using udm=14 to make scraping easier. The cynic says, Google wants to punish udm=14, non-profitable users.
by alganet | 2025-06-24 08:21:49+00:00
> Dohmke described an effective workflow where AI tools generate code and submit pull requests.

This is kind of vague. What kinds of contributions he's talking about? Adding features, refactoring, removing dead code, optimizing, adding new tests?

The article mentions boilerplate. Is that all current coding AIs can do?

> For instance, spending too much time explaining simple changes in natural language instead of editing the code directly.

Why not write the code directly then? Even less friction.

Again, _it all depends on the kinds of contributions AI can make_.

The fact that they're being vague about it tells me something. If you had a bot that can fix tests (or even get you 90% of the way), you'd be boasting that everywhere. It would be an extraordinary evidence and you'd be very proud of it.

If someone made a PR to my repo adding a bunch of automated boilerplate, I'd be pissed, not encouraged to make it work.
by covoeus | 2025-06-24 08:22:43+00:00
Use `cb!` instead of `cb`:

rg --vimgrep restore_tool | vim -c cb! -

You might also wanna open the quickfix list by default:

rg --vimgrep restore_tool | vim -c cb! -c copen -

You can learn more about how to navigate it using `:h quickfix`.
by ricar | 2025-06-24 08:22:53+00:00
I built RoomState solo during the Bolt Hackathon to solve a recurring annoyance: communicating real-world availability without constant messaging.

You create “rooms” that hold a current state — like Available, Occupied, or anything you define — and update them manually or on a timer. You can invite others with roles, or share a public read-only link for passive communication (no login required).

Example use cases:

Let roommates know you brought someone over

Quietly share when you're open to birthday calls

Use a dashboard to quickly toggle between states

API access planned for automation (Slack bots, smart homes, etc.)

Built with: React, Supabase, RevenueCat, Bolt.new Would love feedback or ideas — especially around real-world use cases.
by CamouflagedKiwi | 2025-06-24 08:23:04+00:00
Combining characters have already made Unicode text stateful.

Although I agree that encoding length hints into it seems like a bad idea - it creates an opportunity for the encoding to disagree with the reality of the text. You need _some_ way of handling it if it says that the next grapheme cluster is 4 characters long but it's actually only three.
by account42 | 2025-06-24 08:24:07+00:00
> Porting pthreads code to Windows would be a nightmare.

Porting one application using pthreads to use the Win32 API directly is however a lot more reasonable and provides you more opportunity to deal with impedance mismatches than a full API shim has. Same goes for dirent and other things as well as for the reverse direction. Some slightly higher level abstraction for the thnings your program actually needs is usually a better solution for cross-platform applications than using one OS API and emulating it on other systems.
by netsharc | 2025-06-24 08:24:24+00:00
Yeah, the cloud-feudalism/techno-feudalism isn't much different to old feudalisms. The lord can change their mind about what us serfs are allowed or not allowed to do in their realm, and we have little to no recourse, their henchmen can refuse us access and take all our belongings.

Huh, interestingly, a particular superpower has also become very feudal the last half year.
by theodric | 2025-06-24 08:25:00+00:00
Not while I was there, anyway. The corporate image was so locked down that only named binaries would run, and Internet access was heavily filtered and MITM'd for inspection/retention. We didn't even have a shitposting channel. All the juicy stuff happened over the phone, because most people weren't recorded apart from traders and those adjacent to them (and you'd know if they were recorded because of the IVR announcement preceding their join).
by pydry | 2025-06-24 08:25:16+00:00
>These are just stale deflections.

These are hard facts which skewer your narrative.

>Russian diplomacy is indeed stuck in Clausewitzian times: diplomacy is seen as an extension of military strategy and not as a tool for building durable cooperation.

Except that is what they are doing with BRICs with the entire rest of the world. It's only the American-led western hegemonic bloc they're clashing with - exclusively puppets and military junior partners of the United States like France, Germany, the UK, Spain, Sweden, Finland and Denmark.

Outside of this hegemonic military/economic bloc nobody has sanctioned Russia, which is why the effect of the sanctions we levied ended up being so pathetic. At the same time there is a huge appetite for joining the BRICs because the rest of the world is that fucking sick of us.

>When you put Russia against this

"This" is an empire in decline. The west is already following the same path as the USSR in the 1980s (dutch disease, massive industrial decline, fast incoming military overspend), except tailed off with more tacit and explicit support for genocide as a cherry on top. We're the best.
by JoachimS | 2025-06-24 08:26:31+00:00
Systemverilog (SV) is the dominating language for both ASIC and FPGA development. SV is evolving, and the tools are updated quite fast. SV allows you to do abstractions through interfaces, enums, types etc. The verification part of contains a lot of modern-ish language constructions, support for formal verification. The important thing is really to understand that what is being described is hardware. Your design is supposed to be possible to implement on a die, with physical wires, gates, register, I/Os etc. There will be clocks, wire delays. It actually one of the problems one encounter with more SWE people tries to implement FPGAs and ASICs. The language, tools may help you, but you also need to understand that it is not programing, but design you are doing.

https://en.wikipedia.org/wiki/SystemVerilog
by dang | 2025-06-24 08:26:42+00:00
Could you please stop posting unsubstantive/indignant comments and flamebait? You've unfortunately been doing it repeatedly. It's not what this site is for, and destroys what it is for.

I know there is much to be indignant about, but it kills the curious conversation that this site exists for, and that only makes everything worse. No one is saying you owe unaccountable mega-corporations better, but you owe this community better if you're participating in it.

If you wouldn't mind reviewing https://news.ycombinator.com/newsguidelines.html and taking the intended spirit of the site more to heart, we'd be grateful.
by blacklight | 2025-06-24 08:27:02+00:00
My advice is to build such solutions around open products like Signal, XMPP or Matrix if possible. Or even Telegram.

On top of providing a better developer experience compared to Meta's ultra-locked and limited APIs, they aren't subject to the whims of a giant faceless company that can kill your product for no apparent reason with no chances of appeal.

Especially if you're doing these projects for folks in the developing world. Let's not lock them in proprietary American spyware like the whole West has already done :) from a user's perspective, if things are done properly, it'll just be a matter of installing another app.

And btw using a Matrix server with a WhatsApp bridge could also be a temporary solution to bypass the ban. But I haven't tested it with business accounts.
by ashdnazg | 2025-06-24 08:27:09+00:00
I also thought about this type of game!

I have more experience with the discrete version - e.g., Konquest[0].

I think it's not very operational, as getting your ships to battle is as simple as saying go from A to B. Your operational choices boil down to whether you want to pass through planet C, to trade time for flexibility.

While it has perfect information over your own ships, I think the core idea can be easily adapted to have separate players controlling separate planets, with delayed communication, both for people playing this game and for an AI competition.

[0] https://apps.kde.org/en-gb/konquest/
by IlikeKitties | 2025-06-24 08:29:57+00:00
> This is the whole point, they should stop nitpicking and start to do it (GrapheneOS side), even if it is not going to be THE most secure phone, there is enough of features that are far more useful then just security (like privacy). I don't mind if they make it payable.

This feels super entitled to me. GrapheneOS Devs have a mission and they get to make that. You get it for free and if you like it you can give them money. If they don't support the hardware you like you are free to fork it and get it to run yourself.

And if security isn't something you care about but privacy is and you feel like there's a difference here you can still install /e/os or lineageos and similar on the fairphone.
by ZeroGravitas | 2025-06-24 08:30:25+00:00
> That is not a debt to slave owners, that is a debt taken on to pay for the costs of abolishing slavery.

The debt was taken on to pay reparations to slave owners. About £6 Billion in modern terms, 4.5 billion of which was borrowed.

https://en.m.wikipedia.org/wiki/Slavery_Abolition_Act_1833
by graemep | 2025-06-24 08:30:53+00:00
I think they are overused everywhere. Most annoyingly as a workaround to put pictures in what should be text - email subject lines for example.

I like coloured text, and I like TUIs. To be fair, nothing I use has noticeable emojis. I am not really bothered about enhanced terminals - I would rather keep terminals simple and use a GUI if I need more complex presentation.
by stiray | 2025-06-24 08:31:03+00:00
Sure they have a mission. But sometimes mission can be done by taking 1 step back to later make 2 steps forward in fast pace.

At the end all profit. While in current state, the culprit, Google profits.

And please keep fallacies like "do it yourself" for yourself, I am talking about collaboration, feel free to open another thread on top level about forks.

Same goes for /e/ ... they just dont compare.

GrapheneOS has two use-cases that are they excelling with, security and privacy.

While security is not really my threat model (some rubber-hose cryptography aka large wrench, solves this issue for any attacker), privacy violations are everyones issue. Even if they dont care.
by Defletter | 2025-06-24 08:31:47+00:00
Correct, the slave owners were already "compensated" for their crimes against humanity 200 years ago, so the debt being completed was the loan the UK took out to do so. But you are missing the point: the argument being made here (and in other comments) is that slavery was soooo loooonng aggoooo that considering reparations is at best virtue signalling, and at worst moronic. And yet you and others do not bat an eye at debt lasting that long. And let's be clear, I am fully supportive of OP's advocacy for funding black neighbourhoods and other such programmes. I am specifically aiming at this whining sophistry (which I'm not claiming OP made, but just in general) about slavery being ancient history so reparations are ridiculous, but debt lasting that long is totally fine and normal.
by Paradigma11 | 2025-06-24 08:31:51+00:00
I think we might see rising popularity of languages that give you more tools to make illegal state unrepresentable. While it is great that there is so much python/js code that a LLM knows to avoid wide stretches of wrong terrain, but who cares if you can just use a language that makes that impossible in the first place.

Maybe something like https://flix.dev/ with many analyzers.
by crossroadsguy | 2025-06-24 08:32:34+00:00
Any <>Phone or <>Fone is pretty much useless for someone like me if it requires me to being logged into the "whole device" with a Google A/c and the irony is without that almost anything important on my phone (banks, payment/transfer, stock/investments, WhatsApp, delivery, transport, Govt services) will JUST NOT WORK in most cases so it becomes a non starter.

Or Force Google to not track things out of certain apps and giving customers choice to not use those apps at all e.g Gmail, Google Maps etc (or use w/o logging in like you can do on iOS. A good way would be to letting OEMs decide the "Android Account" in Android OS instead of the mandatory Google Account.

Not only opening up of the play store (I am not sure how helpful that would be) but another crucial criminal hurdle here is Play Integrity API [0] and apps using it. By this Google made it apps choose between the notions of "be secured" or "actively decide to remain unsecured".

[0]: Call the Integrity API at important moments in your app to check that user actions and requests are coming from your unmodified app binary, installed by Google Play, running on a genuine Android device

----

Yes, Apple does it too but they have proven to not yet started tracking and god as much as I hate Apple and it's walled garden they are still far less distracting and cluttered. Besides they don't just log me into everything and anything like mail etc.

---

And the size. Naah, if you are making yet another phablet then I am not even looking to switch. Good luck thank you bye-bye.
by pjc50 | 2025-06-24 08:33:51+00:00
The UK conservative government ran a lot of meetings on whatsapp because they believed it was secure and unarchived, i.e. could escape the normal retention requirements. Of course what happened is that once the chat got large enough and the government fractious enough, people started leaking messages by screenshot.

When trying to avoid subpoenas of data on the device itself, it's important to frequently "lose" the phone with the messages on.
by 1dom | 2025-06-24 08:34:12+00:00
I find this comment really irritating, sorry. This is a thread about the upcoming fairphone, with people praising things done right.

Your comment feel needlessly provocative with no information other than your negative opinion. You've implied Fairphone have turned crap, whilst mentioning a bunch of good stuff they've done, and then how you won't be buying their phones anymore.

Seriously, what was the point of this comment, what were you trying to achieve or communicate? Is that fairphone are rubbish? If so, you haven't said how or why, other than cryptic hints that promises might not have been kept.

This feels like an engagement bait comment, and I can't help but engage to say that.
by tinco | 2025-06-24 08:35:12+00:00
Nintendo released that teaser trailer of a realistic Zelda in an epic fight with Ganon and the world was anticipating that for years. But Nintendo realised competing with PlayStation was going to be a race to the bottom so they built the GameCube as budget hardware that could have never rendered that Ganon fight scene. And thus disappointing all the children who had become teenagers since the release of OoT.

Without that context however, the game is indisputably great. And the fact that they used vector graphics is a lucky win as it means the game renders crisply on modern TV's and monitors.
by zelphirkalt | 2025-06-24 08:36:04+00:00
The typical web dev won't care though, and go ahead downloading and installing a telemetry encumbered server onto the remote machine. All they need is the justification: "But it works!"

DevOps can tell them no all day long, they'll think they know better and give in to convenience over security every time.

What one could do is to block the download of VS Code on all infrastructure.
by cyborgx7 | 2025-06-24 08:36:12+00:00
> Maybe it's the idea of a completed infinity that's my problem; maybe it's the fact I don't understand how to define (or forgot cauchy sequences in detail) an arbitrary real.

As someone who also has never fully made his peace with the diagonality argument, but just chosen to accept it as true, as a given, this kind of bumps up against an interesting implication of different cardinalities of infinity.

To precisely define an arbitrary real you'd need some kind of finite string that uniquely identifies that real number. Finite strings can be mapped, 1 to 1, to natural numbers. Therefore there can't be a finite string for any real number that uniquely identifies it. Otherwise we'd have a mapping between natural numbers and real numbers.

In fact, the set of uniquely identifiable real numbers is a countable subset of real numbers. [1]

Somehow, this realization has helped me make peace with the uncountability of real numbers.

[1] Sorry if use words like "unique", "identify", "define" in not quite the right way. I hope the meaning I'm going for comes across.
by JoachimS | 2025-06-24 08:37:26+00:00
The non-deterministic part of the toolchain is not a universal truth. Most, all tools allow you to set, control the seeds and you can get deterministic results. Tillitis use this fact to allow you to verify that the FPGA bitstream used is the exact one you get from the source. Just clone the design repo, install the tkey-builder docker image for the release and run 'make run-make' and of course all tools in the tkey-builder are open source with known versions to that you can verify the integrity of the tools.

And all this is due to the actually very good open source toolchain, including synthesis (Yosys) P&R (NextPNR, Trellis etc), Verilator, Icarus, Surfer and many more. Lattice being more friendly than other vendors has seen an uptake in sales because of this. They make money on the devices, not their tools.

And even if you move to ASICs, open source tools are being used more and more, esp at simulation, front end design. As an ASIC and FPGA designer for 25 odd years I spend most of my time in open source tools.

https://github.com/tillitis/tillitis-key1 https://github.com/tillitis/tillitis-key1/pkgs/container/tke...
by rodinalex | 2025-06-24 08:38:34+00:00
Hi HN!

I built TiBi, a Python GUI for tight binding calculations in solid state physics.

Key features:

* Create systems of arbitrary dimensionality * Add hoppings between states * Calculate bands and DOS (with projection) * Built with PySide6

I'm a condensed matter physicist who gets asked frequently to help set up tight binding calculations. While there are excellent code-based libraries out there, the messiest part is actually setting up the system and making sure the couplings are correct. The easiest way to do this is with continuous visual feedback. Combined with the fact that many in our community are rather coding-averse, I believe a GUI tool would be quite useful.

The demo GIF shows setting up tight binding calculations for graphene to compute bands and DOS.

The app is still in development with additional features planned based on community demand - likely including polarization, conductivity, and topological quantity calculations. Happy to answer questions about the physics, implementation, or tight binding in general!