MurphyA/hacker-news huggingface dataset:
by proc0 | 2025-06-05 07:22:36+00:00
This is a little too drawn out, especially at the beginning, but I see some good points.

> LLMs are an affordance for producing more text, faster. How is that going to shape us?

In essence I agree here. Currently LLMs do not guarantee correctness and are clearly not constructing syntax based on logical deduction. LLMs are generating a lot of predicted text, much of which is correct but a lot of which is not, hence why it's good at boilerplate and domains that are well represented in the training data. This means that what it's mainly doing is helping us write text faster, whether it's natural or computer language. The main contention here is that writing down the syntax of a solution is the easy part of programming, where the hard part is understanding the problem and engineering a solution. Once you have the technical requirements and a potential solution, typing in the literal syntax is the least amount of effort of the entire process.

Even with hugely verbose languages like Java, you can get the boilerplate out of the way quickly and then you're left with problems that end up being a few lines of code to solve (unless you need a large feature, in which case the process repeats fractally, where you need to add some boilerplate code and then the hard part of the solution ends up being a few lines of code).

> The first form of genAI resistance to experiment is that every discussion is a motte-and-bailey.

I can see this as well, I think a lot of people are encountering the idea of an actual AGI for the first time and we are also closer than ever, despite this not being as close as it appears. Personally, I think there is a good amount of both hype and real world application. There might be a crash but it's probably just going to be an adjustment once we realize humans are still better at solving novel problems, which is where most of the useful work is. GenAI has already created a huge impact and there is also a lot of low hanging fruit optimizations that will happen, but whether or not it will fulfill the hype is yet to be seen.
by kreldjarn | 2025-06-05 07:22:46+00:00
Teton | Multiple Roles | ONSITE Copenhagen, Denmark | Full-time | https://teton.ai

At Teton, we are redefining the role of healthcare workers through cutting-edge AI technology. Facing a global nursing shortage, our solutions offer vital support to overburdened healthcare systems. We're building a privacy-first system for monitoring patients' health, including, but not limited to, fall detection and prevention, sleep and respiration monitoring.

Open roles: - 3d Vision Engineer - AI Research Scientist - AI Infrastructure Engineer - AI Inference Engineer - AI Agent Engineer

All roles are full-time and onsite at our office in Copenhagen, Denmark.
by DidYaWipe | 2025-06-05 07:24:02+00:00
Except that they aren't shown as bullets, headers, or bold unless your viewer understands the Markdown codes that invoke those decorations. Which is what I'm decrying the lack of.

My "alternative" is to have DEDICATED, lightweight Markdown viewers. The major OSes have long come with a simple text-file viewer that can render RTF. Why not Markdown?

In the meantime, I'm mystified as to why the format is so rampant when there is so little support for it.
by Attrecomet | 2025-06-05 07:24:36+00:00
It's mainly really, really bad history

