MurphyA/hacker-news huggingface dataset:
by nradov | 2025-07-28 08:54:09+00:00
Nah. The complete Tomahawk weapons system is far more complex than a WWII era aircraft carrier. Beyond the missile itself there's an "iceberg" under the surface. The software alone is huge and requires major ongoing work from several defense contractors covering multiple embedded systems, mission planning, telemetry, launch platform integration (multiple different classes of surface ships and submarines, plus now ground launchers again), testing, etc. Plus customized builds for each of the export customers. You probably have no idea what actually goes into making this all work with an extremely high level of reliability.
by seec | 2025-07-28 08:54:25+00:00
Yes of course, but it doesn't fit the current narrative of women being the perpetual victims. I'm increasingly annoyed by the propaganda around women's issues because it always amounts to some bullshit.

Considering that women can offload the hard parts to men (hard work and competition) they would be stupid to not do so. Funny thing is that when they don't, they stop making kids, which means that they don't have much value as women actually and end up being just weaker men (at least in the biological strength sense but it's also true for the IQ curve so...)

If at some point in the near future we could finally agree that women and men are not actually strictly equal and that it would be incredibly stupid and useless if it was the case, I would be extremely happy.
by fennecbutt | 2025-07-28 08:55:22+00:00
It's a valid topic for discussion. Even as a foreigner who was in UK on a visa and eventually got ilr I'm still concerned about it.

The current situation regarding small boats is not sustainable, particularly when it's proven that the majority are not fleeing persecution but are economic migrants. They're taking advantage of a system designed to help people in trouble, how could you defend that?

And when does it end? Will the UK always accept small boats ad infinitum?

I played by the (harsh) rules and got here legitimately. Why should I have bothered.
Show HN: Data.olllo AI – A simple, local AI-powered tool to explore your data
by olllo | 2025-07-28 08:56:52+00:00
We just released Data.olllo AI, a lightweight desktop app that helps you understand and work with your data using natural language. • Runs locally on your machine (Python 3.13) • Works with CSV, Excel, and more • Beginner-friendly — just ask, and the AI generates the code and answers

Try it here [https://olllo.top/data.olllo] Feedback is welcome!
by Xelbair | 2025-07-28 08:57:27+00:00
fatigue.

same idea has been pushed since forever(you can include ACTA and other copyright protectionist movements like that as its originators too) over and over again.

People need to protest all the time and win, legislators can just keep pushing it over and over again.

What's even worse you get really smart people seeing noting wrong with this.. Meanwhile this reeks of same methods that were used in my country under communist regime.
by b112 | 2025-07-28 08:57:48+00:00
One thing. Trusting an external company with your knowledge base is wrought with concern. If you're going to use slack in that regard, export and backup regularly.

If you must hand over key parts of your company's infrastructure to external companies, at least ensure you have control of your data if they go sideways. Don't put backups in someone else's hands.

Keep drives encrypted in a safe deposit box if you have to.
by jeroenhd | 2025-07-28 09:01:41+00:00
I wonder what technology they're using to back this. The Netherlands has a system not too dissimilar to this (seemingly mostly marketed towards bikes) with wide scale deployment in cities: https://map.udap.nl/app/viewer/subjects?subjectTypeId=TRAFFI...

I don't think something like ETSI ITS can be implemented in apps like this, although ITS does seem to have a TCP/UDP transport so maybe I'm wrong.

Packaging this in app form seems like an excellent way to permit someone to emulate a couple dozen installs, all traveling along the same path, tricking congestion systems into giving them priority over other traffic participants.
by microtonal | 2025-07-28 09:01:59+00:00
I live in Western Europe and conservatives were ruling the in my country until one of them blew up the government (over a typical topic that conservatives are obsessing over).

Apologies if it isn't, but since this is a new account only writing anti-EU comments so far, seems like troll army astro turfing. (I think it's worth calling that out, since we don't need HN poisoned by that stuff.)
by pyrale | 2025-07-28 09:02:12+00:00
On one hand, there is a will from some people to be less dependent.

On the other hand, the EU bodies as well as national reps are besieged by lobbyists and diplomats, and without much backlash from constituents, it's very hard not to find someone that will do what you want. Just look at this former EC commissioner [1] working for Uber.

Flip-floping happens occasionally when the public catches up.

[1]: https://www.ombudsman.europa.eu/en/opening-summary/en/181717
by ooloncoloophid | 2025-07-28 09:03:14+00:00
My summer project for my comp sci MSc was an open source natural deduction helper tool for the Mac, called Baker Street. I let it lapse simply because I didn't have time to look after it, but now it's available for download once more: https://apps.apple.com/gb/app/baker-street/id1528304157

I've been working with Claude to bring some new features, like printing a proof - unsuccessfully! https://github.com/OolonColoophid/bakerStreet/issues/9
by gprogrammer1 | 2025-07-28 09:03:36+00:00
A few months ago, I kept seeing lawyers on Reddit asking how to get WhatsApp conversations into a format courts would accept. Turns out there's no good solution - just sketchy desktop apps or manual screenshots.

So I built ChatToPdf.app - upload your WhatsApp export, get a professionally formatted PDF via email. Three tiers from basic ($15) to legal-grade ($60) with proper timestamps and metadata. The tricky part was parsing WhatsApp's inconsistent export formats across iOS/Android versions and handling media references properly. Built with Next.js + Puppeteer for clean PDF generation. Live at: https://chattopdf.app Would love feedback from anyone who's dealt with this problem!
by fennecbutt | 2025-07-28 09:03:48+00:00
>people are questioning why people fleeing persecution

Except many of them are not, they are economic migrants. And some have even realised that claiming that they're persecuted for lgbt reasons is an instant in - there was a case with a guy (with a wife and a bunch of children) that claimed to have written a pro lgbt article and now he's persecuted.

As a gay man the thought of that sickens me, economic migrants using who I am as a shortcut to entry, I have no problem at all with genuinely lgbt individuals seeking refugee status; we're still persecuted in so many places and there's not enough of us to make change happen in those places.

But the economic migrants...all they're doing is ensuring their home country never improves and that a steady stream of migrants continues into Europe. It'll never end.
by puszczyk | 2025-07-28 09:04:11+00:00
I agree in principle, although specifically with slack this is problematic. With emails, wikis, repos, it's easy to index them, or share them with a search engine or LLM. Slack is a moving target; they have the Slack AI, but if you don't enable it, it's hard to just grab all messages from a channel or a thread (and god forbid, you have a channel with multiple relevant threads). A lot of clicks required.
by allan_s | 2025-07-28 09:04:27+00:00
in my company we do this a LOT, what helps if having a LOT of slack channels with explicit topic name

like

* "incident-2025-07-28-CI-not-deploying-disk-full" * "feature-stripe-integration" * "exploration-datadog-or-sentry"

and channel comes and go and people are quite "agressive" about routing discussion to the right channel or converting 10+ message thread into dedicated channel.
by jeroenhd | 2025-07-28 09:05:54+00:00
Are you sure they're using weight sensors? AFAIK wire loops seem much more useful, plus they have the advantage of also picking up bikes and other lightweight traffic more accurately.

I can also tell you that even in a country with sensors all over the place, I do sometimes end up waiting on an intersection with no traffic. I assume it's some kind of public transportation/emergency vehicle priority system activating, or maybe it's an attempt to calm traffic downstream where loads of traffic has piled up already so intersections don't get blocked.

Either way, adding sensors doesn't necessarily make traffic lights immune to unnecessary waiting times.
by makeitdouble | 2025-07-28 09:07:02+00:00
CD data pitch would be 700nm, and it seems that camera sensors have a pixel pitch at the same order of magnitude.

Ignoring the lens resolution you'd need for a near 1 to 1 rendering at that size, any hand movement or misalignment would also be catastrophic.

That sounds like a crazy dream until we get to sensor in the peta pixel range ?

https://www.researchgate.net/figure/CD-DVD-Blu-ray-disc-data...

https://letmaik.github.io/pixelpitch/
by vidarh | 2025-07-28 09:07:12+00:00
Some languages make this harder than others, and languages that require expensive compilation step will certainly make it hard, while e.g. interpreted languages that allows dynamic reloading of code can potentially make it easy - allowing preloading of the tests and reloading of the modified code.

If you also don't expect necessarily running the entire test suite, but just a subset of tests that are, say, labelled to test a specific function only without expensive setup, it'd potentially be viable.

You can also ignore running it on every keypress with some extra work:

- Keypresses that don't change the token sequence (e.g. because you're editing a comment) does not require re-running any tests. - Keypresses that results in a syntactically invalid file does not require re-running any tests, just marking the error.

I think it'd be an interesting experiment to have editing rather than file save trigger a test-suite watcher. My own editor syncronises the file state to a server process that other processes can observe, so if I wanted to I could wire a watcher up to re-tokenize an edited line and trigger the test suite (the caveat being I'd need to deal with the file state not being on the file system) when the state changes instead of just on save. It already retokenizes the line for syntax highlighting anyway.
by Xelbair | 2025-07-28 09:07:23+00:00
the issue is that incentive structure is different from some of those that you've mentioned.

