MurphyA/hacker-news huggingface dataset:
by t1E9mE7JTRjf | 2025-05-05 08:42:26+00:00
> They don't think that. Seems like a straw-man.

Top down is maybe the wrong term, but basically it's presented as one thing to get past, that wasn't opted into. That it's a thing in and off itself. That's my perspective. As I see it, people who don't like capitalism can just not do it - although of course then they will struggle to interoperate with others who are ok with it, but that's there choice.

> Because they are other systems without accumulation of capital in the hands of the few. Seems like an appeal to nature to me.

Can you share how they work, and solve the problem of different appetites for risk to reward/loss, and if they have consent?

As I see it people could opt in to a socialist structure, which seems fine to me as long as they are consentful (ie not trying to spread it forcefully onto others) and the participants are happy with still not having certainty.

But to answer your question, yes - at present it seems to me any system would have capitalism emerging as it's a function of our diversity. Aside from slavery and other non-consensual systems.
by DumBthInker007 | 2025-05-05 08:42:28+00:00
I am aiming to contribute meaningfully to the postgres project, to learn and grow as a Postgres hacker, I want to hear directly from you—PostgreSQL users—about the problems you face, big or small.

I created this "ASK HN" post https://news.ycombinator.com/item?id=43886414 please share your feedback.
by einpoklum | 2025-05-05 08:43:13+00:00
> For starters, it still had a closed, binary (read: not friendly to source control) format

Word still has a closed format. It supposedly standardized OOXML, but - it doesn't follow that standard; Microsoft apparently managed to warp the XML standard to accommodate its weirdness; and all sorts of details encoded by MSO in that format are not actually documented.

There also used to be the problem of different renderings on different machines (even if you had all the relevant fonts installed): You opened a document on another person's computer and things were out-of-place, styling and spacing a bit different, page transitions not at same point etc. I don't know if that's the case today.

Granted, though, hangs and crashes and weird gibberish on opening a document are rare today.
by gionik97 | 2025-05-05 08:44:03+00:00
Location: Bratislava, Slovakia (comfortable with different time zones - partly overlapping etc.)

Remote Yes

Willing to relocate: No

Technologies: html/css(sass, tailwindcss), Javascript(jQuery, vanilla), Wordpress (twig, acf, php, custom theme development), NextJS, ReactJS

Resume/CV: https://drive.google.com/file/d/1ZIP2zktpY6GkBbez2xrcCzB_-3t...

Email: gio97niko@gmail.com

About me: Hi I'm Giorgi. I am a frontend web developer with up to 4 years of professional experience. I've been freelancing as well as working with a team (US based digital agency) in past years, so I'm comfortable working individually and in team environment. Most of my career I've been working in Wordpress development (been also workin on NextJS projects past two years). I'm open to similar opportunities but would be even more excited for a change (app development - React/NextJS). I adapt quickly and most importantly work hard. Outside of work I love working out and spending time with my friends :) PS: Past year I've gained a lots of knowledge in web accessibility and have been leading the way in this area for a team that I work with currently. It is something that I constantly improve in and enjoy
by mrweasel | 2025-05-05 08:44:31+00:00
Even excluding the puck mouse, I'm sure there are worse mice than the Magic Mouse. It's still not a great product though. Technically it might be pretty clever, but the only way that can parse QA is if Apple exclusively hires testers with really small hands.

It doesn't matter that there's a trackpad on the top, because you can't use it. You'll need to curl your fingers to an uncomfortable degree and there's to little traction beneath the mouse to prevent it from slipping when using the trackpad functionality.

My guess is that the Magic Mouse needs to be close to 50% larger, certainly taller.

The Magic Trackpad however... I hope they never stop making those. That is the best input device anyone ever made. It's large, stable, precise and just a joy to use.
by vicentesteve | 2025-05-05 08:44:40+00:00
Hi everyone,

I’m an independent researcher and recently completed a formal, self-contained proof that P ≠ NP. The result is based on an explicit language L* ∈ NP \ P that resists all polynomial-time machines via a certified local test. The core techniques combine locally testable codes, circuit resistance, and diagonalisation.