> Each lord had a veto power over the king and over each other law (I will use the term “lord” for those landed free men. Even the serfs could not be denied their right without adjudication. Land was not held as a favor from the king; title was allodial. A man’s home truly was his castle.

This is so bad it's basically a total lie. Let's start with how he does not discern between free, landholding men, minor nobility and great aristocrats, three classes of men who would have absolutely no problem realizing that their lives, political power and the law that actually was applied to them were very different from each other.

The vast majority of men living in the middle ages did NOT actually have a fortified private manor aka castle, but a hovel that was protected from violation by other people most probably by the local lord or gentry, who as it happens was the biggest danger to your freedom as well as the judge over what rights you had.

>It seems, instead of the pinnacle of governance and protection of liberty, the constitutional form represents a significant step back from the liberties afforded to even the lowliest members of early mediaeval society.

That's not a point, that's straight up pure fantasy. The lowliest member of mediaeval society, unfree people, had more rights than we do now the same way that chattel slaves in the American South had more freedom then than as black people today, shoulders brutally weighed down with responsibility for their own life instead of a simple pleasure of having a master take on that dastardly responsibility.

The author has cherry picked data points, badly misunderstood concepts used in those cherry picked points, and then wildly conflated vaguely related things to create a utopian version of his entirely unhistorical mediaeval heaven.
by ale42 | 2025-06-05 07:25:33+00:00
Yes that's the point: many of our work PCs have global public IPs from something like 128.130.0.0/15 (not this actual block, but something similar), and many internal services are on 10.0.0.0/8. I'm not sure I get exactly how the proposal is addressing this. How does it know that 128.130.0.0/15 is actually internal and should be considered for content loaded from an external site?
by orthoxerox | 2025-06-05 07:25:37+00:00
> If you tax someone with 5 bucks in their bank account and no job, 10% of their 200K property, they arent going to accrue 90% of their property on an ongoing basis. Their wealth will shrink. Which is bad on average.

Again, that's the whole idea behind LVT: it minimizes non-productive use of land, like housing.
by crossroadsguy | 2025-06-05 07:29:19+00:00
After harbouring the idea for quite some time (mostly out of fear/FOMO of never learning to drive a manual) I finally gave it up and I will be buying an AMT car (even though the lessons I took were in manuals which are still very mainstream in my country and AMTs are catching up). I realised life is too small to put your wrists, elbows, knees, ankles, and shoulders (did I miss anything?) through this torture esp. in a traffic hell like my city.
by Attrecomet | 2025-06-05 07:31:14+00:00
It does read like a teenage anarchist (edit: sorry, anarcho-capitalist, which is worse by far) just discovered that medieval Europe was decentralized and spun a wild fanatasy about how that was actually anarchist around it, yes.

>Was society decentralized during the so-called "dark ages" of europe? Sure. But it was also decentralized during the Roman era and pretty much all eras before high speed communications. It sorta had to be for society to work.

In a way you are not wrong, state capacity has been far higher for quite a while now than the Romans or ancient Chinese could ever hope to reach, but in a way that detracts from how much more decentrantralized Europe during the Middle Ages was. The collapse of urbanisation and bureaucracy, and the rise of fortified manors meant that power really fractured.
by AnthonyMouse | 2025-06-05 07:31:49+00:00
> How do you think rent prices are set now? I’ll tell you, they’re generally set to maintain a given occupancy rate, which is to say, they’re set as high as the market allows.

"What the market allows" is affected by taxes.

Suppose the risk-adjusted return to investing in real estate in some area is equivalent to the overall market, and rents are currently $1000/mo. Then if new people move into the area, rents start to go up from higher demand, but that brings rents above the overall market rate of return, which makes it profitable for developers to invest money in building new buildings, which increases supply to match the increase in demand and acts to mitigate the increase in rents.

Now suppose you raise taxes on property ownership, so that to match the overall market rate of return, rents would have to be $1500/mo in order to cover all the existing costs plus the new taxes. Then nobody is building anything new until rents hit $1500/mo, because new construction isn't profitable until then. So when new people move in, there is an increase in demand but no corresponding increase in supply, and that persists until rents get above $1500/mo. By which point the renters are paying the new taxes.

Notice that this is effectively the same thing that happens when you impose restrictive zoning rules like single family zoning. They effectively act as a tax because now you have to buy a lot more land for each housing unit you want to add, so the cost of construction goes up and rents with it.
by vanviegen | 2025-06-05 07:32:40+00:00
I understand these are court decisions you don't agree with. (And neither do I for the most part, though I imagine some of these cases to have more depth to them.)

But is there any reason to believe that judged were pressured/compelled by political powers to make these decisions? Apart from, of course, the law created by these politicians, which is how the system is intended to work.
by marcyb5st | 2025-06-05 07:33:28+00:00
Would it be possible to comply with the order by anonymizing the data?

The court is after evidence that users use ChatGPT to bypass paywalls. Anonymizing the data in a way that makes it impossible to 1) pinpoint the users and 2) reconstruct the generic user conversation history would preserve privacy and allow OpenAI to comply in good faith with the order.

The fact that they are blaring sirens and hide behind the "we can't, think about users' privacy" feels akin to willingful negligence or that they know they have something to hide.
by Agingcoder | 2025-06-05 07:34:07+00:00
Both Ada and spark have zero costs abstractions, they’re designed to run on embedded platforms.

