MurphyA/hacker-news huggingface dataset:
by Hamuko | 2025-06-16 14:46:19+00:00
>Living life treating everyone as guilty until they prove themselves innocent is... just shitty

There's no scenario here where this guy is innocent. The distinction here is whether he's a wife-beating drug dealer or just a drug dealer. There's some evidence to suggest the former but not really enough that you can definitely state it.

Personally, I'd give a convicted drug dealer less benefit of the doubt than the average person.
by toss1 | 2025-06-16 14:46:55+00:00
Just checked, their website lists 0.28 mm, 0.38, 0.5, 0.7, and 1.0 mm, with examples of each. [0]

What pens do you find best and what is your use-case?

[0] https://www.jetpens.com/blog/Uni-Jetstream-A-Comprehensive-G...
by maxlin | 2025-06-16 14:47:35+00:00
What kind of question is that? I wrote something from memory, then as an afterthought fed it through a system that is quite good in giving cursory, fact-based review if its validity. You see the whole history and know the system prompt isn't something malicious against the context.

I don't like ChatGPT's biases in many things either but being that hard against it while it cites Reuters etc isn't really sensical.
by FridayoLeary | 2025-06-16 14:47:50+00:00
I agree that gel writes better but you are wrong about ballpoints. It's like saying i don't write spanish so that means it's useless.

Thick gel pens soak through the paper so they're not great and the thinner nibs break easily or they pierce the paper.

Most times you pick up a pen it's to jot down a quick note or number, a ballpoint makes more sense for that.
by gruez | 2025-06-16 14:48:04+00:00
>Salaries aren't determined by labor value,

In a free market, very little is determined by its "value". Clean drinking water costs pennies, but its value is far higher. People in developing countries routinely spend hours a day getting clean water, which works out to a price far higher than even bottled water from for-profit companies.

>they're determined by how well employers can collude in a region to get the lowest possible rate while still being able to hire people. Thus they somewhat tend to correlate with cost of living, but not really, e.g. see London vs SF vs NYC.

Is there any evidence there's more collusion happening in London?

>employers will pay as little as they can get away with.

You're making it sound like this is some sort of profound insight, or that companies are being extra dishonorable by doing this, but literally everyone in an economy is trying to pay "pay as little as they can get away with". When was the last time you tipped a gas station?
by hiccuphippo | 2025-06-16 14:48:15+00:00
DNS blocking with tools like DNSNet get you halfway there without tampering with the apps. It installs itself like a VPN and filters dns requests to ad domains using lists from the same sources as the adblockers.

I say halfway because some apps have a fallback, built-in, ad when it can't reach the server, other serve the ads from their own servers so no way to block them. Most only leave a blank space.
by ty6853 | 2025-06-16 14:49:08+00:00
One of the most baffling elements of the justice system is how little the victim is involved in the justice. 'Society' should not lord the lion's share of the justice decisions over the victims. Quite often the victim would prefer compensation and release over getting fuck all while the perpetrator languages in prison at the tax dollar of the victim.

Much of 'justice' has been usurped from the victim into a jobs campaign for the state.
by UncleEntity | 2025-06-16 14:49:31+00:00
It's not mutually exclusive.

Someone can both work towards rehabilitation and pay their 'debt to society'. If they earn over what it costs to house them in a Maine prison then, by all means, let them keep the excess earnings. If they earn $100k/year and the state pays them $1.35/hr then there are deeper institutional issues around prison labor exploitation which should be addressed.

I used to have an uncle who was constantly in and out of prison over drug-related issues and he would do all sorts of work programs just to break up the monotony. Ironically, none of these rehabilitation efforts did any good and what finally 'set him straight' was the Three Strikes Law.
by deosjr | 2025-06-16 14:49:31+00:00
Thanks Dave, high praise! I was inspired after seeing you all take over the declarative & minimalist programming room at FOSDEM this year.

If you thought this was cool, wait until you see what I ended up using it for: https://deosjr.github.io/dynamicland/ I personally think this is much cooler :) But it needs some more explaining before I can broadly share, I think.