Unlike many previous attempts, the proof avoids relativization, natural proofs, and algebrization, and relies entirely on constructive combinatorics and meta-complexity arguments. It has been submitted to the Journal of the ACM and also made publicly available here:

ResearchGate (PDF, with DOI): https://doi.org/10.13140/RG.2.2.14071.74408

I’m sharing this for discussion and feedback from the theoretical CS and cryptography communities. Constructive criticism is welcome — I’d genuinely like to know if any gaps remain. The paper is intended to be rigorous and elementary in its construction.

Thanks in advance, Vicent Esteve Voltes https://orcid.org/0009-0003-1371-7561
by motorest | 2025-05-05 08:47:37+00:00
> Rubbish, in my experience. People who understand dynamic languages know they need to write tests because it's the only thing asserting correctness.

Tests don't assert correctness. At best they verify specific invariants.

Statically typed languages lean on the compiler to automatically verify some classes of invariants (i.e., can I call this method in this object?)

With dynamically typed languages, you cannot lean on the compiler to verify these invariants. Developers must fill in this void by writing their own tests.

It's true that they "need" to do it to avoid some classes of runtime errors that are only possible in dynamically typed languages. But that's not the point. The point is that those who complan that statically typed languages are too cumbersome because they require boilerplate code for things type compile-time type checking are also correlated with the set of developers who fail to invest any time adding or maintaining automated test suites, because of the same reasons.

> I could just as easily say static people don't write tests because they think the type system is enough. A type system is laughably bad at asserting correct behaviour.

No, you can't. Developers who use statically typed languages don't even think of type checking as a concern, let alone a quality assurance issue.
by Mbwagava | 2025-05-05 08:47:48+00:00
Are the apps usable? The jargon seems intentionally impenetrable. The editor of that document should be shot every time they used an acronym. Like i get the DOD is a profitable dick to suck but this is just embarrassing for a document intended for the public.

Anyway can you link the source? That's presumably the useful half. The marketing bit doesn't add anything.
by fc417fc802 | 2025-05-05 08:47:57+00:00
It's a bit different when it's the core functionality that you selected the vendor for.

I'd never use a closed source password manager.

I don't use Microsoft for my OS, although it happens that I do generally trust them on account of their size and reputation. They have a very strong vested interest in not getting caught doing something like that.

Spying isn't the only concern. I don't generally want to grant anything unnecessary ring 0 because of the security implications. I certainly don't trust the security practices of most game studios to any great degree.
by lwansbrough | 2025-05-05 08:48:32+00:00
In defence of the Polaroid: the novelty is a hit with people, it creates not only lasting memories but souvenirs from a time and a place. They’ve got vintage appeal and the often bad white/colour balance means that the focus of the photos is usually about the people and the moment, and less about the quality of the photography itself. I think they’re kind of the perfect balance.
by daemin | 2025-05-05 08:48:45+00:00
Could the current use of "AI" also be considered a dark pattern?

In the way that dark patterns get you to use/pay for a product/service that you might not want to, but are too confused, frustrated, or the cost/time tradeoff is not worth it to understand how to stop using/paying for the product/service. In terms of "AI" in products/services this would be the way that using such an assistant atrophies your skills and knowledge so that you become dependent on the product/service.
by eknkc | 2025-05-05 08:48:53+00:00
Yeah that seems correct. It's like creating an SQLite MCP server with single tool "run_sql". Which is just fine I guess as long as the LLM knows how to write SQL (or WinDBG commands). And they definitely do know that. I'd even say this is better because this shifts the capability to LLM instead of the MCP.
by walterbell | 2025-05-05 08:49:24+00:00
> I couldn't do all that with.. Amazon Echo

The saddest part is that both the Alexa and Apple walled gardens spent years constraining users from integrating with other ecosystems, but now they are all racing to give data to 3rd-party LLMs like OpenAI, Anthropic and Gemini, which can ... integrate with other ecosystems via APIs, MCP servers.