Spark is a different use case from rust - it’s a full prover, and the goal is formal verification, typically in contexts where human life is at stake ( say, you’re writing software for an artificial heart , to take an extreme example ). This comes at the cost of being less flexible, but they’ve been slowly evolving spark so that it can handle increasingly complex cases .
by cameldrv | 2025-06-05 07:35:55+00:00
It was actually Richarda Morrow-Tait, according to the Amelia Erhart criteria, i.e. a male navigator is allowed. Similarly no one had ever heard of Albert Cushing Read, Walter Hinton, or Elmer Fowler Stone, the first men to fly the Atlantic, or John Alcock and Arthur Brown, the first men to fly the Atlantic nonstop, but everyone has heard of Charles Lindbergh, the first man to fly the Atlantic nonstop solo.
by inglor_cz | 2025-06-05 07:36:31+00:00
In my opinion, we lack two things:

a) highly qualified people, even European natives move to Silicon Valley. There is a famous photo of the OpenAI core team with 6 Polish engineers and only 5 American ones;

b) culture of calculated risk when it comes to investment. Here, bankruptcy is an albatross around your neck, both legally and culturally, and is considered a sign of you being fundamentally inept instead of maybe just a misalignment with the market or even bad luck. You'd better succeed on your first try, or your options for funding will evaporate.
by Ostrogoth | 2025-06-05 07:36:32+00:00
Towing companies (and some apartment complexes) are essentially just organized crime. An apartment complex I lived in instituted a convoluted parking system utilizing colored mirror hang tags. Each unit received one exclusive parking spot (required to display a red tag only), and the remaining parking was first come first serve (but must display a yellow tag). There was never enough free parking, and tenants routinely parked overnight in fire lanes. My partner and I worked opposite shifts, so we usually only needed our designated spot, but sometimes were unable to swap tags due to schedules. Tow companies would roam the complex at night (let in through the gate by security), and haul off any vehicle without a red tag in designated spots, while ignoring vehicles in fire lanes and other no parking zones. The first time it happened, I thought my car had been stolen (why would I even think it was towed? I didn’t call to have someone removed from my own parking spot). I only found out after contacting apartment management for surveillance video. After the second time this happened (I’m a slow learner), I trudged over to the office, walking past several cars parked in the fire lane that had been there overnight. The manager stuck to their guns, stating that rules were rules, and I had broken them. I helpfully pointed out the vehicles still in the fire lane just outside the door, and asked if I should just leave my designated spot unoccupied and take up a free space (thereby using up two spaces) just to “follow the rules.” They had the gall to say it wasn’t fair to tow the fire lane violators, since there wasn’t enough parking for everyone. So it made more sense for them to endanger tenants lives. The ludicrousness of the situation made me suspicious that the apartment employees were getting kickbacks from the towing companies. It was the only scenario that made sense, other than mass idiocy.
by marcyb5st | 2025-06-05 07:38:21+00:00
I ask again, why not anonymizing the data? That way NYT/the court could see if users are bypassing the paywall through ChatGPT while preserving privacy.

Even if I wrote it, I don't care if someone read out loud in public court "user <insert_hash_here> said: <insert nastiest thing you can think of here>"
by rmonvfer | 2025-06-05 07:38:22+00:00
I was spending around $800 in Cursor and I’ve switched to Claude Code with a $200 subscription and I couldn’t be happier. The experience is way better (although tbh Claude Code is missing some critical features like being able to rollback changes (or, as Cursor calls them “checkpoints”)) but for 99% of my “Vibe Coding”, it’s just great. I usually run 2 to 4 parallel sessions using git worktrees and the speed is absolutely crazy. Of course not everything is perfect and I still have to check most of the code but if you create a good enough set of “memories” (Claude Code’s version of .cursorrules) it gets stuff right almost all the time.
by kadoban | 2025-06-05 07:38:53+00:00
> Don't get me wrong, Magnus is still world #1 for a reason, but he used to be at a level where no-one could even scratch him. Now he has to fight much harder for victories, and he's not enjoying that.