Steam makes the most money if it bridges interests of consumers and publishers together - they don't profit by screwing over the customer(either publishers or end users). Is depending on them a problem? yes, but least likely one. preferably you could move your digital licenses to any provider you want.

Meanwhile subscription services profit the most from enshittification, especially ones that offer 'free' access with ads, or different tiers.

and this current issue isn't even about dependence on google - that's bad in itself - but about gigantic governmental overreach and step towards killing anonymity online under guise of protecting the children.

It is even worse when you consider some EU countries already went after people when politicians got insulted online.
by PeterStuer | 2025-07-28 09:07:23+00:00
"Meetings are primarily for two things:" ... "Brainstorming" ..., ... "Making a decision as a group" ... "Secondary" ... "to expand and clarify knowledge"

I've said this before,

The "engineer's" pov on meetings is that they are an incredibly poor and overused instrument of getting things done and that it is beyond comprehension why "the company" continues to tolerate such expensive nonsense.

The manager's (current and aspiring) pov on meetings, especially physical presence meetings, is that they are the most effective way to reinforce the hierarchy/pecking order, sense allegiances and potential defectors, scout opportunities for ascension, or destabilize a rival in public.

You might call this 'cynical', but is it really when you lay out the facts?

As for the author's specific points:

Brainstorming in a meeting is by far the least effective way. It just comes down to the most brazen flaunting their unnuanced opinions in rapid fire while more considerate and intricate reasoning is speed ran and drowned out by loud advocacy.

