MurphyA/hacker-news huggingface dataset:
by thecolorblue | 2025-10-01 15:12:18+00:00
Location: Cleveland, OH, United States

Remote: Open to remote, hybrid, and in-person

Willing to relocate: No

Technologies: JavaScript (13 yrs), TypeScript (6 yrs), Python (6 yrs), React.js, Redux.js, Saga.js, Babylon.js, Webpack, SCSS, AWS (S3, ALB, EC2, Batch, Lambda, RDS), Snowflake, SQL, REST APIs, SVG.js, Git

Résumé/CV: [Resume](https://docs.google.com/document/d/1uuq8KB2uVcMB0l5zJR-8Nruc...)

Email: brad.bdavis1@gmail.com

I’m Brad Davis, a senior software engineer and product-focused developer with over a decade of experience building scalable applications, data pipelines, and AI-driven tools. At Ginkgo Bioworks, I led the development of a 5.6 TB genomic and metadata data lake supporting 120+ researchers, integrating AWS and Snowflake to streamline scientific workflows. My work has spanned creating React.js applications for lab teams, implementing machine learning pipelines, and optimizing developer workflows with AI-assisted code generation.

I’ve contributed to open-source AI projects such as RooCode and built my own educational platform, [Snow Day](https://github.com/thecolorblue/snow_day), which generates vocabulary quizzes using LLMs. My career has included both engineering and product management roles, giving me a unique ability to bridge technical and business requirements. I enjoy designing systems that make data more accessible, applications more intuitive, and teams more effective.
by jeroenhd | 2025-10-01 15:12:51+00:00
You can use something like https://developer.mozilla.org/en-US/docs/Web/Progressive_web... to handle the verification part inside Chrome.

For opening HTTP links in the PWA itself, you rely on the way the browser deals with links. I don't think you can reliably open any link in PWAs in a cross-platform manner today.
by edanm | 2025-10-01 15:13:09+00:00
> We each find different things delightful. What I like, you may not. And vice versa.

To be honest, I don't feel like I know enough about the constructivist philosophy. What would be a good place to start if I want to learn more about it?

I haven't yet read your PA proving Goodstein sequences article, though I have skimmed it and it is, indeed, super interesting.

And for the record, Godel, Escher, Bach was probably the single most important influence on me even starting to get interested in computation, etc.
by rcarr | 2025-10-01 15:13:14+00:00
If all you do is write, you are missing half the benefits of journalling. The key to journalling is to write, and then periodically review what you have written. The most effective way is to create a system for this periodicity.

For your daily entries, start by writing down a bulleted list of all the notable things you can remember happening that day. Then write about whatever you want - it can be a stream of consciousness, thoughts on the various events you just wrote down or it can be simply "nothing of note" if it was a boring day.

At the end of the week, create a weekly note with a heading for each day that has passed e.g 2025-01-01, 2025-01-02, 2025-01-03 etc and write down any thoughts or observations you have as you go back and read that day's entry. Then at the bottom of the page create the following headings:

### Summary of the week

### + (Positives)

### - (Negatives)

### * (Things to improve)

### ? (Open Questions)

### → (Most Important Tasks for next week)

### ! (The single most important task to focus on)

### 3 Things You're Grateful For

### . (Final thoughts)

Repeat this each week. Look back at the previous weekly entry and see if you now have the answers to resolve the open questions from before. If not, carry them over.

When you get to the end of the month, create a monthly note. For this note, write headings for each of the weeks that has passed e.g Week 1, Week 2, Week 3, Week 4. Now do the same again, reading through your weekly notes and writing down any observations you have, patterns you've observed etc in the weekly notes. Finish off with the same list of headings mentioned above, but now thinking on a monthly timeline rather than a weekly one. When you are reflecting think, of how your progress is fitting in to medium term picture of the projects and goals you are working on.

Repeat this each month.

After three months, create a quarterly note. As you have probably guessed, Month 1, Month 2, Month 3 and the headings above. As you are now at the three monthly review, you should now be reflecting and thinking on the larger term picture of how this quarter is fitting into your 1 - 3 year goals.

After a year, create a yearly note. Repeat the process with the quarterly notes, but also read and review anything else from the year that you want to reflect on. Think about how the year went and how it fits with your values and the type of life you want for yourself.

One caveat on the above: if you are going through a frustrating period where nothing is working out despite all your best efforts, sometimes an incessant feedback loop can just make things worse. If that is the case, you may want to stop journalling for a bit, focus on relaxing and enjoying life and come back to it when the storm has passed.
by anal_reactor | 2025-10-01 15:13:21+00:00
I hate this particular mix of prose and formalism. Too complicated to be pop-sci, too informal to be, well, formal. I got to this part:

> We know that two orders are isomorphic if there are two functors, such that going from one to the other and back again leads you to the same object.

And I have no clue what is a functor, nor order. "Functor" wasn't defined, and "order" is defined as "thin category", which in turn remains undefined.

Seems to me like in order to understand this text you already need to understand category theory. If that's the case, then why would you be reading it?
by nharada | 2025-10-01 15:13:40+00:00
I do really like the Unix approach Claude Code takes, because it makes it really easy to create other Unix-like tools and have Claude use them with basically no integration overhead. Just give it the man page for your tool and it'll use it adeptly with no MCP or custom tool definition nonsense. I built a tool that lets Claude use the browser and Claude never has an issue using it.
by tux3 | 2025-10-01 15:13:41+00:00
The side-effects are vaguely evocative of antipsychotics or some sort of antidepressant.

There's no specific autism medication that I'm aware of, but psychiatric diseases often have plenty of comorbidity. There's some ADHD popup in the game that distracts you with Wikipedia, there's misophonia, it sounds like the character has a whole mix of different things.
by giancarlostoro | 2025-10-01 15:13:56+00:00
I've done this before, its a lot of fun, you learn a lot about the browser. Especially caching. If you ever suspect caching issues for a bug / issue, open up Chrome Dev Tools, go to the "Application" tab, then "Storage" if you click the Clear site data button, it will wipe all cache, then right click on the refresh button, and "Empty cache and hard reset" if you do both of these (though one's probably enough) you will start over with nothing cached. Cache becomes very tricky when building a PWA.

I don't know if its been fixed since, but I really needed to tell if I was offline, only way was to make requests, if they failed assume offline, keep retrying till online to sync data to backend.
by SAI_Peregrinus | 2025-10-01 15:14:04+00:00
Then it's in violation of the C standard, at least as of C11 (I didn't check C99 or C89).