I get the sense that it's less he has to fight harder to win, and more he has to grind boring studying just to even play. I don't _think_ he'd care that much if his win rate is going down if just being there didn't require spending all day, every day, memorizing lines.
Unit Economics: Not just numbers, but the key to good decisions
by daniilkhanin | 2025-06-05 07:39:21+00:00
Many people mistakenly believe that unit economics in business is about calculations, math and numbers. Of course, you can't go anywhere without it, but the main thing is to make managerial decisions based on these numbers. This tool allows you to justify the choice of a decision.

Unit economics allows you to find processes that it makes sense to improve right now, thus realizing focus in business and thus reducing risks in business. Use the tool wisely and the result will not keep you waiting.

https://khanin.info/en/blog/241
by StanislavPetrov | 2025-06-05 07:39:34+00:00
>But is there any reason to believe that judged were pressured/compelled by political powers to make these decisions?

No, but I have every reason to believe that the judges who made these decisions were people selected by political powers so that they would make them.

>Apart from, of course, the law created by these politicians, which is how the system is intended to work.

But the system isn't working for the people, it is horribly broken. The people running the system are mostly corrupt and/or incompetent, which is why so many voters from a wide variety of countries, and across the political spectrum, are willing to vote for anyone (even people who are clearly less than ideal) that shits all over the system and promises to smash it. Because the system is currently working exactly how it's intended to work, most people hate it and nobody feels like they can do anything about it.
by tptacek | 2025-06-05 07:39:46+00:00
Well, I disagree with you. For the nth time, though, I also don't grant the premise that LLMs are violative of the IPR of programmers. But more importantly than anything else, I just don't want to hear any of this from developers. That's not "your arguments are wrong and I have refuted them". It's "I'm not going to hear them from you".
by westurner | 2025-06-05 07:40:47+00:00
Build123d and Cadquery procedural CAD output and input support would be a cool feature.

Copilot + GPT-4 can generate build123d Python code; procedural CAD genai. It's spatially incoherent sometimes like there's not much RLHF for 3d in the coding LLM model, but the code examples are close to compiling and helpful. There's also an ocp-vscode extension to render build123d and cadquery CAD models in a tab in the vscode IDE: https://build123d.readthedocs.io/en/latest/external.html#ocp...

PartCAD is probably useful for your application as well.

Are there metadata standards for CAD parts, assemblies, and scenes? For example in PartCAD or in a BIM Building Information Model that catalogs part numbers and provenance for the boardroom hinge screws and maybe also 3D-printable or otherwise fab-able CAD models?

nething is an LLM with build123d output: https://nething.xyz/

FWIU it's possible to transform B-rep (boundary representation) to NURBS with a different tool.

B-rep: https://en.wikipedia.org/wiki/Boundary_representation

NURBS: https://en.wikipedia.org/wiki/Non-uniform_rational_B-spline

glTF 2.0 > Adoption of: https://en.wikipedia.org/wiki/GlTF#Adoption_of_glTF_2.0

PartCAD > Features > Generative AI: https://partcad.readthedocs.io/en/latest/features.html#gener... :

> Individual parts, assemblies and scenes can also can be exported into 3D model file formats, including: STEP, BREP, STL, 3MF, ThreeJS, OBJ, GLTF, IGES
by thom | 2025-06-05 07:41:33+00:00
I think everyone here can probably sympathise when a job stops being about the bits you actually enjoy or are good at. I have no doubt Magnus is the best ever, but the vast majority of the effort in classical chess is spent away from the board. Slogging through an opponent and their team’s computer driven opening prep just isn’t super fun and probably isn’t why most people fall in love with chess. Anyone who has gone from being a programmer to being stuck in meetings and managing other people all day perhaps knows what it’s like to fantasise about packing it in and returning to simpler times.
by mabster | 2025-06-05 07:41:56+00:00
I started my career in assembly and it's reduced over time. Towards the end of the gamedev work I was still reading a lot of assembly but no longer writing it (using intrinsics instead). It was definitely a lot slower to write.

But there are a number of things we did that are not available or difficult in C:

- Guaranteed tail calls

- Returning multiple values without touching memory

- using the stack pointer as a general purpose pointer for writing to memory

- Changing the stack pointer to support co-routimes