"Group decisions", yes, to a point. Mostly needing 'formal' buy-in to CYA on a decision already made. "If you already knew this would be the (bad) outcome, why did you not speak up at the all hands meeting? Obviously you and everyone else supported this at the time".

"to expand and clarify knowledge": That is most often a lecture/presentation with Q&A attached, not a meeting
by vineyardmike | 2025-07-28 09:07:55+00:00
You can do this today with OpenAI Codex, which is built into ChatGPT (and distinct from their CLI tool, also called codex). It will allow you to prompt, review, provide feedback, etc via the app. When you're ready, there is a GitHub PR button that links into a filled out pull request. It has notifications and everything.

There are a handful of products that all have a similar proposition (with better agents than OpenAI frankly), but Codex I've found is unique in being available via a consumer app.
by OtherShrezzing | 2025-07-28 09:08:49+00:00
I have no idea why the app is required here. Cars & bikes are massive, hot, & mobile objects. They're perfect for a modest-cost IR sensor atop the traffic light to detect them and adjust the lights accordingly. This type of system is commonplace in cities in the UK and works effectively.

Having drivers reach for their phone when they're approaching traffic lights - common pedestrian crossing points - is categorically moronic.
by aDyslecticCrow | 2025-07-28 09:09:36+00:00
PHP is actually a pretty good HTML preprocessor language. Not sure why it was blasted from this planet. Maybe because people abused it as a "rest" endpoint or backend, and burned themselves out from using the wrong tool for the job (even as php evolved to be pretty good backend for this too)