Now that I have you here, a question: am I correct in thinking that in Hoot, eval in the browser does not currently work with macros?
Show HN: dk – A script runner and cross-compiler, written in OCaml
by beckford | 2025-06-16 14:49:34+00:00
I've always found it cool to be in roles where I can help a younger generation learn skills to have a bright future. That role is something I do in a few ways (as a parent, robotics mentor, school board advisor and Sunday school teacher) and I suspect most HN readers share the same role and appreciation. And for developing software skills, it was obvious that both the students and I had to have a productive software environment where we could work together. That theme of experienced/inexperienced engineers working together is the context in which I created `dk` as a scripting tool.

My testing ground has been students with one or two AP CS courses (high school computer science in the US), some of whom interned with me. I had to tackle a few problems:

- The development environment had to be simple to setup and the programming language couldn't be complicated - The recognition that writing small, easily testable units of work (ex. "scripts") has been the only way I've found for very junior programmers to develop a large application - Cheap, locked-down development hardware (ex. school computers with limited RAM and no Administrator privileges) is sometimes used for deployment to cheap hardware targets (ex. hand-me-down Android tablets)

My solution was to write a standalone binary called `dk` that uses scripts as the atom of work, cross-compiles to standalone executables, and downloads the runtimes and sysroots it needs on-demand. It sits roughly in the same space as Python and Go.

`dk` is available for Windows, macOS and Linux/glibc host machines with a growing list of cross-compilation targets. Your `dk` scripts are written in an almost complete subset of OCaml 4: all `dk` scripts are OCaml, but not all OCaml code can run in `dk`. The other differences from conventional OCaml are that `dk` comes with a large library included, and that I treat any feature as buggy if the feature does not work on all supported OS-es.

The above origin of `dk` is admittedly odd (and abbreviated), so I was not expecting that `dk` would now be a general-purpose scripting tool. Yet it is. I can wrap, re-use and organize most of my hand-written software as a set of `dk` scripts.

Fair warning: The cross-compilation support in `dk` has had a recent overhaul and not every bug is closed. The error messages suck (you have to scroll up to see the root cause and resolution) but they will improve. Some progress bars are missing. There are also a few experimental features ... `uv`-style imports and an interactive interpreter are the big ones ... which are purposely under-documented because I am worried about `dk`'s API surface.

But it still works well, and you can see some real applications in the Examples section. I'd love if you could give it a kick in the tires and give `dk` some feedback! The issue list is at <https://github.com/diskuv/dk/issues>.
by zmgsabst | 2025-06-16 14:49:42+00:00
The structure that most words describe is objective, so you haven’t distinguished math as a language. (Nor is mathematics entirely “objective”, eg, axiom of choice.) And the number of terms in your chosen language with your chosen basis isn’t objective: that’s an intrinsic fact to your frame.

The complexity of terms is not fixed — that’s simply wrong mathematically. They’re dependent on our chosen basis. Your definition is circular, in that you’re implicitly defining “non-degenerate” as those which make your claim true.

You can’t make the whole class simplified at once, but for any state, there exists a basis in which it is simple.
by souvik3333 | 2025-06-16 14:50:25+00:00
This is the result. ``` Page 1 of 1 Page # &lt;page_number&gt;8&lt;/page_number&gt;

Log: MA 6100 Z. O 3. 15

<table> <tr> <td>34</td> <td>cement emitter resistors -</td> </tr> <tr> <td></td> <td>0.33 R SW 5% measure</td> </tr> <tr> <td></td> <td>0.29 R, 0.26 R</td> </tr> <tr> <td>35</td> <td>replaced R'4 36, R4 30</td> </tr> <tr> <td></td> <td>emitter resistor on R-44</td> </tr> <tr> <td></td> <td>0.0. 3rd w/ new WW 5W .33R</td> </tr> <tr> <td>36</td> <td>% w/ ceramic lead insulators</td> </tr> <tr> <td></td> <td>applied de-oat d100 to Speak</td> </tr> <tr> <td></td> <td>outs, card terminals, terminal</td> </tr> <tr> <td></td> <td>blocks, output tran jacks</td> </tr> <tr> <td>37</td> <td>replace &-clun diviers</td> </tr> <tr> <td></td> <td>and class A BJTs w/ BD139/140</td> </tr> <tr> <td></td> <td>& TIP37A2</td> </tr> <tr> <td>38</td> <td>placed boards back in</td> </tr> <tr> <td>39</td> <td>desoldered ground lus from volume</td> </tr> <tr> <td></td> <td>(con 48)</td> </tr> <tr> <td>40</td> <td>contact cleaner, Deox. t DS, facel/42</td> </tr> <tr> <td></td> <td>on pots & switches</td> </tr> <tr> <td></td> <td>· teflon lube on rotor joint</td> </tr> <tr> <td>41</td> <td>reably cleaned ground lus &</td> </tr> <tr> <td></td> <td>resoldered, reattatched panel</td> </tr> </table> ```

