skysight-inc/HackerNews huggingface dataset:
Ebay to me is always bit of an uncontrolled market. But on other hand I fully expect Amazon and other such marketplaces to fully vet their suppliers. And if they are doing fulfilment take any legal hits from not doing reasonable due diligence with stolen or fraudulent merch.
On your last bullet, I think you mean raise taxes. Is that right?
PizzaNet redirects to a real live site for my country (UK) offering to let me place a real order! B^>
> not surprisingly, it does not have an amazing history of working out (especially compared to other mechanisms).

So, you're claiming that there's empirical evidence that supports your claim. Please link it.
Thank God they're not scanning for the crypto wallet keys I've stolen with SIM swaps or the nuclear centrifuge plans I snapped images of after Elon Musk gave me access. So glad I use my iPhone for all the homemade porn!
Show HN: Learn to write text better with AI
I built Chatty as a weekend project after noticing most AI writing tools focus on generating or correcting text, rather than teaching users how to improve their writing skills.

Key features:
- Knows your text style, and will adapt its suggestions accordingly
- Detailed grammar rule explanations with context
- Writing style development (formality, tone, context awareness)

The app is completely free to use - I built it to help people actually improve their writing skills rather than just relying on AI corrections.

Tech stack:
Next.js, Mantine, Gemini 2.0 Flash Lite & Gemini 2.0 Flash

Try it here:
https://chatty.wastu.net
Personally, I'd classify jobs such as reporting and clerical administration more as 'admin' then IT. You do some of that as a SWE (tickets, SoW, Design docs) but that's not generally the focus of the work.
Guess what... Sometimes I need to take a left exit. And there will frequently be a bunch of clumping chumps doing 20 over in the left lane. So I get over when I can.
Sorry, native english speaker here, what is wrong with banana wine?
Questions I'll always ask in a product review
These examples are not in the browser context at all.
Iconically, the 1994 version of dominos.com had much better usability.
It looked cleaner and simpler than today.

I just used the present-day version the other day, and somehow Chromium on
my laptop rendered the font so tiny I could not read anything (CSS issue? Not sure, but it does not happen with other sites). Not to mention everything was cluttered.

I wish sites could go back to earlier, simpler Web designs. If you want
complicated, offer an alternative "simple view" or "text only" site.

EDIT: On a more philosophical note, I'm glad pizza and books were among the first things sold online; that shows people got their priorities right!
The proposed remedy uses Google Play Store app, but this app now requires further personal info - for "purchase verification".

Any workaround?
It's profitable for Amazon and eBay to have reliable reviews and fewer dissatisfied customers.
Ah, so expected.

Comments are choke full of ways to use a 27” 2015 iMac as a second display.

But why is this on HN?
>but it was a very poor decision that I have to believe they regret

Unfortunately, I'm sure the folks that signed that deal were long gone before the problems started setting in
https://x.com/mbalunovic/status/1887962694659060204
Yeah, it's probably a bit unfair given that GC research itself is just Java.

Also, there might be some philosophical difference at play here, Java (the JVM) tends to expose only a very limited API (no structs, pointers, etc), but this allows more flexibility on the runtime part, while .NET let's the developer touch/control everything, but that might means less room for doing some advanced stuff on the runtime side.

The age-old generic-specific balance.

(Also, I like this playful competition between languages, much better than pointless flamewars :D)
Why blog if nobody reads it?
Yea we all have a lot of books to read, but trying to figure out how the group wants to learn something and discuss is hard. Especially when the goal is having some business benefit, not just reading for fun.

There’s a lot of “paper reading” clubs which might also be interesting to look in to.
Have you seen them in real life? They are much more interesting in person.
Go optimizing for latency over throughput means the GC very rarely interferes with my applications SLO at the cost (literally $) of presumably requiring more total compute than a GC that allows more fine tuned tradeoffs between latency and throughput.

As someone who is not directly paying the bills but has wasted far too much of my life staring at JVM GC graphs and carefully tuning knobs, I vastly prefer Go’s opinionated approach. Obviously not a universally optimal choice but I’m so thankful it works for me! I don’t miss pouring over GC docs and blog posts for days trying to save my services P99 from long pauses.
> How do you fix wealth inequality? That's what I want to know.

This has been a topic of research for a long time in social science. Wealth redistribution via taxation, education, and strong social safety nets. There is some deadweight loss due to taxation in a single-shot model, but allows for more stable regimes when considering the long term.
https://www.hodinkee.com/articles/the-watches-of-president-b...