A small amount of PHP as a templater for simple raw HTML and JS segments is pretty nice.
by jeroenhd | 2025-07-28 09:09:40+00:00
Belgium has intelligent traffic lights already. You can't use an app system like this without existing smart traffic light infrastructure.

This just allows for better traffic flow management by predicting influxes of traffic along long roads.

But, more importantly, it allows traffic planners to analyze popular sources/destinations on the road map. If 90% of cars turn left at a certain traffic light but only because the traffic light before it takes forever to turn green, they can tweak the scheduling to divide traffic more evenly.

The obvious downside, of course, is that this data will quickly show individuals when analyzing patterns in remote areas.
by vidarh | 2025-07-28 09:09:44+00:00
You could prune this drastically by just tokenizing the file with a lexer suitable for the language, turn them into a canonical state (e.g. replace the contents of any comment tokens with identical text), and check if the token state has changed. If you have a restartable lexer, you can even re-tokenize only from the current line until the state converges again or you encounter a syntax error.
by red93 | 2025-07-28 09:09:56+00:00
After over 6 years working on the startup I co-founded (which was fully acquired by a larger company in 2024, after they had bought a majority stake in 2022), I’ve been focusing on building a new company since the beginning of this year.

I’ve explored a few different projects since January but nothing stuck, now working on https://pitch31.ai a SaaS that turns any OpenAPI specs (or Postman collections) into a conversational AI agent, so you can work with APIs without the need of a UI.

We are still early on the product and looking for some user feedback to improve it. Planning to launch it on major platforms in the next month!
by antonvs | 2025-07-28 09:10:04+00:00
Taxi drivers might have said the same thing about Uber.

These days, many dishwashers, refrigerators, coffee machines etc. routinely connect to the internet. The tech is well established, and projects like this become possible precisely because they’re not that complicated to build or maintain. They take advantage of common infrastructure, and can often be cheaper than supposedly “simpler” alternatives.
by subscribed | 2025-07-28 09:10:14+00:00
Verizon pixels also can't be OEM unlocked. That doesn't make them unsuitable for GOS.