You can paste it in https://markdownlivepreview.com/ and see the extraction. This is using the Colab notebook I have shared before.

Which Unicode characters are you mentioning here?
by burnt-resistor | 2025-06-16 14:50:27+00:00
In the off-topic calculator department: hpcalc.org :)

I have an HP 48 (series of graphing calculators) overhead projector display (InVision 48) that may need refurbishment to work, but I just found the manual at hpcalc.org.[0]

0. https://literature.hpcalc.org/items/1290
by PaulHoule | 2025-06-16 14:50:41+00:00
MVNOs leave a bad taste in my mouth. More than once I have used MVNO phones in both rural and urban areas and had my phone not work while people who had real phone plans had it working. Carriers have tools to prioritize different tranches of customers and so far as I can tell MVNO customers ride the back of the bus if they get a seat at all. Even at 1/3 the price the MVNOs I've tried were a bad value.

That said, if you have a loyal customer base an MVNO product can be rolled out completely and it's the sort of thing that you could bundle with a bunch of other services of dubious value, particularly if you are playing business theater. That telehealth provider will now be able to claim they have $X million customers, which could impress investors and potential partners, and it is all the better if they don't use it because they won't incur costs to serve.
by cryptonector | 2025-06-16 14:51:18+00:00
You have it backwards. The lowest entropy state of the universe would be if there were no attractive forces, only repellent forces, as then all particles would be forced into something of an expanding lattice, but with all particles equidistant from all nearest neighbors (of the same type).

It is gravity which disrupts this and causes clumping, and that _increases_ entropy.

I know it's confusing because normally one would think of a cloud of gas as more disordered than the star it might collapse into, but that is not so. For one the star would be much hotter, and the motions of every particle in the star much more chaotic.
by msgodel | 2025-06-16 14:51:38+00:00
I think I have this scope or a very similar one. I got it for free from someone else. (currently in storage.) It's a great hobbyist scope although mine doesn't have a DFT function which can be annoying. I've been borrowing a friend's modern digital scope when I've needed one. I think he only paid a few hundred for it. It's a little faster and has some more modern functions.

EDIT: Oops nope. Looked at the model number rather than the brochure. That's definitely an older analog scope while mine is digital.
by AlotOfReading | 2025-06-16 14:51:49+00:00
That's still not a chip where an OS would have to handle motherboard temperatures of 200C, like the original point though. An 8051 is going to be running bare metal. TI has some stuff in the C2000 line that can run FreeRTOS at 200C, but the overwhelmingly vast majority of chips on the market are rated to 150C max.
by __MatrixMan__ | 2025-06-16 14:51:52+00:00
I think that secure scuttlebutt (SSB) is a very good start, but eventually we'll need something besides an append-only log. Something that removes data that is no longer interesting. Something that, when it runs up against its storage quota, prunes data based on whether it is more/less trusted or likely to be interesting to a peer. Something that knows which peers I'm likely to be near in the future, knows which topics they're subscribed to, and which tries to be an efficient mailman based on that understanding.

But yeah, my vision is pretty much just SSB all grown up.
by joshstrange | 2025-06-16 14:51:57+00:00
> The only difference is that I view using LLM generated code as already a significant disconnect from the code, and you seem to think some LLM usage is possible without disconnecting from the code

It's a gray area for sure and almost no one online is talking about the same thing when they say "LLM Tools", "LLM", "Vibe Coding", "AI", etc so it makes it even harder to have conversations. It's probably a lot like the joke "Have you ever noticed that anybody driving slower than you is an idiot, and anyone going faster than you is a maniac?".