> The free function causes the space pointed to by ptr to be deallocated, that is, made available for further allocation. If ptr is a null pointer, no action occurs. Otherwise, if the argument does not match a pointer earlier returned by a memory management function, or if the space has been deallocated by a call to free or realloc, the behavior is undefined.

Emphasis mine
by jmuhlich | 2025-10-01 15:14:04+00:00
Try this: https://alexsaveau.dev/blog/projects/performance/files/fuc/f...

> The key insight is that file operations in separate directories don’t (for the most part) interfere with each other, enabling parallel execution.

It really is magically fast.

EDIT: Sorry, that tool is only for local copies. I just remembered you're doing remote copies. Still worth keeping in mind.
by joshcsimmons | 2025-10-01 15:14:13+00:00
Thanks for playing and agreed! I have a disclaimer in the [About] modal

Autism is an extremely diverse and complex phenomenon. No two autistic people experience the world in the same way. This simulation is based on the experiences of a single autistic individual and is not representative of all autistic people, although, I suspect many autistic people will recognize some aspects of their own experience in this simulation.
by elevation | 2025-10-01 15:14:51+00:00
When I was 14 I would have wanted to "shred at 220bpm" but today I wouldn't get my wallet out for that. What I really would pay for is help getting into the pocket.

Anyone who can read a guitar tab can play the notes of "Superstition" by Stevie Wonder. But simply playing the notes against a metronome sounds mechanical -- the song only comes to life when you get the timings right (both the note attack and decay have to be timed for a "swing.") A good swing will practically force your audience to start dancing to your music -- it's magical! But it's very difficult to learn because regular metronome practice won't achieve it.