"Now we're talking ubiquity. When President Biden isn't wearing one of his many steel (or two-tone) sport watches, you'll likely find him with an Apple Watch. It's unclear why, or for which occasions he chooses the smartwatch out of his watch box, but he's worn it in the Oval, and at the Resolute, just as he has with any of his other watches. "

So when Biden wears it, it's OK. No 'former CIA' writes any open letters, no HN Commies "following orders". When the Vice-President wears it - they are stupid and they are threatening national security.

What a hypocrisy is the whole democratic party. Disgusting propaganda methods akin to Soviets.
Flagged before I submitted the second. Happy for this post to get recycled, I just want to ensure that HN has a chance to discuss it.
The average American utility company nets around 10% return on equity, IIRC. 30-year Treasury bonds can be had today around 4.6%, with none of the risk or headaches of operating a business. Hardly a bastion of profitability.

I agree residential electric infrastructure in the US is not nearly as good as it could be. Buried power lines in suburban environments alone could probably cut outage numbers at least by half; but as one of the first countries in the world to electrify, doing that is a lot more expensive than in developing countries. Sometimes there is such a thing as a first-mover disadvantage!
Come in under the shadow of this impure rock
And I will show you something different from either
Your shadow at morning striding behind you
Or your shadow at evening rising to meet you;
I will show you wisdom in a handful of sand.
Here is how I make sense of it (I have no expertise in this subject, please feel free to correct me if I am wrong): I think when the model is pretrained on the internet, it does gain most of the skills required to do mathematical reasoning, however, since its task is to predict the next word distribution on the entire internet, it does not normally use this ability, since most of the text on the internet is not this type of reasoning text (think of generative image models a few years ago, where appending "unreal engine" to a prompt would significantly improve the quality of the output, the reason was that the model was trained to generate the distribution of the images on the internet, most of them are not particularly impressive, however, since images containing "unreal engine" were usually high-quality screenshots of images, it would also move the distribution of generated images towards higher quality generations). So I think the model already has most of the ability, it just needs to adjust a few connections to actually utilize this latent skill, so it makes sense that a few training examples are enough to adjust the connections to increase mathematical reasoning skills.
For my ETL pipelines I have not had this issue.
>> The good way is to inspect the code :)

The best way is to profile the code. Time is what we are after, so measure that.
Since we're on the topic, is it just me or does GitHub Copilot seem worse than it was on release? Posts like these lead me to believe that some developers are out there halving the amount of code they write, but Copilot often fails for me even with very explicit instructions about how I want something implemented. In fact, ChatGPT seems to fare better, even though it's both OpenAI's 4o (switching to Antropic's model does not help).

What should I use to replace me?
Yeah, sure. Tell me more about what they ordered you to say, comrade? :))))
I have spent so much time working with users that I don't agree. I think the lock-in is simply a useful side effect for the MBAs.

If you're making software or hardware for millions of users then abstraction becomes your friend in a variety of ways, some of which are immediately obvious and some of which are not.

I used to work for a company which sold software for both desktop and mobile. The earliest versions of the mobile software assumed you also had the desktop software: it was more of a companion to the desktop software. That changed over time, and it was a painful migration because we had to build a lot along the way. It was kind of like in a game where you're running through the sky building a walkway in front of you as you go.

Over time not having some kind of seamless syncing and handheld migration option became a liability for a variety of reasons, and a big economic one was support overhead. Asking users, at scale, to do things with files on their mobile devices (let alone with both their mobile device and computer) was asking a lot. So much so that we ended up expending an increasingly economically unjustifiable amount of time hand-holding users through very basic steps. Our technical users got it just fine, and we basically just had to provide cover when something unexpected or untested happened, but that was a minority of users.

I agree with the general sense here that it's to our detriment generally that basic computer literacy for things like files and folders is decreasing, and that it's made worse by trying to abstract those primitives away. On the flip side, the market is going to serve itself best by meeting people where they are. Businesses aren't going to try to educate people, they're just going to take the path of least resistance which only serves to enable (or you like, underwrite) a continued regression in basic computer literacy.
I am the author of the article. Indeed, I am a programmer, but believe it or not, I have also taught people. Thus, I think I am eligible to say that no, people don't need teachers anymore. Not in the traditional, preaching sense, anyway.

Please, don't get me wrong - the right role model is becoming increasingly more important than ever, especially, now that everyone is essentially talkign to a piece of software that conjures up words statistically.

What you gave as an example is illustrating this better than anything else - anyone could just spit out the course material, and students may still not get a word of what has been said. And then, there are others, like a late professor of mine, who would just ramble on the most seemingly random things in class, and would still make people show up, share their opion, defend their theses, and show that they've grasped the subject matter.