For myself, I'm fine with Github Copilot auto-completions (up to ~10 lines max) and I review every line it wrote. Most often I enjoy it for boilerplate-ish things where an abstraction would be premature but I still have to type out a bunch of boilerplate. Being able to write 1-2 examples and have it extrapolate the rest is quite nice.

I've used Aider/Claude Code [0] as well and had success but I don't love the workflow of asking it to do something, then waiting for it to spit out a bunch of code I need to review. I expect this will improve and I have seen some improvement already. For some tasks it has me beat (speed of writing UI) but most logic-type things I have been unable to prompt it well enough or give it enough/the right context to solve the problem. Because of this I mainly use these tools for one-off, POC, or just screwing around.

I also find things like explanation of errors or tracking down what the root cause of an error are useful.

I am very much _not_ a fan of "Vibe Coding" or anything that pretends it can be "no code"/"low code". I don't know if I'll ever be comfortable not reviewing the code directly but we will see. I'm sure assembly developers swore to never use C, who then swore to never use C++, who swore they'd never use python, and so on and so forth. It's not clear to me if LLM-generated code is another step up or just a tool for the current level, I'm leaning heavily towards them just being a tool. I don't think "prompt engineer" is going to be a thing.

[0] And Continue.dev, Cursor, Windsurf, Codeium, Tabnine, Junie, Jetbrains AI, and more
by reciprocity | 2025-06-16 14:52:14+00:00
I also think the claim that "the brain does not retain information it does not need" is an insufficient explanation, and short-sighted. As an example, reading books informs and shapes our thinking, and while people may not immediately recall a book that they read some time ago, I've had conversations where I remembered that I had read a particular passage (sentence, phrase, idea) and referred to it in the conversation.

People do stuff like that all the time, bringing up past memories in spontaneity. The brain absolutely does remember things it "doesn't need".
by redjet | 2025-06-16 14:52:18+00:00
That mention of EPS takes me back, we used to use it all over the place to form basic hub-and-spoke networks in areas where we had lots of small sites that would all connect to a single exchange. It would generally bounce along at 2Mbps which wasn't bad in those days.

We also had some large campus type sites where we would sometimes implement EPS to do LAN extension over the onsite twisted pair as it was cheaper than installing fibre and just about fast enough.
by ROllerozxa | 2025-06-16 14:52:25+00:00
That would be quite fun, especially if you would have some thing that checks the DISALLOW_FUN policy. While doing a quick search on GitHub while reading the blog post to see if any Android apps with available source code were using it, all that came up were repositories containing code for the system Settings app locking away the version easter egg based on it. You might become the first third-party to use it!
by pookha | 2025-06-16 14:53:14+00:00
I'd like to see him get life in prison with no chance at parole. He's responsible for at least three deaths (probably more) but because he's proficient at social engineering and feeding people lines he's weaseled his way into the tech industry (from prison!). Over 78k people died in 2023 of fentanyl alone and this twerp was trafficking a substance far more lethal, he literally left a trail of bodies in his wake.

https://www.wbay.com/content/news/New-Hampshire-man-suspecte...
by echelon | 2025-06-16 14:53:24+00:00
Entropy is complicated beyond just a Rankine or Carnot cycle.

Biology thrives at the ebbs, flows, and eddies of entropy. Predation. Biochemical flux. There are arrows flowing every which way, and systems that keep it finely tuned.

This theory, based on my surface level reading and understanding, is that the aggregate particle-level entropy within sub light speed systems creates gravity.
by 999900000999 | 2025-06-16 14:53:24+00:00
Your doing the Lord's work.

Even if you just paid him the state minimum wage, it would stop him from having a giant employment gap.

The next step would be background check reform. A DUI record isn't relevant to anything not involving driving.

Excluding a very small handful of SVU level crimes everything should be wiped clean after 5 years or so.

I had an experience with a co worker who would brag about robbing people, selling substances and when he got caught his family money made it go away. He's a CTO at a mid sized tech company now. Had he been poor he'd have a record and be lucky to work as a Walgreens clerk.

Was the biggest "tough on crime" person I've ever met. I think people with means don't understand if you don't have money you can't afford bail.

Can't afford bail you'll just be indefinitely detained without trial for months if not years.

Everything about the criminal justice system is about exploitation. Get house arrest, that's a daily monitoring fee. States like Florida are forcing released inmates to repay the state for the cost of incarceration.