If you're measuring "rush and drag" against a straight metronome, could you also measure against a swung time, perhaps against timings extracted from in-the-pocket songs we know and love?
by solomonthewise | 2025-10-01 15:15:18+00:00
Location: anywhere in US or Canada

Remote: Remote or in person.

Willing to relocate: Yes

Technologies: Rust, C++, Python, Bash, go, java.

Résumé/CV: https://drive.google.com/file/d/1irE7slDirPM8mXUrD1OsEQnlY8H...

Email: shlomoalon9@gmail.com

I’m a programmer with two year of experience. I currently work for Huawei on Gaussdb (a fork of Postgres).

I love working on challenging problems and collaborating with teammates. I have a deep knowledge of rust, python and C++. And have worked on a large performance oriented code base as well as a small startup code base where development speed is essential.

I’m passionate about the work I do and take pride in my ability to ship good code that gets the job done.
by IoanaPetro | 2025-10-01 15:15:26+00:00
Channable | Utrecht, Netherlands | ONSITE

Channable is a fast-growing B2B SaaS platform that offers a fully integrated way to market your products online. We empower marketers and online businesses to manage, scale, and optimize their marketing.

We're looking for Python Software Engineers in multiple teams. More details about our jobs here: https://jobs.channable.com/?jobs-035754a9%5Btab%5D=Engineeri...

Our stack includes: Python, Haskell, Rust, PostgreSQL, Redis, Nix, Terraform, Nomad, Ansible

Do you want to read more about our engineering culture? Then have a look at our popular tech blog: https://tech.channable.com

Additionally, you can also take a look at some of our open-source work at https://github.com/channable to get a feeling of how we work together and what our code looks like.
by marssaxman | 2025-10-01 15:15:39+00:00
I'm not sure how you can be so confident about that. A year of Duolingo got me far enough along to comfortably follow "NOS Journaal in Makkelijke Taal", seemingly the Dutch equivalent of the RFI broadcast you linked. No transcript needed, though I do pause on occasion to look up an unfamiliar word.

Maybe you call that "the most basic grasp of a language", but it doesn't seem to have been less effective than the approach you took with French.
by dpark | 2025-10-01 15:15:40+00:00
> IMHO kids watching porn is firmly in the domain of parenting, and not a governmental task.

Do you actually believe this? The logical implication of this stance is that stores should be able to legally sell pornography to children.

Fact is that most people are generally very happy to have the government play the part of protector for children. The government in the US stops children from buying tobacco products, marijuana, alcohol, pornography, and many other things deemed dangerous to kids and for the most part people have no problem with that.

When it gets to the internet people suddenly have a problem because age verification is generally synonymous with tracking. And I agree tracking is a huge concern. But let’s not pretend that the government stepping in to protect children is actually an unreasonable thing.
by Mistletoe | 2025-10-01 15:15:42+00:00
A lot of times they take an SSRI to be able to manage their emotions better and not be triggered by daily life. That’s what I remember when I was trying to help an autistic friend deal with having autistic children that were having a lot of issues.

Edit: Just asked her and the final cocktail they have settled on is aripriprazole (Abilify, an atypical antipsychotic) and hydroxyzine (first-generation antihistamine with anxiolytic and sedative properties).

I sent her the game and she said it was hard haha. I asked if that was what autism feels like and she said this-

“Not for me but I have ASD. For my son, it would be similar but different since he can't tell me what is going on in his head. I can only guess with him, poor lamb.”
by JeremyNT | 2025-10-01 15:15:46+00:00
Same story here (though it cost me more - insurance refused to cover it because I did not meet the criteria [0])

LDL while clearly not telling the whole story is a great first line defense at population levels because it's easy and cheap (similar to BMI). If you just throw Statins at everybody with high LDL you're going to improve health outcomes, and historically providers and researchers have considered statins to be effectively "free" (both in actual cost and in side effects).

In developed countries where the equipment for this test is readily available, individual patients should absolutely request it even if paying out of pocket, if for nothing more than their own peace of mind.

