MurphyA/hacker-news huggingface dataset:
by Seb-C | 2025-06-03 01:16:10+00:00
> an AI coder can do a lot of the boring typing a lot faster than you, leaving you right at the point of 'real implementation

Vim and bash solved that for me a long time ago in a more reliable and efficient way (and it's certainly not the only tool capable of that).

> the same way IDEs/copy-paste/autocomplete/online documentation have radically changed our work

I was there before and went in the autocomplete/lsp thing pretty late (because Vim didn't have good lsp support for a long time, and Vim without it was still making me more efficient than any other IDE with it). Those things didn't radically change our work as you claim, it just made us a bit more productive.
by thoughtpeddler | 2025-06-03 01:17:01+00:00
Then perhaps my friend has remained a skeptic for so long that he's atrophied in this regard (which OP's post touches on). Either way, most of his day job is as a CTO/manager at a startup, so he's not in the weeds coding as much anymore in the first place. I should've seen how he prompts LLMs for managerial tasks, then I'd know whether his 'prompt laziness' was systemic or influenced by his coding knowledge.
by Sniffnoy | 2025-06-03 01:17:08+00:00
Location: New York City Remote: Yes Willing to relocate: Probably not Technologies: JavaScript, TypeScript, C, Haskell, Solidity, C#, MUMPS Resume: https://haltman.neocities.org/resume.pdf Email: harry.j.altman@gmail.com

Hi, I'm Harry Altman! I was the maintainer of Truffle Debugger (https://github.com/trufflesuite/truffle/tree/develop/package...), a Solidity smart contract debugger, for 5 years. I eventually ended up writing my own decoding and encoding libraries to support it, as well as a bunch of other things.

I'm good at this sort of nitpicky work, spotting and thinking about edge cases. I like getting things exactly right, even though that obviously isn't always possible due to various constraints. I've been kind of wondering if I should get into embedded development; I find it appealing when things are low-level or similarly constrained. I've beaten Microcorruption. :) (The original levels, I haven't played the new ones.)

I'm also quite interested in unusual or obscure data formats, and working on Truffle Debugger and its associated libraries certainly involved a bunch of having to figure undocumented formats and interfaces. :) I put down above what languages I've worked substantially in but I'd say I'm a generalist and will figure out whatever you give me (I knew approximately no Javascript, Typescript, or Solidity when I started working at Consensys).

I'm a mathematician by background and in my spare time, so after the Truffle Debugger project was shut down I took some time off to focus on my mathematical projects. But now I'm looking for work again! If you need someone like me, I'm available for hire!
by karaterobot | 2025-06-03 01:17:14+00:00
This article seems like it's telling you to keep writing even though nobody is reading right now, because some day they might, and you've got to be ready for that day. I think writing is worth doing for its own sake, or not at all. The economics of writing these days are such that I would never tell someone to keep doing it with the hope that one day it will pay off. Instead, write because you have to say something, or because you need to exercise your critical thinking, researching, planning, or just your follow-through, but not because you think you might get rich and famous for it.
by xet7 | 2025-06-03 01:17:57+00:00
WeKan https://wekan.github.io has CommentOnly role, that can be set by BoardAdmin by clicking at board right sidebar board member avatar, or with API:

https://github.com/wekan/wekan/wiki/REST-API-Role

https://github.com/wekan/wekan/blob/main/api.py
by eterm | 2025-06-03 01:18:25+00:00
I've just watched that video, thank you, and it's interesting that he shows an example where my intuition of counting leading to non-regularity fails:

We've seen you can't detect if there is a balanced number of 0's and 1's in a string of 0's and 1's with a FA/Regular expression, howver you CAN detect if there are a balanced number of "01" and "10" substrings in a string of 0's and 1's.

Proving that 01 and 10 balancing was left as an exercise to the reader, which I will try to work through here, hopefully I've not made a mistake. My intuition here says that it is equivalent to checking whether it starts and ends with the same symbol, because 01 leaves you having last read a 1, and therefore then requires a "10" substring to get back to having last read a 0, and vice-versa.

The FA I believe therefore can be constructed with transitions

Q0 -> epsilon -> Q1 Q0 -> epsilon -> Q3 Q1 -> 0 -> Q2 Q2 -> 1 -> Q1 Q1 -> epsilon -> Q5 Q3 -> 1 -> Q4 Q4 -> 0 -> Q3 Q3 -> epsilon -> Q5 ( Starting Q0, Accepting Q5 )

Or presented differently, (0(0U1)0) U (1(0U1)1) U epsilon
by jacob019 | 2025-06-03 01:18:52+00:00
That's a very dangerous thought. Prompt engineering evolved is just clear and direct communication. That's a hard thing to get right when talking to people. Heck, personally I can have a hard time with clear and coherent internal dialog. When I am working with models and encounter unexpected results, it often boils down to the model giving me what I asked for instead of what I want. I've never met anyone who always knows exactly what they want and is able to articulate it with perfect clarity. Some of the models are surprisingly good at figuring out intent, but complexity inevitably requires additional context. Whether you are working with a model or a person, or even your future self, you must spend time developing and articulating clear specifications, that is prompt engineering. Furthermore, models don't "think" like people--there's technique in how you struture specifications for optimal results.
by tho23j4o3j4324 | 2025-06-03 01:19:27+00:00
It's great when it works, but half the time IME it's so stupid that it can't even use the edit/path tools properly even when given line numbers prepended inputs.

(I should know since I've created half-a-dozen tools for this with gptel. Cline hasn't been any better on my codebase.)
by zzo38computer | 2025-06-03 01:20:17+00:00
While there are problems with the C programming language, in my opinion the other programming languages that they tried to make it better, often has their own problems instead, so I still find C to be better anyways.

I probably would not expect to use your program, although I had these suggestions anyways, since it would make sense to be improved even if other implementations also exist. However, I do think that your program does many things better than Pokemon Showdown does (I dislike much of the design of Pokemon Showdown), and the stuff you have written may be helpful when making a different one, if as you say, there are problems with the implementation in Pokemon Showdown.

Having a separate structure for active and inactive pokemons is good that what you have, and is what I had thought should be done also and, reading your documentation, I found out that Pokemon Showdown doesn't do that.

If I write one, I also would want to be more targeted in scope than the official games and Pokemon Showdown, although my scope would be a bit more than you have. What you did may be OK for your uses, although not quite what I wanted to make. I also intended to be more flexible in some ways; this might be slower than yours but would probably be faster than Pokemon Showdown.

> Team validation is an an orthogonal problem, and is almost completely solved by PKHeX

OK, although PKHeX is now another different programming language (C#), and the programs have their own dependencies (in that case, C# 13 and .NET 9.0), while your program also has the dependencies (a Zig compiler, which must be older than a specific version, and also JavaScript code).

> Your other requests (Unown/Spinda/PP UPs) are all client concerns

PP Up does affect the team definition and the game behaviour (it affects such things as e.g. whether or not Struggle is a legal selection). However, at least in the case of generation I, this might not be relevant if you allow starting the battle without being fully healed (if, as you mention, your library does not do team validation). For some later generations, it might be significant if PP can be recovered during battle in some circumstances.

If your program expects the client to decide whether or not teams are revealed, then you could say that my things about Unown and Spinda are client concerns, although I would have the battle engine to specify by the API that some things are exposed, in order that the caller does not have to know what is supposed to be exposed according to the specified rules.

> our switching scenario will also be handled whenever the generations it is relevant to get implemented. Pokémon Showdown already supports the concept of "maybe trapped" so presumably handles the scenario you're detailing

This is OK, then.
by RitaSand | 2025-06-03 01:20:37+00:00
Supabase (YC S20) || Fully Remote // Async-first || Full-time || supabase.com

Supabase is an open-source, fully remote company building developer tools for Postgres—and now running 3 million+ managed database instances in production. Supabase offers a Postgres database, vector extensions, auth, real-time functionality, storage, restful APIs, and edge functions.

We're looking for Billing Engineer, Product Manager, Security Operations Engineer, Postgres Tools Manager, AI Tooling Engineer

All jobs are listed here https://supabase.com/careers -- we manually check and respond to all the applications.
by d_burfoot | 2025-06-03 01:21:12+00:00
It's a radical change in human/computer interface. Now, for many applications, it is much better to present the user with a simple chat window and allow them to type natural language into it, rather than ask them to learn a complex UI. I want to be able to say "Delete all the screenshots on my Desktop", instead of going into a terminal and typing "rm ~/Desktop/*.png".
by throwanem | 2025-06-03 01:21:30+00:00
Not well, I don't even play a materials scientist on TV. But you have stuff like the differing electronegativities of dissimilar metals and consequent charge migration eventually producing macroscopic electrolysis effects in the chronic presence of an electrolyte, such as moist air or water mixed with road salt, which is why every Jeep Cherokee outside Nevada eventually drops its aluminum heat pan on the road, after it rots out around the steel fasteners fixing it to the frame. You also have things like destructive amalgam formation with mercury, which actually would make a good option for quick destruction in some kind of movie plot scenario, I suppose, and is why you should not try to bring anything containing mercury metal aboard an aircraft. There are also various organic chemicals better than normal air or water at attacking the metal despite its self-passivating habit, and thus will either directly corrode it or make it vulnerable to erosion through repeated formation and removal of the normal oxide layer. I want to say this is what makes atmospheric sulfates dangerous to aluminum before "acid rain" proper, but don't quote me on that. There are probably others, that's just what comes to mind off the top of my head. I believe the US National Park Service has done significant conservation research to maintain the Washington Monument's flashy topper, so that would probably be my next stop, and of course civil aviation also takes a strong and persistent interest in the material's failure modes.
by bradly | 2025-06-03 01:21:34+00:00
It is not about being mass produced or not–it is this reoccurring theme by people who do not spend their days writing code saying that mediocre code is good enough. It is not for me. Code decays. Mediocre code today is bade code tomorrow. Not everyone shares this pov–totally fine–but the tone of the article is tough.
by thewebguyd | 2025-06-03 01:21:53+00:00
> get the encouragement and space to independently develop the experience they need to break out of the "vibe coding" phase?

I wonder this too, as someone who is entirely self-taught, when I started escaping “tutorial hell” was the hardest part of the journey, and took quite a bit of both encouragement and sheer willpower. Not sure I would have ever went beyond that if I had LLMs.

I worry for Juniors, and either we’ll need to find a way to mentor them past the vibe coding phase, or we hope that AI gets good enough before we all retire.
by emilyst | 2025-06-03 01:22:25+00:00
What really resonated with me was your repeated calls for us at least to be arguing about the same thing, to get on the same page.

Everything about LLMs and generative AI is getting so mushed up by people pulling it in several directions at once, marketing clouding the water, and the massive hyperbole on both sides, it's nearly impossible to understand if we're even talking about the same thing!
by wwolffrec | 2025-06-03 01:23:21+00:00
Category Labs | https://www.category.xyz/ | Remote and NYC | Full Time | $200K USD+

Category Labs (formerly known as Monad Labs) is a team of systems engineers and researchers on a mission to design and build at the frontier of decentralized technology. We strive to design and build step-function improvements over existing blockchain solutions. After recently raising $225M in series A funding, led by Paradigm, we are growing our team.

Senior SWE (Rust, C/C++): https://jobs.ashbyhq.com/category-labs/45f674b2-d904-482e-a5... Infrastructure Engineer, APAC: https://jobs.ashbyhq.com/category-labs/ea8cf4f7-0db7-43e9-af... Senior Researcher, Systems: https://jobs.ashbyhq.com/category-labs/015934c5-66e5-4042-94...
Looking for people interested in working on a project together
by jamesgarrick | 2025-06-03 01:23:55+00:00
Hello, I am a current sophomore in uni. When I was a freshman, near the beginning of the school year, many clubs were having their introductory meetings.

As I attended several meetings of the clubs; I noticed a prevalent issue, that clubs often had a poor, strung together system to keep track of attendance, coordinate scheduling, issue onboarding, and others. This gave me the idea to build a tool to meet the demand for some of these clubs.

From talking to some current club leadership at my uni, I have garnered some positive validation for my idea as a business initiative, suggesting it could be viable.

I believe a freemium SaaS would be the ideal business model, allowing an easy entrance for clubs, balancing wit premium features for clubs that have more users, larger files, more complex onboarding procedures, etc.

Is anyone interesting in working with me on this project? I am a Computer Science major currently interning for the Summer, and I have experience with NextJS and Supabase as a frontend based developer. My ideal cofounder is one that is a bit older and more experienced, and sees a similar opportunity to develop this into a profitable business.

My discord is happiers if you would like to get into contact with me there.

:)
by simonw | 2025-06-03 01:24:12+00:00
If you're only going to pay one $20/month subscription I think OpenAI wins at the moment - their search tools are better and their voice chat interface is better too.

I personally prefer the Claude models but they don't offer quite as rich a set of extra features.

If you want to save money, consider getting API accounts with them and spending money that way. My combined API bill across OpenAI, Anthropic and Gemini rarely comes to more than about $10/month.
by tptacek | 2025-06-03 01:24:52+00:00
I'm a professional software developer and I'm saying mediocre code is often good enough. Mediocre code does not in fact decay. The belief that every line of code you write on every problem definition has to be crystalline and formally rigorous is an early-career thing you get over. Fretting over literally every line of code is a way of doing your job badly. The skill is in knowing when you need really interesting (and "interesting" is the distinction here) code, and when you should just whip our your shop jig and repeat the exact same pocket hole joint you've been using for the last 10 years.

I don't want to step on the cabinetry discussion, just, I think it's important to call out this idea that there's a universal quality/intricacy/interestingness threshold for all production software. That was a common fallacy long before LLMs (you used to see a lot of it in Rails culture with people ceaselessly grooming unit test suites and designing ever-more-seamless mocking systems). Part of growing in this profession is getting a sense for when extra exertion is needed, and when it's wasted.
by ww520 | 2025-06-03 01:25:31+00:00
I use LLM as a super Stackoverflow. So far it has been helpful. For code gen, 8 out of 10 cases, the code won't compile and need fixing. LLM did help a lot in learning new topics. Gemini did help tremendously recently in pointing out a new approach to a problem I was stumped on. Though the code it generated was garbage, the code did provide insight on a new approach which I adopted to make it work eventually.
by jw1224 | 2025-06-03 01:26:45+00:00
I thoroughly enjoyed reading this. I peaked at 137wpm[0] and I’m not ashamed to say I love typing long sentences. I type fast enough that my thoughts normally can’t keep up with my fingers, but when I plan a sentence out in my head, the satisfaction I get from watching my inner monologue transmogrify into words onscreen is palpable. It’s a rush. And I totally get it. Great article!

[0] https://data.typeracer.com/pit/profile?user=mavis_b
by ethagnawl | 2025-06-03 01:26:48+00:00
I haven't seen enough mention of using these tools to generate formal verification specs for their output, like TLA+. Of course, you're stuck with the same problem of having to verify the specs but you'll always be playing this game and it'd seem like this would be one of best, most reassuring ways to do so.

I'll have the look into this some more but I'm very curious about what the current state of the art is. I'm guessing it's not great because so few people do this in the first place -- because it's so tedious -- and there's probably not nearly enough training data for it to be practical to generate specs for a JavaScript GQL app or whatever these things are best at generating.
by eslaught | 2025-06-03 01:27:03+00:00
The difference is that the abstraction provided by compilers is much more robust. Not perfect: sometimes programmers legitimately need to drop into assembly to do various things. But those instances have been rare for decades and to a first approximation do not exist for the vast majority of enterprise code.

If AI gets to that level we will indeed have a sea change. But I think the current models, at least as far as I've seen, leave open to question whether they'll ever get there or not.
by tyler71 | 2025-06-03 01:27:27+00:00
Location: Seattle, WA Remote: Yes Willing to relocate: No, but I can commute to Seattle based jobs. Technologies: Golang, Typescript, Python, Linux, Docker, Mariadb, PostgreSQL, React. Résumé/CV: https://hi.tylery.com/resume-hn Email: hello@tylery.com Personal Site: tylery.com GitHub: github.com/tyler71

Hi! My name is Tyler and I have 4 years of related Software Developer experience.

I lean towards back-end, but I can put together a nice front-end when needed.

Looking for: Full-Time employment as a Software Developer. Reach out if your industry is healthcare based!

As part of a career change, I have years of experience as a Physical Therapist Assistant and have treated thousands of patients.
by josecodea | 2025-06-03 01:28:23+00:00
SEEKING WORK | Remote | WORLDWIDE

Freelance Web Developer. Full-stack. With a decade of experience as SDE.

Location: Costa Rica (LATAM).

Remote: Yes, any timezone (I reside in CT/UTC-6, EST/CST timezones).

Languages: Spanish, English.

Programming: TypeScript, Rust, Elixir, Clojure, NixOS, AWS, Docker, NodeJS, Deno, ReactJS.

Portfolio: https://www.josecodea.com

Email: Refer to the bottom of my portfolio.

Proof of work with Elixir:

- My portfolio includes Open Source contributions.

Proof of work with Rust, NixOS and Docker:

- My portfolio includes two blog posts, each include a small Rust app that I made to turn on/off an EC2 server with a Discord bot.
by lexandstuff | 2025-06-03 01:28:32+00:00
Fair enough. I guess I was mainly thinking of how rarely I need to utilise the old prompt engineering techniques. Stuff like: "You are an expert software developer...", "you must do this or people will die." etc

I just tell the AI what I want, with sufficient context. Then, I check the reasoning trace to check it understood what I wanted. You need to be clear in your prompts, sure, but I don't really see it as "prompt engineering" any more.
by crabmusket | 2025-06-03 01:28:37+00:00
One day when I have free time I really want to build an "everything app" suite on top of Sandstorm. Kind of like your supermarket's "home brand" meant to be no-frills, functional and cheap.

The way Sandstorm takes auth and hosting off your hands feels like it would make this more tractable. Business model remains an issue though, as it does for much open source work (and of course, all businesses! it's rough out there).

Having played around with Sandstorm, it's just so freeing to create one sqlite file per document (or board, or whatever) and just not worry about what happens if 10,000 users turn up. Wekan, which does run admirably well on Sandstorm, pulls an entire Mongodb instance into each grain. That makes sense if you want to host an entire SaaS on one database. But not in the Sandstorm world.
by hollerith | 2025-06-03 01:28:51+00:00
Not pressurizing the plane at all is possible (the bombers of WW II were unpressurized for example until the B-29) but is probably not a good idea in light of the fact that even the F-35, where weight is very costly, has a pressurized cabin even though there is only ever one person in the cabin. They wouldn't have done that unless the need for pressurization was great: weight is very costly on the F-35. For example, they did a lot of research and development to design an intake with exactly the right shape to avoid the need for a variable intake ramp (and the actuators needed to vary the position ramp). For another example, they developed the software necessary for the plane to do "aerodynamic braking" to slow the plane down after touchdown, which eliminated the need for a parachute (which a lot of older fighters had) and reduced the need for wheel brakes (allowing the landing gear to be lighter).

Reading more, the F-35 is designed to "operate above 50,000 ft, where outside pressure is near-vacuum" (quoting an LLM). The un-pressurized bombers of WW II couldn't operate at those altitudes (even though the crew wore heated clothing and breathed supplemental oxygen delivered through masks).
by toomanyreps | 2025-06-03 01:29:07+00:00
Its really fun once you get into it if you have the time, are somewhat linguistically inclined, and like messing with emacs configs/keyboard layers. Its not necessary for programming, but my reasoning was that I was going to be spending 8+ hours a day on the computer for the foreseeable future so it was probably worth putting the time in learning given I was already interested. Its much less physical effort to type, but does require more mental effort at first.
by BWStearns | 2025-06-03 01:29:12+00:00
https://www.reddit.com/r/drones/comments/1fvqiqz/angry_flori...

At least one Florida man is out there plinking Walmart drones at 400 feet with a 9mm. Saw another who took one down from a boat also with a pistol (probably 9mm also), but can't find the video now.

The Venn diagram of "shoots at drones" and "concerned with other people's safety" is two separate circles.
by PeterHolzwarth | 2025-06-03 01:29:33+00:00
"I got into this profession precisely because I wanted to give precise instructions to a machine and get exactly what I want."

So you didn't get into this profession to be lead then eh?

Because essentially, that's what Thomas in the article is describing (even if he doesn't realize it). He is a mini-lead with a team of a few junior and lower-mid-level engineers - all represented by LLM and agents he's built.