Yes, teaching is a skill - but one that no longer has to do with reciting over the course material.
> The possibility (and even occurrence) of memory safety issues and memory corruption doesn't tank a project, or make it more costly than if you'd used a GC, or Rust. Memory bugs range from very easily avoided and solved to surprising and very, very hard to solve.

I never said this. The Linux kernel and any other project will thrive with or without Rust. But it is a certainty that the higher the ratio of C-to-Rust in the world (or well, any memory-safe systems language), the higher the amount of CVEs we will see. It would seem reasonable to me to assume that we want as few CVEs as possible.

To be honest, I also don't understand the dogmatic stance a lot of C developers have against Rust. Yes, it does cause some friction to learn a new language. But many of the correct idioms Rust enforces are things you should be doing in C anyway, its just that the compiler is a lot more strict instead of just nagging you, or not even nagging at all.
In the case of the Minecraft mod Sodium, which replaces much of Minecraft's rendering internals, Nvidia optimisations caused the game to crash.
So the mod devs had to implement workarounds to stop the driver from detecting that Minecraft is running... (changing the window title among other things)

https://github.com/CaffeineMC/sodium/issues/1486

https://github.com/CaffeineMC/sodium/issues/1816
See advice at https://www.ycombinator.com/library/carousel/Finding%20a%20C...

And a matching service at https://www.ycombinator.com/cofounder-matching
A reasonable, but unwarranted expectation. Amazon's marketplace functions without effective oversight since basically forever now. Heck, they sell radioactive metals without warnings and despite those being illegal, see https://www.youtube.com/watch?v=pmJNllQyoRI.
Humans make mistakes too.

I find this "LLMs can be wrong" argument a bit tiresome, and also a bit lazy.

I feel like we have been here before. With wikipedia. With stack overflow. Or with the whole debate about c/assembler vs garbage collected languages.
You know what's extremely reductive and dishonest? Shifting the goalposts from "if you offer enough pay, you can get enough applicants" to "if you offer enough pay, you can get a specific person to take the job".

The original claim was this:

> Only 10% of applicants are physically and mentally qualified? Sounds like you need more applicants? Want to attract more applicants? Offer more compensation.

You then dishonestly moved the goalposts:

> There are plenty of jobs that you can't pay people enough money to want to do.

> The notion that if you just pay enough, people who are otherwise qualified will do anything, is amazingly reductive.

Maybe before accusing people of being reductive, you should respond to the actual point being made instead of moving the goalposts.

> As I've said, plenty of studies have explored the effect and limits of giving more money on happiness, on recruitment, etc, on tons and tons and tons of fields.

None of which you have linked. Go ahead, link a study that says that even offering an unbounded amount of money isn't enough to get enough applicants within the amount of time it takes to go through the training pipeline.
Targeted ads aren't the only kind of ads. Disregarding for a moment that you can do some amount of targetting without collecting PII too.
I think windows phone had the same thing as well, a unified in box where you could receive all your updates in a single place
Because writing is fun.

Check out my personal blog

https://rxjourney.com.ng

If you like it and you're feeling extra generous, you can leave a donation.
It's a lot easier to check the code / check the output of the code / spot verify than it is to do the work itself... if I'd write my own code, I'd still have to verify (bc I trust my own coding ability even less than Claude lol)
> Quebec is also far less populous

Isn't this my point? It is practical to punch transmission lines through any place. It is much more difficult, risky, and costly to maintain a fractal distribution network to individual customers in certain places due to geography and climate. If you parachute randomly into Quebec you'd be walking for a month before you met anyone. Same is not true in California.
That some violation of energy-(if-we-don’t-count-energy-from-large-scale-spacetime-shape-stuff) (not counting energy from large-scale spacetime shape stuff may be sensible, because AIUI you can’t really obtain it as just a sum of local quantities, and like, it depends on boundary conditions or something) occurs doesn’t imply it is possible to exploit to obtain more energy.

Does this violation even ever result in more usable energy rather than less?

Like, red-shifting photons reduces their energy…

I suppose if we wanted to do the opposite, it would be making the contraction of space result in photons being blue-shifted, but uh…

Well, that would result in things getting closer together, and unlike expansion, that seems to run into a limit at some point?

I don’t think the laws of physics as they currently are, are sufficient to support an eternity of life (or civilization). For there to be hope of that, it must be hope of something or someone outside of the laws of physics we inhabit (or are well-approximated as inhabiting).

A new heaven and a new earth.
The Campaign to Delegitimize Wikipedia
Language is often solvable by better dictionaries. I have been forced to make my own dictionaries in the past, that led to similar error rates as more mainstream languages like English. If you are talking about another alphabet like Cyrillic or Arabic etc, that is another problem.
Both books are great.