I'm a layman but I have come to conclude that the AHA's guidelines on when to recommend the CAC test are too conservative. Definitive knowledge of the underlying pathology (or lack thereof) seems like it would be useful both for people with exceptionally high and exceptionally low scores. Even if in a vast majority of cases the treatment plan would be similar (just give them statins) more knowledge seems better on an individual treatment level.

[0] https://www.heart.org/en/health-topics/heart-attack/diagnosi...
by pizlonator | 2025-10-01 15:15:57+00:00
The main problem with your search methodology is that maybe AI is good at generating a high volume of slop commits.

Slop commits are not unique to AI. Every project I’ve worked on had that person who has high commit count and when you peek at the commits they are just noise.

I’m not saying you’re wrong btw. Just saying this is a possible hole in the methodology
by bfeynman | 2025-10-01 15:16:20+00:00
The reason is abundantly clear. Cursor was just a GPT wrapper with a nice UI/UX (which was very nice when it came out) it has some other models like autocomplete as well, but its still a wrapper. OpenAI and Anthropic build and train models specifically to work via CLI driven processes, which is why they are so much better now. Cursor is basically dead as I'm sure they realized they get much better performance with the CLI/agentic approach.
by fluoridation | 2025-10-01 15:16:30+00:00
>I'm not in any way stopping you from having half your fun there

I mean, you are. You are adding friction to the process. If someone wants to talk about a post of yours they have find some forum where it would be relevant and link to it. I don't know what it looks like on your end. Maybe adding the ability to comment would be more effort than you think is worthwhile, but if it was as simple as a checkbox, you would still leave it turned off, am I wrong?

>I personally find internet arguments to be a waste of time most of the time

Of course it's a waste of time. So is blogging, as well as many other activities humans engage in.

>I propose to you that you should be in favor of a diverse internet

I'm naturally going to be for an Internet that accommodates the things I want to do, against one that doesn't (when it could), and indifferent about one that accommodates things I'm not interested in. I don't know what your blog is, so I don't want to comment on it, so I'm indifferent whether it gives readers the ability to comment, so I don't particularly care to try to convince you do anything.

But, I have felt that tiny bit of frustration when I read or watched something and scrolled down to see what people said about it and saw there was no comment section, either by design or omission. Sometimes that has been enough to disengage me from the thing in question.
by leerob | 2025-10-01 15:17:21+00:00
(I work at Cursor)

1. Checkpoints/rollbacks are still a focus for us, albeit it's less used for those working with git. Could you share the bug you saw?

2. Autocomplete for prompts was something we were skeptical of as well, but found it really useful internally to save time completing filenames of open code files, or tabbing to automatically include a recently opened file into the context. Goal here is to save you keystrokes. It doesn't use an LLM to generate the autocomplete.

3. A lot of folks don't want to juggle three AI subscriptions for coding and have found the Cursor sub where they can use GPT, Claude, Gemini, Grok models to be a nice balance. YMMV of course!
by voidhorse | 2025-10-01 15:17:29+00:00
Generating problems is fantastic, but I'd caution on overreliance in the other two cases.

Basically all of the cognitive science literature on learning that I am aware of says that the more you do directly and the less hand holding you are given, the better your acquisition and long term retention. In particular, having the LLM elaborate concepts for you is probably one of the worst things you can do when it comes to learning. Struggling through that elaboration process yourself is going to make the learning stick much more strongly, at least if all of the research is to be believed.
by edanm | 2025-10-01 15:17:31+00:00
Hmm. Interesting.

If I'm following you, then most "mathematical" CS is based on constructivist foundations? E.g. while a halting problem Oracle might "exist" in the mathematical sense, it's not considered to "exist" for most purposes of deciding complexity classes, etc.

> The real question isn't whether this oracle exists. It is what you want the word "exists" to mean.

I was going to say the same thing. I'm not sure what "exists" means in some of these discussions.
by dfxm12 | 2025-10-01 15:17:40+00:00
For example, incitement to violence

GP brought up people being jailed for social media posts, but didn't reference any specifically. In the handful of cases I found via a web search, the charges were related to inciting violence.

GP also brought up the Universal Declaration of Human Rights. Article 30 reads:

Nothing in this Declaration may be interpreted as implying for any State, group or person any right to engage in any activity or to perform any act aimed at the destruction of any of the rights and freedoms set forth herein.

