MurphyA/hacker-news huggingface dataset:
by jongjong | 2025-06-24 14:02:37+00:00
This comment hits the nail on the head. This is what's missing.

We are deeply confused. Even regulations (which many people think are good) are are actually an awful workaround the concept of 'total liability'.

The term 'limited liability' speaks for itself. What a massive hack it is! If liability is limited; it immediately begs the question; who is paying for all the excess damage which exceeds liability limits?

I hate how people keep saying stuff like "Show me the incentive, and I show you the result" yet those same people will say "We need to regulate X..."

What are regulations? Nothing is worse than regulations in terms of creating perverse incentives and encouraging neglect. What regulations do, psychologically, is akin to saying "So long as you stick to these guardrails, you can do whatever you want! You won't be held liable, so long as you're compliant with our regulations. It's on us, the government, not you."

This is a horrible message to convey. What should be conveyed instead is "There is no regulation, YOU are responsible for the harms YOU cause. If YOU cause harm, YOU will PAY. You better think hard about what you're doing, make sure you're not causing harm. Regulate yourself! Because if you don't, you will lose it all and it will all be your fault."

The messaging behind regulations disempowers individuals and encourages neglect... It's horrible in terms of incentives. Also, it makes a deeply misguided assumption that the government is capable of understanding some industry or process better than the people who created the industry/process...

Reality shows us, clear as crystal, that regulations always lag behind, are full of loopholes and basically kill all competition from smaller companies, allowing large companies to be even more neglectful.
by ralferoo | 2025-06-24 14:02:41+00:00
Thanks for that. Having read the article, I was left with the overwhelming impression that I'd have solved it in a totally different way if I was trying in OCaml.

Briefly, I'd have started with an array which for each colour had an array containing the coordinate pairs for that colour. I'd probably then have sorted by length of each array. The state also has an empty array for the coordinates of each placed queen.

To solve, I'd take the head array as my candidates, and the remaining array of arrays as the next search space. For each candidate, I'd remove that coordinate and anything that was a queen move from it from the remaining arrays, and recursively solve that. If filtering out a candidate coordinate results in an empty list for any of the remaining arrays, you know that you've generated an invalid solution and can backtrack.

At no point would I actually have a representation of the board. That feels very imperative rather than functional to me.

To me, this solution immediately jumps out from the example - one of the queens in on a colour with only 1 square, so it HAS to be there. Placing that there immediately rules out one of the choices in both colours with 2 squares, so their positions are known immediately. From that point, the other 2 large regions have also been reduced to a single candidate each.
by danaris | 2025-06-24 14:03:35+00:00
I've definitely been using phrasing like it ("save off a copy", etc) for at least the past 20-25 years (upstate NY, moderately online, avid reader, parent is an English professor, fairly well-traveled).

Conceptually, I think that the "off" serves the purpose of aligning it with something like "split off"—you're essentially forking the history by creating a separate saved copy.
Show HN: Oasis – An open-source, 3D-printed smart terrarium
by jbuch | 2025-06-24 14:03:41+00:00
See the website for a demo video: https://oasis-terrarium.com

This project is an enclosure for growing plants. Features include:

- high-power LED lighting - a built-in water tank and mister - fans for airflow - temperature and humidity sensing - wi-fi connectivity and a web-based interface for control and monitoring (see https://oasis-terrarium.com/docs/usage_guide/#web-interface)

The entire project is open-source:

- electronics: designed in KiCad - 3D models: designed in CadQuery - software: written in Rust

I initially started this project during COVID and built a working prototype using a Raspberry Pi and off-the-shelf parts. The first prototype worked, but was pretty rough. Several months ago, I picked up the project again and began a complete re-design. After two rounds of circuit board design and countless iterations of the 3D-printed parts, I'm finally happy with the results. Along the way I learned a lot about electronics design and fabrication, 3D modeling, and Rust.

Happy to answer any questions - thanks for checking it out!

Here are some direct links to parts of the project you may find interesting:

- demo video: https://oasis-terrarium.com - detailed build guide with pictures: https://oasis-terrarium.com/docs/build_guide/ - interactive 3D model: https://oasis-terrarium.com/docs/3dmodel/ - detailed info on electronics design: https://oasis-terrarium.com/docs/electronics/ - 3D-printable models: https://www.printables.com/model/1315117-oasis-smart-terrarium
by noirscape | 2025-06-24 14:03:56+00:00
Yeah one thing the EU as well as most local European courts care about is showing good faith, not just to the court but also to the other party. (Due to how US law works, this isn't quite the case in the US: respect for the court is enforced, respect for the other party isn't required.)

One of the big reasons why CJEU is handing out massive fines to the big tech companies is because of the blatant non-compliance to orders from local courts and DPAs by constantly demanding appeals to them and refusing to even attempt to do anything until CJEU affirms the local courts (and usually ramping up the fines a bit more at that). It's a deliberate perversion of the judicial process so that GAFAM can keep violating the law by delaying the proper final judgement. They'd not have gotten higher fines if they just complied with the local courts while the appeal was going on; that'd be a show of good faith, which European courts tend to value.
by jamesponddotco | 2025-06-24 14:04:38+00:00
I live in the terminal, so I wrote my own prompt ages ago when I started learning Go[1][2], and before that I had a simple prompt in bash.

I like to keep things very simple and fast, so the directory and the git branch is all I need. I wonder if people really use all that information or if they set it up thinking they need it, but then never do.

[1]: https://git.sr.ht/~jamesponddotco/gosh

[2]: I should probably update that now that I know a “bit” more Go.
by cess11 | 2025-06-24 14:05:02+00:00
This is not about intelligence, it's about autonomy. Your laptop does not exhibit autonomy, it is a machine slave. It is not embodied and it does not have the ability for self-governance.

It is somewhat disconcerting that there are people that feel that they could be constrained into living like automatons and still have autonomy, and viciously defend the position that a dead computing device actually has the freedom of autonomy.
by qwertfisch | 2025-06-24 14:05:40+00:00
These are not smartphones. You cannot do anything with them except phone, SMS, some alarms and make pictures with very crappy quality. So these are effectively just phones, like 20 years ago. They are not extensible by any app, just what the manufacturer adds for factory provided programs.

I would be small (lightweight) phones. I cannot bare these 180–220g devices. If I want something heavy I buy a tablet.
by OptionX | 2025-06-24 14:05:52+00:00
we optimize for code runtime but not for our own typing latency

100ms optimization is a lot different for a CPU or a human brain. I'm not defending having the entire system log dumped out on every prompt but a few amenities are worth a few milliseconds computation time for a human.

Besides, I don't see how, for example , having your prompt take those 100ms to print a git branch or status breaks your "flow" yet having to type out the commands yourself and taking longer doing it doesn't.

Its a balance between bloat and and usability like so many other things, but, to me at least, being on either extreme of bloat or extreme-minimalism seems counterproductive.
by typewithrhythm | 2025-06-24 14:06:27+00:00
You cannot will away an old debt without consequence because a current entity owns it, now, in the present. This is not a morality based decision. You are again trying to conflate abstractions that pertain to individuals and ones that pertain to nations. There is not a real concept of trust like between individuals, only a financial cost for not honouring debts.

I also don't understand why you think there is a direct relationship between the debts and what they were originally created for...

You clearly do not understand the concept of state or corporate personhood if you are trying to extend individual morality to apply.

Civil society is also a strange direction to go in, from trying to make the relationship to debts. To engage, the term only makes sense as a way for current people to interact, a "wrong" in context requires both a specific victim and an offender... It cannot be applied to historical actions as it gives no information to how current people should interact.

I would go as far as saying reparations for one arbitrarily chosen historic injustice undermines civil society; as it's impossible to claim one point in history is more valid than another, making any attempt a deeply unfair exercise.
by b0a04gl | 2025-06-24 14:06:44+00:00
been running llama.cpp and vllm on same 4070, trying to batch more prompts for serving. llama.cpp was lagging bad once I hit batch 8 or so, even though GPU usage looked fine. vllm handled it way better.

later found vllm uses paged kv cache with layout that matches how the GPU wants to read fully coalesced without strided jumps. llama.cpp was using a flat layout that’s fine for single prompt but breaks L2 access patterns when batching.

reshaped kv tensors in llama.cpp to interleave ; made it [head, seq, dim] instead of [seq, head, dim], closer to how vllm feeds data into fused attention kernel. 2x speedup right there w.r.t same ops.

GPU was never the bottleneck. it was memory layout not aligning with SM’s expected access stride. vllm just defaults to layouts that make better use of shared memory and reduce global reads. that’s the real reason it scales better per batch.

this took its own time of say 2+days and had to dig under the nice looking GPU graphs to find real bottlenecks, it was widly trial and error tbf,

> anybody got idea on how to do this kinda experiment in hot reload mode without so much hassle??
by steveselzer | 2025-06-24 14:06:54+00:00
Thing is we understand at an academic level that this is a platform design issue not some abstract problem about free speech or personal responsibility.

The solution is to demand governments force social media companies to implement algorithmic friction coefficients.

It’s simply that the economic incentives involved mean there is no political will to make it happen.

The ruling class benefits from the chaos, division and confusion as perpetuated by social media in its current form. They like it just fine the way it is now.

Some Research:

Aral & Eckles (MIT, 2019): Introducing friction reduces misinformation spread without limiting freedom of expression. • Mozilla & Stanford Studies (2020–2022): Friction (such as unsharing prompts) reduces fake news virality by up to 50%. • Twitter’s 2021 experiments: Users changed or deleted tweets 25% of the time when shown fact-check prompts before posting.
by bipopular | 2025-06-24 14:07:00+00:00
I’m the writer not OP but I was homeless on the streets from around 16-19 then after I left prison with my book knowledge on how to code I started contributing to a open source crypto project and kinda got mad lucky. Many trips to Dubai Water skiing and skydiving then had another episode with my bipolar and ended up literally giving away my bags. More stable now but was both a metaphor for the insane highs and lows mentally but the crazy things a guy fresh out of jail with a new will to do something productive did before I got stable
by binarystargazer | 2025-06-24 14:07:30+00:00
You are not wholly wrong! There is both a supporting structure for the mirror, AND a glass lens in front of the sensor to further flatten the incoming light.

The interesting thing about the spikes in our images is that they stay fixed in image plane coordinates, not sky coordinates. So as the night sky moves (earth rotates) the spikes rotate relative to the sky leading to a star burst pattern over multiple exposures.
by eber | 2025-06-24 14:08:10+00:00
I've kinda always wanted this.

I now luckily have a window that looks out into the city and I use what other people are wearing as an indicator for what to wear that day. Definitely helpful on the marginal days where it's maybe shorts, maybe pants, maybe light jacket, maybe sweater-weather. Temperature/wind/humidity tell most of the story, but there's cloud cover, wind direction, morning-to-night temperature swings, etc, that make the decision a bit more iffy.

Cool project! I may need to look into doing something similar.
by WorldMaker | 2025-06-24 14:08:15+00:00
Right, but that's still the point: gas stations have mostly already stopped existing that don't have a nearby high margin draw. At least in my part of the US most gas stations are "clubs" designed to further encourage regular spending on high margin stuff. (Grocery rewards points, car wash memberships, things like that.)

EVs will disrupt that "high volume" part of it. How long will the "clubs" keep the expensive equipment maintained and running as volume shifts? What price point is too low margin? What price point is too high that volume further drops? (How likely is that to spiral?)

It's not entirely just theoretical, the 1970s showed things happen to gas stations quickly when prices change. We've already seen the death of the "non-club" gas station accelerate in the last three decades, even as the "clubs" build more than ever, further out from city cores, further out into the suburbs and the exurbs. The urban gas station is disappearing/has been disappearing for decades. Gas stations are no longer a foundational part of the urban experience, they are moving out to the edges.

As demand changes from EVs, I expect things to get weird and possibly quickly, because the economics model of gas has always been weird but has been put up with because it is high volume enough. When the high volume is disrupted, what do you expect happens?
by qwertfisch | 2025-06-24 14:08:20+00:00
You don’t even have to make it thicker.

My Samsung A40 is less than 8mm thick. It has a FullHD display, 440dpi sharpness, weighs only 140g and is less than 145mm in length. The cameras support 16Mpx back and 25MPx front (not that it’s needed much). The quality is not the best, but very suitable.

It has support for fingerprint, microsd, 3.5mm jack – everything necessary. (Only thing missing is esim, but that can be added by an adapter.)

So it IS possible. The manufacturers just don’t WANT.
by JKCalhoun | 2025-06-24 14:08:58+00:00
> It'd have been nice had they taught me this in school.

Yeah, even at a basic level, it should be made clear that cars depreciate and real estate, by and large, appreciates in value.

One of those is "good money" and the other is "bad money". Kids should learn coming out of school to be able to distinguish which of the two they are throwing "good money" at.
by brookst | 2025-06-24 14:09:07+00:00
I think this is more about age cohorts than anything intrinsic to emojis.

I’m also of an age where emojis are more distracting than informative, but I notice younger colleagues use them liberally and with significant information value.

Like if I were to write three bullets about the results of an experiment, I would use three actual bullet points for maybe describing the hypothesis, the test methodology, and the result.

Plenty of people I work with would use a light bulb bullet for the hypothesis, a clipboard for the methodology, and a chart up or down for results.

It’s overly cute to me, but it works for them, and it does kind of provide a visual index.
by oeitho | 2025-06-24 14:09:14+00:00
What are you talking about? Multiple EU countries have free speech written in their constituion.

Article 5 in German basic law (their constitution): https://www.gesetze-im-internet.de/englisch_gg/englisch_gg.h... (translated)

77th paragraph in the Danish constituion: https://www.thedanishparliament.dk/-/media/sites/ft/pdf/publ... (translated)

Edit: the flagged comment I replied to claimed that no EU country had free speech in their constitution. This is objectively wrong, and is why I wrote my comment.
by ben_w | 2025-06-24 14:09:16+00:00
Go back further than Stockfish — I said "people said as much before chess", as in Deep Blue versus Garry Kasparov.

Here's a quote of a translation of a quote, from the loser, about 8 years before he lost:

"""In 1989 Garry Kasparov offered some comments on chess computers in an interview with Thierry Paunin on pages 4-5 of issue 55 of Jeux & Stratégie (our translation from the French):

‘Question: ... Two top grandmasters have gone down to chess computers: Portisch against “Leonardo” and Larsen against “Deep Thought”. It is well known that you have strong views on this subject. Will a computer be world champion, one day ...?

Kasparov: Ridiculous! A machine will always remain a machine, that is to say a tool to help the player work and prepare. Never shall I be beaten by a machine! Never will a program be invented which surpasses human intelligence. And when I say intelligence, I also mean intuition and imagination. Can you see a machine writing a novel or poetry? Better still, can you imagine a machine conducting this interview instead of you? With me replying to its questions?’"""

- https://www.chesshistory.com/winter/extra/computers.html

So while it's easy for me to say today "chess != AGI", before there was an AI that could win at chess, the world's best chess player conflated being good at chess with several (all?) other things smart humans can do.
by rowanseymour | 2025-06-24 14:09:18+00:00
I got excited about poetry a few years back because it seemed that the community might be finally able to rally around _one_ packaging solution. My favorite thing about Go is that there isn't a shiny new packaging tool every year.. just go.mod. uv definitely looks cool and the performance is very impressive.. but should I switch all my projects over? Are you going to be around in 5 years time?
by danielspace23 | 2025-06-24 14:09:29+00:00
In recent news from the "land of the free": a Norwegian tourist was detained by ICE and denied entry at Newark Airport for having a funny picture of JD Vance on his phone.

You can claim what you want about freedom of speech being guaranteed in the USA, but the reality shows that it only applies for some people.

https://www.nordlys.no/mads-sin-drommereise-til-usa-spolert-...
by jerf | 2025-06-24 14:10:06+00:00
Math is entirely chaos. In a slangy sense I can't prove the set of math that we would call "ordered" is of measure 0 against all the mathematical structures that "exist", without getting into exactly what that means.

That's also the interesting math, so it is worthy of study. But the math that is interesting is the exception.

A "randomly" chosen function from the set of all possible functions is a function with some infinite input that maps it to an infinite output (with any of the infinite ordinals in play you like) where there is no meaning to any of the outputs at all, indistinguishable from random. (The difficulties of putting distributions on infinite things is not relevant here; that's a statement of our limitations, it doesn't make these structures that we can't reach not "exist".)

It's not amazing that if we take a "wrong" turn down the interesting math we end up in increasing levels of chaos. What's impressive is how interesting the not-pure-chaos subset manages to be, and how well it holds together.
by SirMaster | 2025-06-24 14:10:36+00:00
I don't know that they are really that complicated... I just do the things that they suggest the scores are based on. Pay on time, have more accounts that have been opened longer, have a lower credit utilization, etc and I watch my score go up and up.

My score started at around 670 when I was young and before I had done anything and I did the things and now it's around 820.
by johnyeocx | 2025-06-24 14:12:58+00:00
Thanks! Going oss was definitely about trust in the beginning -- people were more open to using the platform because they could see our codebase

Agreed that self-hosting billing can be a pain just cuz of how complex the whole system can be, which also means that it's prob p hard to debug / fix when something goes wrong. We don't see a lot of people self-hosting Autumn at the moment, but would be interesting to see that happen.

We've got a bunch of requests for a go sdk, so definitely on our roadmap to launch that soon!

DX is our bread and butter though, and we're fully focused on perfecting it for a single language (Typescript) before we start journeying into other languages!
by jerf | 2025-06-24 14:13:02+00:00
I enjoyed quanta magazine for a while. But I think they ended up pretty much exhausting the set of things that can be explained to an interested audience with a bit more English, but doesn't take actual mathematics. I know enough about this topic to know that reading the article didn't teach me anything useful because I don't know enough to understand what they are saying. And if I did know enough, this article probably still wouldn't effectively teach me because it's too simplified.

I haven't seen a quanta article in a while that I found useful. I appreciate the attempt but I don't think it works anymore. And I don't think it's their "fault"... I just think the slice of things this works for was smaller than we might have liked.
by aequitas | 2025-06-24 14:13:03+00:00
I use Nix exactly because it doesn't allow installing things at runtime. This keeps me from hitting surprises where the runtime environment changes from under me. Containers can partially solve this problem as well but have their own usability issues.

Nowadays I start every project with `nix flake init --template templates#utils-generic`. And put everything in that related to the project. I even had some projects where I had to put 'ssh' as a pinned package as it was used in some scripting and the default macOS and Linux versions accepted different flags.

I also do love that I can do something like `nix run nixpkgs#nmap` on any machine I'm on to instantly run a program with worrying where to get it from. I also use this feature in some of our projects so you can click a link in the admin web interface which is a 'command url' for iTerm2[0] like: `nix run gitlab.com/example/example/v1.0 -- test http://example.com` which will prompt to run that specific version of the command in your terminal, without have to checkout the source repo. In this case it is to rerun specific task locally for debugging purposes.

[0] https://iterm2.com/documentation-command-selection.html
by JKCalhoun | 2025-06-24 14:13:09+00:00
Of course they make money — but they take on no real risk. The home owner (who is taking on the risk) likely stands to make much more money than the lender in appreciation.

(Never mind the homeowner has to live somewhere regardless — and anywhere but mom's basement [1] is going to charge rent which would, by comparison, be throwing money away.)

[1] Okay, my mom charged me rent to live in her basement when I was 19 or 20 and needed a place over the summer.
by potato3732842 | 2025-06-24 14:13:36+00:00
You didn't get fucked with 19% apr because you had no credit history. You got fucked with 19% APR because either the parameters of the loan were really bad or there were some other circumstances. Income less existing obligations vs payment size account for the lion's share of interest rate on an auto loan or just about any other consumer loan.

Credit history is massively over-sold as being impactful by the kind of idiots who live payment to payment.