Users can now escape walled gardens, at the cost of multiple middlemen. If Alexa and Apple had allowed users to access other ecosystems, there would now be thriving customer communities with proven open workflows that could be sherlocked into commercial success by the platform owners. Instead, that value will accrue to foundation model companies.
by _djo_ | 2025-05-05 08:50:16+00:00
He was allowed to keep his BlackBerry for personal communication only, not classified communication, and had to use a Sectéra Edge for classified communication. [0]

The Blackberry for personal use wasn't a stock BlackBerry, but hardened by the NSA and fitted with the SecurVoice software package to encrypt voice calls, emails, and messages. The few people he had on his approved communication list were given the same devices.[1]

That BlackBerry was, again, not used for classified communication. So it's not the same thing as the current scandal.

[0] https://www.spokesman.com/stories/2009/jan/24/obamas-other-p...

[1] https://www.wired.com/2009/04/obama-to-get-back-blackberry-a...
by remitanywhere | 2025-05-05 08:50:57+00:00
RemitAnywhere offers a seamless digital platform designed for modern financial services in the USA, including electricity recharge, electricity top up, and comprehensive mobile recharge software. Our secure eWallet system supports both businesses and money transfer operators, making money transfer for business fast, compliant, and reliable. Whether you're managing outward remittance or seeking advanced remittance software, RemitAnywhere empowers you with scalable tools tailored for today's global financial ecosystem. Trusted by leading money transfer operators across the U.S., we ensure your transactions are swift, secure, and fully supported.
by IshKebab | 2025-05-05 08:53:17+00:00
I agree. I want this as a code review tool to check if people forgot to update comments - "it looks like this now adds instead of multiplies, but the comment says otherwise; did you forget to update it?".

Seems of dubious value as unit tests. LLMs don't seem to be quite smart enough for that in my experience, unless your bugs are really as trivial as adding instead of multiplying, in which case god help you.
by agumonkey | 2025-05-05 08:53:43+00:00
I use chatgpt in a socratic way from time to time because I don't want answers I want the joy of thinking and learning. I heard there were efforts to make educational LLMs (whatever that means). Maybe it will help multiply teachers leverage so that more kids get inspired without having the teacher spend 1-on-1 time with them.. I don't know.
by _djo_ | 2025-05-05 08:55:23+00:00
I don't care how usable they are, this is the DoD and NSA-approved mechanism for conducting classified conversations and viewing classified data on mobile devices. The adversaries here are other countries who are very good at what they do, security is far more important than convenience.

As for further research, there's plenty online about his programme and these devices. Feel free to Google it yourself. You're asking to be spoonfed.
by oliwarner | 2025-05-05 08:55:37+00:00
This Koskinas character seems a little frayed. Hyperfocused on punishing people, to the point where he's helping exploit writers to get an in, and then fervorously banning all their customers on release.

Back when anyone could run their own game server, logging was way more prevalent. Many games let you replay an entire match and it was comically trivial to playback and spot superhuman recoil control, aim snapping, wall hacks, etc etc etc. We had kickvote and Overwatch to farm this out to players in near-real time.

But instead of improving this (esp with "AI"), or just adding some financial loss to being banned, these free-to-play monsters need the lowest level system introspection. Seems a bit suss to me. "You can play my game for nothing but I need root?" No thank you.

Charge a one-off £5 for an account. 95% of your cheaters evaporate if they can't freely cycle accounts.
by motorest | 2025-05-05 08:56:02+00:00
> That doesn't mean that we cannot use LLMs to build that software, but it does mean that in the end every line of code must be validated to make sure there's no issues injected by the LLM tools that inherently (...)

The problem with your assertion is that it fails to understand that today's software, where every single line of code was typed in by real flesh-and-bone humans, already fails to have adequate test coverages, let alone be validated.

The main problem with output from LLMs is that they were trained with the code written by humans, and thus they accurately reflect the quality of the code that's found in the wild. Consequently, your line of reasoning actually criticizes LLMs for outputing the same unreliable code that people write.