When one exercising a freedom restricts another's ability to exercise theirs, it is reasonable to expect courts to get involved to sort it out.
by badsectoracula | 2025-10-01 15:18:48+00:00
I wouldn't trust the LLM's raw output to be correct, but math is provable and if there was a filter between the LLM's output (which would be in some more rigid/structured format, not free form text) and whatever the user sees that tries to prove the LLM's output is correct (and try again if it goes wrong[0]), then i can see LLMs being perfectly fine for that.

In fact i'd say in general anything that LLMs produce that can be "statically checked" in some way, can be fine to rely on. You most likely need more than a chat interface though, but i think in general it is plausible for such solutions to exit.

[0] hopefully it wont end up always failing, ending up in an infinite loop :-P
by elbasti | 2025-10-01 15:19:32+00:00
Allied General | Northern Mexico | REMOTE (Mexico) with frequent travel or ONSITE | Full time

-

Can you handle projects that seem unsexy and uncool but are actually incredibly gratifying and great businesses? Read on. We’re building software to help small manufacturing firms ($10 - $20MM in revenue) build things with higher quality and speed. Help us help small firms compete against the big guys by delivering manufacturing more consistently and with higher quality.

Three pilot customers/design partners to start working with, on both sides of the border.

The company is not VC backed and probably won’t be for a long time. Good wages, lots of work. Good people. Not a lot of bullshit.

Us: Highly technical founding team with track record of success. Tiny tech team, large manufacturing team.

You: True full-stack. You enjoy shipping features, not code. You keep things simple. The role is “founding engineer”: you must be ok with a tiny team and working mostly by yourself.

Stack: Elixir.

Email me. sebastianv@gmail.com
by FireBeyond | 2025-10-01 15:19:53+00:00
Meanwhile, when government tried to hit Camp Mystic (in Texas, where 27 people died in July) with a flood zone finding, they fought back in court to get the finding removed...

... and now, with one camper still officially missing, no body recovered, the Camp is eager to assure the public that they will be opened again for next summer ...
by jfengel | 2025-10-01 15:20:12+00:00
Theoretically it's Renaissance rather than Medieval. And English Renaissance at that, which is well after the Renaissance was well underway in Italy.

But most RenFests seem to cover a period of about 500 years, plus a fair bit of outright fantasy.

At least at my local one, there is a Court playing out a fictional version of a real event early in the reign of Henry VIII, a period right on the cusp which I would call medieval rather than Renaissance. The people involved in that project actually have a good understanding of the history and are trying for some sort of period accuracy. Everyone else...

Why is that period so fascinating? Pretty clothes, and just enough superstitious belief in magic to let you play fantasy stories. Plus the actual history really is cool, even if it's only obliquely referenced.
by qsort | 2025-10-01 15:20:23+00:00
I don't think we are in a phase where we can confidently state that there's a correct answer on how to do development, productivity self reports are notoriously unreliable.

At least personally, the reason why I prefer CLI tools like Claude and Codex is precisely that they feel like yet another tool in my toolbox, more so than with AI integrated in the editor. As a matter of fact I dislike almost all AI integrations and Claude Code was when AI really "clicked" for me. I'd rather start a session on a fresh branch, work on something else while I wait for the task to be done, and then look at the diff with git difftool or IDE-integrated equivalent. I'd argue you have just as much control with this workflow!

A final note on the models: I'm a fan of Claude models, but I have to begrudgingly admit that gpt-5-codex high is very good. I wouldn't have subscribed just for the gpt-5 family, but Codex is worth it.
by AnotherGoodName | 2025-10-01 15:20:27+00:00
>I think it needs to be validated by an expert in both the material and education

LLMs getting it wrong is terrible when it matters but i also don't think it's a huge problem when it comes to acting as an additional resource to learning. Here the parent is using a lesson plan that costs money and using LLM for a little more explanation. It's similar to using web search on a topic and sometimes you get a hit, sometimes you don't.

Asking LLMs for numeric examples of complex maths sometimes fails. It's easy to spot and no great loss. When it works though it's extremely helpful to follow through.