Loved the revelation of planted food forests.
I would say there are only a smallish number of truly generic "reasoning patterns" (strategies/approaches), but applied reasoning not only requires a reasoning "pattern", but also a repertoire of valid domain-specific reasoning steps that can be applied pursuant to that approach, as well as the combination of capabilities it takes to overcome impasses when you've exhausted your knowledge and learnt reasoning steps and still not got to a solution.

Perhaps in a domain like math a smallish number of math-specific reasoning steps will go a long way, but math itself also has many "sub-domains" (algebra, geometry, calculus, topology, etc) and AFAIK the techniques of one branch are only going to be useful in another to extent you can map the problem from one domain to another.
4chan seems to privately believe that Germans and all Germanic groups are plagued by ethnic autism. I tongue in cheek believe it given how dry their humor is.
I'm not sure that source code verification is such a problem. It feels like it's definitely easier to write code to solve a problem than to verify some code written by someone else is correct and fault free.
Someone first needs to design a rule set for a game that only permits the correct use of language but encompasses the entire breadth of language use. Then it's plausible.

Thankfully for mathematics and code this seems plausible due to automated theorem proving.
We kind-of have that in DeepSeek-R1-zero [1], but it has problem. From the original authors:

> With RL, DeepSeek-R1-Zero naturally emerged with numerous powerful and interesting reasoning behaviors. However, DeepSeek-R1-Zero encounters challenges such as endless repetition, poor readability, and language mixing.

A lot of these we can probably solve, but as other have pointed out we want a model that humans can converse with, not an AI for the purpose of other AI.

That said, it seems like a promising area of research:

> DeepSeek-R1-Zero demonstrates capabilities such as self-verification, reflection, and generating long CoTs, marking a significant milestone for the research community.

[1] https://github.com/deepseek-ai/DeepSeek-R1
I do... I want a chatbot that can automatically magic up proofs that all my code is correct for instance. I don't care if I understand the proofs. I care if some tool that checks proofs understands them, and that's a mechanical game just like go or chess.
Understanding Metacognitive Failure
Kanata is amazing ! i'm using it right now. it can do many things like making a key a dual-function key (a letter on tap, a modifier on hold) and so much more

it recently got a new chording feature where you can press a whole bunch of keys at once (or just two if you'd like) and something will happen. like, you could press the letters q and n at the same time and program Kanata to send the word question or some macro like a hotkey or a series of hotkeys and strings. it's all up to you. i have a QMK board, but because Kanata has many more features and isn't limited to the memory of its chip, i use Kanata instead of QMK to architect my layout, complete with multiple layers and many QoL niceties
I have bought a number of tailored suits, albeit never bespoke.

Fitted worse than off-the-rack. I figured you need to keep adjusting the measurement at your tailor until you find the perfect fit, which is too much effort for me.

Or find an outstanding professional, which is just too expensive.
> The Devil's advocate takes just one side

He has to, because no one is willing to take that side.

> The Devil's advocate is dogmatic, single-minded, intransigent. When does the Devil's advocate ever admit that they're wrong?

He doesn't need to, because he announces he's the devil's advocate in the first place. Everyone knows that he's taking a contrarian, artificial (and much less popular) position that no one else wants to take.
I only buy keyboards that allow for remapping the keys at the firmware level. Either via custom firmware or configuration file. This means the mappings are inherently cross OS platform and just work. Example, ESC key replaces the Caps Lock since ESC is used more often and rarely is Caps Lock needed.

With multi-profile keyboard mapping, I even have a gaming profile so I don't have to remap keys in the game(s).

Do the same with mice. Cross OS, my mouse can lower, raise, and mute the volume. Great in games too with improving the would audio to either listen for those to sneak up on or quickly lowering the extreme loud noise.

Only grip is that laptop keyboards need to move to the same custom firmware / configuration mapping like external for better cross OS support / user experience.
> LLMs are not capable of reflecting on and reporting about how or why they do what they do.

i get the why, but about the how:

deepseek has shown it's able to explain it's reasoning, how it reach a conclusion. That's quite a far stretch from the llm being only able to estimate statistically what's the right word to put after another one.
Everyone but Apple going for mini-USB, micro-USB and finally USB-C is probably the most well known example. Another decently well known example was the early stages of social media moderation.

The "business model" of the EU is to check if something is going wrong or could be changed to make the life of European citizens better, to then show that to the industry with "hey, we noticed X - you got a chance to clean up shop on your own, or we will force you by passing laws".
That is a good idea.
https://sci-hub.ru/https://www.sciencedirect.com/science/art...
What about your shirt, you don't go with cotton?