(I've seen both watch an buds used with Motorola phones just fine, not sure what are the issues? Genuinely curious, one of the users is eyeing phone upgrade, I might steer them the galaxy way if that improves their experience)

(oh, and I know their trackers work really good only with Samsung phones, but that's the consequences of Samsung making good choices and Google making bad choices)
by schoen | 2025-07-28 09:10:15+00:00
You would still need some significant magnification. And there might also be a measurement latency issue if the disc is in motion (the camera CCD might not be fast enough to capture the image before it rotates away).

The optics of a CD-ROM drive are optimized for something pretty different than the optics of a camera. But if you made enough tweaks and adaptations, sure, the data is ultimately there and can be captured by a different kind of sensor than the one it was designed for. It would be a cool project.

I'm mostly just pointing out that adapting your camera to successfully capture billions of sub-micrometer features isn't that trivial.
by whytevuhuni | 2025-07-28 09:10:54+00:00
The "Comparison" section feels unfair. Add some things that some languages have but Bau is missing. I have no idea what trade-offs I'd be doing when choosing Bau.

You have the "Non-Features" section of course, but I'm looking more into what I'd be losing by going from C to Bau. Bau's price for safety.
by baxtr | 2025-07-28 09:10:56+00:00
Ultimately, in my experience, it often requires both. Written and oral communication.

Some don’t listen, some won’t read. It’s not only a function of the specific person but also depends on the day who reads and who listens.

So, yeah, in theory, in an ideal world with perfect co-workers you wouldn’t need so many meetings.

In the real, messy world we live in, meetings are one tool to make sure important messages come across.
by CamouflagedKiwi | 2025-07-28 09:13:01+00:00
From what I've heard, they don't always use the sensors; sometimes they're on a fixed schedule during the day and on request only overnight. Or they might be a fixed schedule always; a classmate at uni did a project around modelling traffic flow and found an intersection or two that turned out to be configured differently from how the council expected; probably a setting that was changed once and never revisited.
by monsieurpng | 2025-07-28 09:13:41+00:00
I’m working on LearnMathsToday, a mobile app that helps students learn math in a fun and engaging way. It’s self-paced, with AI-generated questions that adapt to each student’s level. One unique feature is AI-powered marking, which gives instant feedback on written answers. I’ve also added gamification—points, levels, and a storyline—to keep students motivated. Right now, the app is based on the Singapore syllabus, since I’m based in Singapore.

Feel free to try it by downloading here https://learnmathstoday.com/download/
by lazide | 2025-07-28 09:13:49+00:00
The issue with corn ethanol is that while it could* be done without fossil fuels, it isn’t actually.

Which is why it is such a scam, actually, because in theory it could be done that way, but it’s cheaper to inject fossil fuels at every stage, and hence isn’t actually green. It was also done before electric cars were a thing, and now the whole thing is a pretty pointless give away to the ag industrial complex.
by adityaathalye | 2025-07-28 09:16:30+00:00
So cool! So, I buy this brand of thin-sole shoes called Xero. Their Do It Yourself kit is a simple Vibram sole I can cut to size, a hole punch to find the right fit, and a long lace that I can tie in many different ways, including as a slipper, or sandal, or greek-style laced-up huarache. Tie style, with different colour combinations of sole and lace make for distinctive personalisation.

Your stuff takes it to a whole other level. It makes me imagine a constructible footwear that can morph from a flip-flop (band across foot) all the way up to an all-weather knee-length boot.

No doubt you have already imagined how experimentation with materials and sealing/binding techniques could yield a design system that everyone can make their own; from the multi-spectral La Sape, to baby wear for those fast-growth years, to field equipment for the extreme adventurer.

(edit: fixed broken sentence)
by flanked-evergl | 2025-07-28 09:16:38+00:00
From what I have seen about this it's all tied up with academic research projects, and if there is one group of people with absolutely no sense for engineering, it's modern academics. They seem to not get that software that can be used for some commercial application (i.e. something that serves some actual user) is much more important than software that can pad your resume.
by holowoodman | 2025-07-28 09:17:18+00:00
> Brainstorming in a meeting is by far the least effective way. It just comes down to the most brazen flaunting their unnuanced opinions in rapid fire while more considerate and intricate reasoning is speed ran and drowned out by loud advocacy.

To fix that, the moderator needs to do what I would call "round-robin brainstorming". Each other participant has to have made exactly one point (in seating order or spontaneously) before the first one can make another one. Everyone has to weigh in, and at least for the first 2 or 3 rounds, the moderator needs to enforce this. Usually by then, everyone has warmed up to the idea that their ideas are not that stupid after all, and participation is more equalized.

Edit: about your other points: yes, I agree.
by nanna | 2025-07-28 09:17:54+00:00
> Having drivers reach for their phone when they're approaching traffic lights - common pedestrian crossing points - is categorically moronic.

The article says that the they just ned a relevant app running on their phone when they're approaching an relevant traffic light, and there's no mention that users need to actively do anything.

Also please have a read through the HN guidelines regarding your punchline "is categorically moronic."

> When disagreeing, please reply to the argument instead of calling names. "That is idiotic; 1 + 1 is 2, not 3" can be shortened to "1 + 1 is 2, not 3."

https://news.ycombinator.com/newsguidelines.html