- Using our own register / calling convention (e.g. setting aside a register to be available to all routines

- Unpicking the stack to reduce register setup for commonly used routines or fast longjmps

- VM "jump tables" without requiring an indirection to know where to jump to
Show HN: Air Lab – A portable and open air quality measuring device
by 256dpi | 2025-06-05 07:42:25+00:00
Hi HN!

I’ve been working on an air quality measuring device called Air Lab for the past three years. It measures CO2, temperature, relative humidity, air pollutants (VOC, NOx), and atmospheric pressure. You can log and analyze the data directly on the device — no smartphone or laptop needed.

To better show what the device can do and how it feels like, I spent the past week developing a web-based simulator using Emscripten. It runs the stock firmware with most features available except for networking. Check it out and let me know what you think!

The firmware will be open-source and available once the first batch of devices ships. We’re currently finishing up our crowdfunding campaign on CrowdSupply. If you want to get one, now is the time to support the project: https://www.crowdsupply.com/networked-artifacts/air-lab

We started building the Air Lab because most air quality measuring devices we found were locked-down or hard to tinker with. Air quality is a growing concern, and we’re hoping a more open, playful approach can help make the topic more accessible. It is important to us that there is a low bar for customizing and extending the Air Lab. Until we ship, we plan to create rich documentation and further tools, like the simulator, to make this as easy as possible.

The technical: The device is powered by the popular ESP32S3 microcontroller, equipped with a precise CO2, temperature, and relative humidity sensor (SCD41) as well as a VOC/NOx (SGP41) and atmospheric pressure sensor (LPS22). The support circuitry provides built-in battery charging, a real-time clock, an RGB LED, buzzer, an accelerometer, and capacitive touch, which makes Air Lab a powerful stand-alone device. The firmware itself is written on top of esp-idf and uses LVGL for rendering the UI.

If you seek more high-level info, here are also some videos covering the project: - https://www.youtube.com/watch?v=oBltdMLjUyg (Introduction) - https://www.youtube.com/watch?v=_tzjVYPm_MU (Product Update)

Would love your feedback — on the device, hardware choices, potential use cases, or anything else worth improving. If you want to get notified on project updates, subscribe on Crowd Supply.

Happy to answer any questions!
by Shugyousha | 2025-06-05 07:44:10+00:00
I'm trying out an alternative currently, https://en.wikipedia.org/wiki/Woodcut.

It is well suited for me because

- I like wood

- I like knives

- I'm into typography

- it doesn't require that much work space

I have only just started out but it feels nice indeed! A hindrance is that I am not very artistically gifted, but as long as I make it mostly for myself, I don't mind too much.
by DoingIsLearning | 2025-06-05 07:44:59+00:00
> industry baremetal profiles like Ravenscar

I understand the value proposition of Formal Verification with Spark.

But for me the killer features with Ada, thinking specifically of embedded systems is:

- The expressiveness you gain with Ada's Type System

- The Ravenscar profile (very impressive work from a small group of folks in the IRTAW group)
by draga79 | 2025-06-05 07:46:24+00:00
Ever heard of vibe coding? It’s when the code looks fine, tests pass, vibes are good - so it goes to production. Even if it’s wide open to SQL injection.

I’ve seen it happen. AI wrote it. Devs trusted it. Management loved it. Nobody understood it.

We’re trading skill for speed. And that’s how we lose our freedom.
by ohdeargodno | 2025-06-05 07:46:37+00:00
They used to. AppCode was excellent. Fleet kind of supports Swift well enough.

AppCode was abandoned because Apple is impossible to work with and never provided up to date semantics and language definitions for Swift, keeping everything under wraps and making every single Swift release a race to suddenly implement whatever new keyword they made up this week.

Fleet is more of a VSCode. Probably using the LSP these days, and it's good enough if a simple text editor is what you need.
by pas | 2025-06-05 07:47:06+00:00
But who actually did rise to power through posting? Trump inherited money, and spent years as a strange real-estate and projects guy (casinos, university), like Musk, who had more smarts for his projects, and so on.

Well, Hitler and Szálasi (crazy Hungarian Nazi guy) and Lenin/Stalin come to mind as the closest actually, so maybe that's where OSC got the idea.

Hm, now I'm curious who was the youngest elected head of state...

edit: https://en.m.wikipedia.org/wiki/List_of_youngest_state_leade...