Counterintuitively, LLMs end up generating a better output because at least they are designed to simplify the task of automatically generating tests.
by fpoling | 2025-05-05 08:56:09+00:00
I was hoping the article describe how to perform the application restart without dropping a single incoming connections when a new service instance receives the listening socket from the old instance.

It is relatively straightforward to implement under systemd. And nginx has been supporting that for over 20 years. Sadly Kuberenets and Docker have no support for that assuming it is done in load balancer or the reverse proxy.
by dogcomplex | 2025-05-05 08:56:11+00:00
If you took a forklift to the gym, you'd come out of the experience not only very good at "lifting weights", but having learned a whole lot more about the nature and physics of weightlifting from a very different angle.

Sure, you should lift them yourself too. But using an AI teaches you a shit-ton more about any field than your own tired brain was going to uncover. It's a very different but powerful educational experience.
by billfruit | 2025-05-05 08:57:46+00:00
Asciidoc is also a good alternative.

Are people looking seriously at shortcomings of latex and moved towards modern replacements?

Major problems include:

- Tables are a huge pain.

- Customized formatting like chapter headings, footers, etc is painful.

- Latex as a language somehow felt like it was having issues with composability of functions, the details of the problem eludes me now, but it was something like if you have a function to make text bold, and if you have another function to make it italic, then if apply one to the output of another, it should give you bold and italic, but such composability was not happening for a some functions.

-Mixing of physical and logical formatting.

-Lot of fine tuning require to get passable final output.
by fsh | 2025-05-05 08:57:49+00:00
I disagree. LaTeX is very good at layouting test, and can also (reluctantly) put figures into the text. Anything else is a huge hack (like TikZ), and one constantly runs into crazy limitations such as the fixed-point math and the lack of a decent visual editor. Slides should never have paragraphs of text on them, so the layouting is not very useful, but the other limitations are very annoying.
by zoover2020 | 2025-05-05 08:59:18+00:00
Tangentially related: on each trip I make, I try my best to get a run in on Strava during which I explore a city or area with one or two pictures I make _during_ the run.

They're my favorite memories. NY's Central Park, London's Hyde Park, Norway's fjords, Barcelona's beaches... The best part is that these feel like very tangible memories and take zero physical space to store!
by xandrius | 2025-05-05 08:59:26+00:00
I don't think prompt / output ratio, is the speed to get the output that matters.

If I spend 1 hour and write 500 words of prompt to then attach X additional rows of data (e.g. Rows from a table) and the LLM returns X rows of perfect answers. It shouldn't matter that the output ratio is worse than if I had typed those characters myself.

The important thing is whether within that 1 hour (+ few minutes of LLM processing) I managed to get the job done quicker or not.

It's similar to programming, using LLMs is not necessarily to write better code than I personally could but to write good enough code much faster than I ever would.
by aa-jv | 2025-05-05 08:59:46+00:00
I had a small collection of favored LCD watches in the 80's, including the Scramble Fighter game mentioned in the article .. as well as a few other neat ones, including a DataBank and another Casio which featured 15 tunes/melodies and a small sequencer for composing ones own, which was always a delightful use of time while waiting for the bus.

These days I also have a set of watches - from the PineTime to some TTGO vendor-machine clones, an Oscilloscope Watch and a Watchy by SQFMI. These are mostly just hacking toys - fulfilling the fantasy of having a veritable toolbox of devices to lug around on my wrists - but rarely being actively used.

Well, except for the Pinetime, which I've lately taken to wearing more often to count steps and track heart rate metrics.

That said, this article has lit a fire on the subject of PineTime extensions, and I think I am seeing a future series of watchfaces and smaller apps inspired by the Casio era, on my horizon .. would be fun to have a Casio simulator with a few of their watchfaces on the PineTime - which, for all of its quirks, is a darn cheap way to carry time, even if the current set of watchfaces/apps for it is a bit .. mundane .. to put it politely.

Anyone up for some CASIO inspired PineTime watchfaces, or know of any already? Or maybe for the SQFMI/Watchy, perhaps? Maybe its time to crack out the devtools ..
by cess11 | 2025-05-05 08:59:55+00:00
One of the main hypotheses is that concurrent release of neurotransmitters can cause dopamine to be reabsorbed into serotonin vesicles where the 'wrong' MAO enzyme breaks it down, releasing hydrogen peroxide.