It's past fixing tbh, I'm personally hopping to immigrate to a functional country soon.
by probably_wrong | 2025-06-16 14:53:41+00:00
Counterpoint:

We've known about global warming for almost 50 years and yet to this day the debate is divided between "eh" and "no, it isn't".

Coal plants have been consistently depositing smog in our lungs with no end in sight.

Boeing has successfully lobbied itself out of criminal charges for the deadly consequences of their (IMHO) negligence regarding the 737 Max.

Companies have stopped pretending that they'll put human lives before profit. As a human, I am therefore beyond giving any company the benefit of the doubt that they'll "engineer around it" when it comes to safety.
by dghlsakjg | 2025-06-16 14:53:59+00:00
Gas stations are private businesses, and they typically make almost nothing on gas, most of their margin is in the c-store.

Requiring every single one of them to invest in a 5-6 figure power backup solution with hundreds or thousands in yearly maintenance costs, so they can sell their lowest margin product to accommodate those who can't plan ahead during a disaster that happens maybe once in a decade event is pretty absurd.
by thomastjeffery | 2025-06-16 14:54:41+00:00
Everything is derivative. This boundary you are defending between originality and slop is extremely subjective at best. What harm is slop anyway? If originality is so objectively valuable, then why should its value be systemically enforced?

At the intersection of capitalism and copyright, I see a serious problem. Collaboration is encapsulated by competition. Because simple derivative work is illegal, all collaboration must be done in teams. Copyright defines every work of art as an island, whose value is not the art itself, but the moat that surrounds it. It should be no surprise that giant anticompetitive corporations reflect this structure. The core value of copyright is not creativity: it's rent-seeking.

Without copyright, we could collaborate freely. Our work would not be required to compete at all! Instead of victory over others' work, our goal could be success!
by incomingpain | 2025-06-16 14:54:45+00:00
Brave already built an AI into the browser. It's called Leo AI and I never use it; it's really not particularly good.

Looking at settings, Llama 3.1 8B is the default? I guess that explains why it's so bad.

Also has option of mixtral, claude haiku, qwen 14b. Couple other 'premium' options.

Very interesting that it's loading up such small models but is still 'proxied' and 'anonymized'

Looking at 'add model' it basically gives you an option to access ollama. I might need to give that a try.

>Google's Gemini Nano model

The 2-3B model that is not going to be particularly useful?

Mozilla shouldnt be particularly concerned.
by gosub100 | 2025-06-16 14:55:19+00:00
Remember, the far left uses terms like "assault" to describe speech they don't like. Maybe this is conservatives' chance to play "manipulate the meaning of words" and spin it as "denied entry in order to prevent assault" ?

Either way, they made certain forms of speech de facto illegal and we're not going to go all "free speech" a few years after people on the right were fired or kicked out of school for expressing wrongthink.
by 542354234235 | 2025-06-16 14:55:42+00:00
Definitely a store choice. I am in an area with Publix grocery stores and have never had an issue with self checkout. I bring my own bags and have a bag in the bag area and one in the cart and can scan items and put them right back in the bag cart without any issue. They have a person monitoring the 5 stations and clearing alcohol purchases and other issues and it goes very fast. They also pay their people well, so the staffed checkout lanes are also very fast. I just personally prefer packing my own bags, even though I’m not as quick as the workers.
by msgodel | 2025-06-16 14:55:42+00:00
I think it indicates stronger internalization of the "theory" (using phrasing from "Programming as Theory Building.")

There's a kind of "nesting" thing 10x/100x programmers do with code and it tends to manifest this way. The opposite extreme is the 0.1x programmer dequeing agile tickets they don't really understand and issuing broken PRs overworked senior dev "maintainers" LGTM merge. I think everyone exposed to corporate software (on both sides) is really tired of that.
by goda90 | 2025-06-16 14:56:05+00:00
To sterilize a bottle you simply need boiling water without a significant amount of toxic materials in it. To get boiling water you need water, a container for the water, a combustible fuel, an ignition source, and a means of transferring heat from the burning fuel to the water. Even if you don't have a metal pot you can do stuff like heating rocks and then stacking them on cool rocks inside a plastic, glass, ceramic, wood, etc container filled with water to get to a boil.