Another hypothesis is that the human serotonin systems, specifically the prefrontal cortex, are relatively young and not evolved to take a beating, unlike the 'fight-and-flight'-related dopamine systems.

One indication that this might be the case is differences between people that use amphetamine regularly through nasal or oral routes compared to people using MDMA in a similar manner, where the latter group typically suffers more obvious neuronal damage faster. Amphetamine needs to be taken at very high doses to affect the serotonin transporter, so you'd typically see this in users mainlining lots of it.

As far as I know you don't see the same mental and neuronal risk profile with e.g. 6-APB and similar benzofurans that David Nichols lab produced in the nineties, as with MDMA. They are also not as subjectively rewarding and 'fun' as MDMA, indicating that the dopamine release plays an important part in this regard.

'The dose makes the poison' is usually credited to Paracelsus, late 1400s, early 1500s. Whether he should be considered wise is a matter of debate, Francis Bacon disagreed and argued against Paracelsus and the rosicrucians that did consider him to be.

Edit: Should probably add that methamphetamine is a much more potent serotonergic agent than amphetamine, and in some societies 'amphetamine' or 'amphetamines' tend to actually mean meth because that's what's available to them.
by AngryData | 2025-05-05 08:59:56+00:00
They are all over the place, but they don't go around advertising that fact specifically because so many people hold opinions like that where you are either an addict and screw-up or completely abstain. Also people with any sort of professional job are going to be extra careful about exposing their drug usage because it can ruin their whole career. Even flimsy accusations can be quite damaging in many professions.
by throwaway81523 | 2025-05-05 09:00:02+00:00
This is pretty neat. Every univariate polynomial has a series solution whose coefficients come from some intricate combinatorics whose meaning is still partly obscure.

I had trouble finding a pdf link to the paper to download a regular pdf instead of using their in-browser viewer. It is here:

https://www.tandfonline.com/doi/pdf/10.1080/00029890.2025.24...
by lava_pidgeon | 2025-05-05 09:00:03+00:00
Can you elaborate? In my experience it is the opposite: CNNs are highly depend on the input tensor shapes thus resolution change need even an architectional change. While resolution changes in ViT lead to more tokens, a ViT model can handle that (for image classification e.g. you always take the CLS token, Segmentation maps and similar task have the same output as in the input).
by hn_throw2025 | 2025-05-05 09:00:23+00:00
Power chords are also common when guitars are played with distortion, like most of this Nirvana album.

R 5 R - the intervals are far enough apart that in this powerchord that they don’t clash harmonically.

R 3 5 R - the third is too close to the root and fifth, so the sound would be indistinct.

If you play the usual cowboy chords with a high gain tone, it turns to mush.

Of course, you can get around this with inversions to produce different voicings. I like R 5 3 with distortion to push the third up an octave, and keep it clear of it’s neighbours.
by empiko | 2025-05-05 09:00:38+00:00
> pre-modern military command at a tactical level is almost completely nonexistent

I think you mean strategic level. Tactically, they were able to hold formation, rotate, do all kinds of maneuver. Just look at how many "NCOs" are in a Roman legion. But it was difficult to control the units strategically, e.g. taking several units and moving them across battlefield in an organized fashion.
by kharak | 2025-05-05 09:01:02+00:00
Coming from the other side of this argument: In my degree, rote memorization was required for a surprising amount of courses. It required students, me included, to memorize huge quantities of things we knew were utterly irrelevant to anything but being graded. (This prediction remained true). Committing irrelevant course work into memory over and over again almost burned me out, certainly made me lose all interest and fun in learning for over a decade afterwards. To be honest, I still feel slightly burned and that might never go away.

You might have attended a good degree, where the learned information was actually beneficial. But I'd bet for most degrees out there, rote memorization is the consequence of professors wanting easily gradable exams, existing for their benefit, not the students.

Which means the actual problem is low quality education and degrees and we might find common ground here.