MurphyA/hacker-news huggingface dataset:
by noodletheworld | 2025-10-01 15:05:21+00:00
It’s obviously farcical.

Anyone seriously using these tools knows that context engineering and detailed specific prompting is the way to be effective with agent coding.

Just take it to the extreme and youll see; what if you auto complete from a single word? A single character?

The system youre using is increasingly generating some random output instead of what you were either a) trying to do, or b) told to do.

Its funny because its like, “How can we make vibe coding even worse?”

“…I know, lets just generate random code from random prompts”

There have been multiple recent posts about how to direct agents using a combination of planning step, context summary/packing, etc to craft detailed prompts that agents can effectively action on large code bases.

…or yeah, just hit tab and go make a coffee. Yolo.

This could have been a killer feature about using a research step to enhance a user prompt and turn it into a super prompt; but it isnt.
by pixl97 | 2025-10-01 15:05:37+00:00
If this is really the end state of humanity then we should stop all automation and reel things back 10 thousand years or so. This is, modern people can imagine the end of the world before they can imagine a world without money based capitalism.

Go back far enough in history and money disappears. We had barter and trade and happiness still existed without money.

Go back further and trade becomes les important and violence/cooperation to achieve what one wants becomes greater.

Trying to shove money in a post labor world won't make sense and will just lead to war/genocide if we don't find a way to transition.
by Ajedi32 | 2025-10-01 15:05:58+00:00
I've long wondered why there's not a more incremental transition path from spreadsheets to a full blown database with a custom UI. It just seems like spreadsheets are right on the cusp of being able to fill that that role but lack just a few key features which might make it viable (structured data, native SQL query support, custom UI elements, IDE integration, etc).
by oletrn | 2025-10-01 15:06:12+00:00
SEEKING WORK | EU | Remote | Senior Front-End / Full-Stack Developer (Angular, React, Next.js, NestJS, Tailwind, TypeScript) with 9+ years of experience in EU/US startups and enterprises (fintech, e-commerce, KYC, green-tech). Front-end/UI focused but full-stack capable. Built and launched products end-to-end — including AI-powered SaaS. Thrive in async-first, remote teams; comfortable with EST hours.

Location: Prague, Czech Republic (EU) Remote: Yes (preferred) Relocation: No, but open to occasional office visits Tech: TypeScript, Angular, React, Next.js, RxJS, NgRx, SCSS, Nx, NestJS, NativeScript, Tailwind, CI/CD, REST, MongoDB, PostgreSQL, Jest, Figma APIs: Stripe, OpenAI, AssemblyAI, Deepl, Discord, Twilio, etc. Email: oletrn@gmail.com Résumé/CV: https://www.linkedin.com/in/otyurin/
by pmcconnell | 2025-10-01 15:06:16+00:00
SEEKING WORK | Remote | NY

Application Developer with over a decade of experience.

* Native application development for iOS, Android, Mac and Windows

* Creating and/or integrating APIs/SDKs

* TV/Video applications on all platforms (Apple, Android, Amazon, Roku)

Extensive experience building products and platforms from the ground up.

Email: info at squirrelpointstudios dot com
by beaconai | 2025-10-01 15:06:18+00:00
Beacon AI | San Carlos, CA | Hybrid (On-Site) | Full-Time

We’re a mission-oriented company building pilot assistance technology that goes beyond what current autopilot (Level 1) automation can do by creating an AI pilot assistant (effectively R2-D2 for pilots). The platform will make aviation safer and more efficient. Our tech is deployed on the aircraft to help prevent accidents, reduce workload, and increase the effectiveness of both commercial and defense operators.

We’re a Series A, venture-backed startup, backed by: Sam Altman, Costanoa, Scout, and JetBlue. We’ve signed over 12 contracts with major defense and commercial players, and customer demand is growing rapidly, with significant milestones planned for next year!

Our current hiring focus is on the data platform and iOS software. https://beaconai.co/careers

++ Backend and Cloud Infra Software Engineers - Multiple Seniority Levels and Tech Lead Manager

++ iOS Software Engineer - Early Career

We're a lean team, and looking to maintain the high talent and effort density we've built over the last few years. If you're looking to have a direct impact with your work and solve problems that can save lives, we'd love to get the chance to meet you - join us at beaconai.co/careers. Mention in the application that you saw our post on HN.

We’re also hosting a Beacon AI Happy Hour on October 10 in San Francisco. If you’re excited about our mission and curious about joining the team, we’d love to see you there. RSVP Here: https://partiful.com/e/dOW8tvwAF3XQzDkHYFyz
by halJordan | 2025-10-01 15:06:20+00:00
The prevailing sentiment here is the being American has no inherent value, and if you're not willing to admit that there is special American culture, and that that culture is better than the alternatives then you must admit that the Chinese model of state capitalism has extraordinary appeal.

If you admit that America & Americans are special then yeah this is antithetical to that thing.

But also having said that this reaction is more anti-Trump than anything else. It's long been obvious that America needs these (and other) critical mines working. And the private sector has steadfastly refused to do it. Govt ownership is the final option and it's obviously been the final option for a few years now.
by bcronk | 2025-10-01 15:06:28+00:00
Location: Nebraska, USA (currently working remotely for Oracle)

Remote: Yes, also open to hybrid/in-office

Willing to relocate: Yes, to SF or Seattle

Technologies: Java, Terraform, C#, .NET, Angular, TypeScript, SQL

Résumé/CV: https://buckcronk.com/resume/

Email: early.clay7910@buckcronk.com

Hi! I'm Buck, a software engineer with 6 years of experience building cloud services and enterprise web apps, and I'm looking for my next backend or full-stack role, with an eye towards moving West. At Oracle, I currently work on a serverless function for generating documents (https://docs.oracle.com/en-us/iaas/Content/Functions/Tasks/f...), which has been fascinating, as I've gotten to learn the internals of the DOCX and XLSX formats while also using Terraform and custom tooling to deploy and maintain the product in dozens of cloud regions. Before this project, I also worked on the Database Tools Service (https://www.oracle.com/database/tools-service/), a cloud service for creating reusable database connections and executing SQL, helping to integrate with internal platforms, maintain the service, and deploy it to many regions. In general, I'm known for solving problems thoroughly, maintaining high standards in development and reviews, and helping out teammates and customers whenever I see the opportunity. If any of that sounds interesting to you, I would love to hear from you!
by _7acn | 2025-10-01 15:06:55+00:00
This is not true. Yes, these are characteristic color grading profiles, but if you want your photo to actually look proper, you still need to process the RAW file and you can add the Fujifilm profile as an extra on top of that.

There's NOTHING special about these profiles. It's a matter of taste. If you're buying a mirrorless camera, it means you have ambitions to take photos at a reasonably high level. Nobody who wants to be at a high level will shoot JPGs.
by NitpickLawyer | 2025-10-01 15:07:18+00:00
> It's AI all the way down, baby.

This brings up an interesting point that's often missed, IMO. LLMs are one of the few things that work on many layers, such that once you have a layer that works, you can always add another abstraction layer on top. So yes, you could very well have a prompt that "builds prompts" that "builds prompts" that ... So something like "do x with best practices in mind" can turn into something pretty complex and "correct" down the line of a few prompt loops.
by rdtsc | 2025-10-01 15:07:26+00:00
> “Demoware” is a type of software that looks “good” during a demonstration.

I like the term. I have been using a similar phrase "looks good in a snippet" when referring to certain styles of programming.

Once such instance was when nodejs was becoming popular and everyone was showing how easy concurrent programming can be with a few callbacks in a snippet. However building a large code base with that would eventually turn into a nightmare.

Another example is databases which don't fsync after writes by default. They look great in benchmarks (webscale even!) then in production suddenly some of data goes missing. But at least those initial benchmark demos were impressive.
by doistcareers | 2025-10-01 15:07:32+00:00
Doist | Backend Engineer, Apple Engineer | REMOTE | Full-time | https://doist.com/careers

We create simple yet powerful productivity tools like Todoist, used by millions worldwide.

Backend Engineer: Work on the backend that powers Todoist at scale (millions of users, billions of tasks). Current challenges: re-sharding, a new sync engine, and making our systems ready for the next decade. Our stack: Python, SQLAlchemy, MySQL, Redis, AWS, and an in-house Flask-like framework. We’re looking for strong Python skills, experience with at least one other language, and curiosity about using AI competently to improve both developer workflows and product features.

Apple Engineer: Opening this week. Please check our careers page.

Fully remote across 30+ countries. 40 days PTO, coworking budget, hardware budget, AI tools, work & wellness budget, parental leave.
by bunderbunder | 2025-10-01 15:08:05+00:00
I'd argue that you need a loop that's capable of operating without Earth support for a significant length of time - vastly beyond what they managed with Biosphere 2 - for margin of safety reasons. Possibly also with a very different, scaled down design - maybe not growing all their own food, for example - because 13,000 square meters is maybe a bit much for a first off-planet base. And the best place to start working out how to do that is right here on Earth. Because it's an immediate cost reduction of at least one and probably several orders of magnitude, and because you can much more easily iterate on the design while you're still working out the kinks.

And then, once you've got it working well here on Earth, then you have a go at doing it on the moon.

This idea that the best place to get started on working out how to do these sorts of things is on the moon makes about as much sense as suggesting that the Space Shuttle program should have had astronauts rushing to work out the kinks of EVA missions in space instead of doing everything they could to test and practice procedures in swimming pools in an effort to learn as much as possible before you blow half a billion dollars on trying it out in orbit.
by diordiderot | 2025-10-01 15:08:25+00:00
I've realised far too early. The death of my college age sibling has me constantly scanning and checking for life threatening illnesses. Sometimes the odd ache or a pain sends me into a days long spiral. The fear extends to my spouse and children.

Financially, I'm completely free, very comfortable, want for nothing, but still don't feel any sense of achievement.

I need help
by GnomeChomsky | 2025-10-01 15:08:25+00:00
Location: Boston, MA

Remote: Yes

Willing to relocate: No

Technologies: I'm a product marketing executive and not a developer or admin but have gotten hands-on with vSphere, Azure, AWS, Kubernetes and languages like Python, RoR, Angular, bash, PowerShell

Resume & Email: see profile

Spent 6 years in Marketing at a B2B software startup then another 4 years after that helping integrate the startup after acquisition by large-cap public company. Now I'm looking to get back to a startup and lead/build a product marketing function for folks solving interesting problems. Reach out if you need a tech-savvy marketing leader focused on messaging & positioning, GTM strategy, competitive intelligence, content, and enablement.
by lucasluitjes | 2025-10-01 15:08:50+00:00
SEEKING WORK | REMOTE | Dev, DevOps, Security | Location: The Netherlands

Willing to relocate: no, but willing to travel/visit. I'm flexible with working hours, I usually work with clients from either Western Europe or the USA.

I do dev/devops/security, usually for startups or scale-ups or other small orgs with limited resources, and I've been doing that for 15+ years. So, if you:

* Have a slow web application that’s often down?

* Want to improve security and don’t know where to start?

* Have a legacy system that needs to be replaced?

* Are considering an acquisition but not sure about the technical side?

I can help with that. For example, in the past I have:

* Massively improved performance and reliability for a data visualization platform.

* Led a large effort to improve security for a cybersecurity SaaS.

* Built a micropayments system for a prominent media startup.

* Rebuilt an aging e-learning platform from scratch for a GDPR compliance SaaS.

* Conducted technical due diligence for acquisitions.

For more information: https://www.luitjes.it

Favorite buzzwords: Ruby (including Ruby on Rails, Sinatra, and standalone applications), PostgreSQL, Ansible, Linux.

Other buzzwords: Elixir, C#, Java (Spring/Hibernate), JavaScript, HTML/CSS/XSLT/XPATH/XSLFO, Elasticsearch, MongoDB, MySQL, Redis, Solr/Lucene, Graphite, Kibana, Grafana, Logstash, Icinga, Jenkins, Varnish, HAProxy, Pound, Nginx, Apache, Passenger, Vagrant, Docker, DCOS, Kubernetes, SSH, OpenVPN, TCP/IP, tcpdump/strace/lsof/etc, AWS (EC2, ELB/ALB, S3, CloudFront, Lambda, Batch, VPC, etc.
by gsf_emergency_2 | 2025-10-01 15:08:59+00:00
Sorry to repeat but I felt a bit of Eureka

If I were to put myself in Archimedes' shoes (when he basically discovered calculus) motivation comes from "this is nuts but it could work" and meaning comes from "yep that works!"

https://youtu.be/h0gPomI3h8o

(That was long ago, but I'm sure it also happens today)
by bgwalter | 2025-10-01 15:09:14+00:00
The initial ChatGPT release in 2022 was the product of 7 years of private research that in turn built on decades of public research.

Rumors say that Google wasn't far behind at the time, but didn't push releases. Perhaps because they were not that impressed by the applications or did not want "AI" to cannibalize their other products.

So it seems very likely that everything has been squeezed out of the decades of research and we have plateaued.

Desperate measures like Nvidia buying its own graphics cards through circular investment schemes do not inspire confidence either. Or Microsoft now doing CoPilot product placement ads in teenager YouTube channels. When Google launched, people just used it because it was good. This all fits very well with the demoware angle of the article.
by hedgedoops2 | 2025-10-01 15:09:19+00:00
You're saying maybe people have mistakenly accepted incorrect proofs now and again, so some theorems that people think are proven are unproven. I agree that this seems very likely.

In practice when proofs of research mathematics are checked, they go out to like 4 grad students. This isn't a very glamorous job for those grad students. If they agree then it's considered correct...

But note this is just the bleeding edge stuff. The basic stuff is checked and reproven by every math undergrad that learns math. Literally millions of people have checked all the proofs. As long as something is taught in university somewhere, all the people who are learning it (well, all the ones who do it well) are proving / checking the theory.

Anyway, when the scientific community accepts a bad proof what effectively happens is that we've just added an extra axiom.

Like when you deliberately add new axioms, there are 3 cases

- Axiom is redundant: it can be proven from the other axioms. (this is ... relatively fine? we tricked ourselves into believing something that is true is true, the reason is just bad.)

This can get discovered when people try to adapt the bad proof to prove other things and fail.

Also people find and publish and "more interesting", "different" proofs for old theorems all the time. Now you have redundancy.

- Axiom contradicts other axioms: We can now prove p and not p.

I wonder if this has ever happened? I.e. people proving contradictions, leading them to discover that a generally accepted theorem's proof is incorrect. It must have happened a few times in history, no?

o/c maybe the reason this hasn't happened is that the whole logical foundation of mathematics is new, dating back to the hilbert program (1920s).

There are well known instances of "proofs" being overturned before that, but they're not strictly logically proofs in the hilbert-program sense, just arguments. (Of course they contain most of the work and ideas that would go into a correct proof, and if you understand them you can do a modern proof)

e.g. https://mathoverflow.net/a/35558

Cauchys proof that, if a sequence of continuous functions converges [pointwise] to a function, the limit function is also continuous (cauchys proof only holds for uniform convergence, not pointwise convergence - but people didnt really know the difference at the time)

- Axiom is independent of other axioms: You can't prove or disprove the theorem.

English doesn't have a "I'm just hypothesizing all of this" voice, if it did exist this post should be in it. I didn't do enough research to answer your question. Some of the above may be wrong, e.g. the part about the 4 grad students. One should probably look for historical examples.
by 9AZX | 2025-10-01 15:09:20+00:00
Location: France, Europe

Remote: Yes

Willing to relocate: Yes, as well as hybrid or in person

Technologies: Flutter, Kotlin, C++, Rust, Cyber Security

Résumé/CV: On request or https://www.linkedin.com/in/jon-ihlas-a08462156/

Email: jon {@} ihlas.me
by blargey | 2025-10-01 15:09:32+00:00
That’s a good point - I’d naively thought of it as “self driving gets way better than humans -> self driving ‘goes to prod’”, but there is a real possibility that regulatory scrutiny falls off too early, or worse, the lack of incentives results in backsliding on safety after regulatory scrutiny is off.

Rollouts seem conservative enough for the former, but the latter…
by dvvalia | 2025-10-01 15:09:38+00:00
SEEKING WORK | Mumbai, India | Remote OK for India/Some of EU timezones

Location: Mumbai, India Remote: OK Willing to relocate: No Technologies: - Python/Pandas - Java/Spring Boot - Data Engineering (ETL/ELT, data pipelines) - Product Development - AI/LLM based development (MCP, agents, ADK, CrewAI, etc) - Other (SQL, Redis, Docker, AWS, Azure, DBT) Résumé/CV: https://dvalia.in/blob/Darshan_Valia_Resume_Technical.pdf Email: On Resume Linkedin: https://www.linkedin.com/in/dvalia/

Data/Backend engineer for the past ten years (Python, Java, SQL). Experience building data platforms (from scratch!) and ELT pipelines for financial data. Currently working on agentic AI projects, but happy to work at any level for any problem that needs solving. Open to work on product management, solutions architecture, agentic AI or customer engineering. Remote is preferred for time zones spanning Europe to India; onsite/hybrid in Mumbai is also great. Unfortunately cannot relocate.
by simonw | 2025-10-01 15:10:23+00:00
You absolutely have not been paying attention then. The difference in quality between September 2025 LLMs (GPT-5, Claude 4/4.5) and September 2024 (we were still on GPT-4o) is huge.

For one thing, last year's LLMs were nowhere near winning gold on collegiate math and programming competitions. That's because the "reasoning" thing hadn't kicked off yet - the first model to demonstrate that trick was o1 in ... OK that was September 12th 2024 so it just makes it to a year old now.
by dvvalia | 2025-10-01 15:10:35+00:00
Location: Mumbai, India Remote: OK Willing to relocate: No Technologies: - Python/Pandas - Java/Spring Boot - Data Engineering (ETL/ELT, data pipelines) - Product Development - AI/LLM based development (MCP, agents, ADK, CrewAI, etc) - Other (SQL, Redis, Docker, AWS, GCP, Azure, DBT) Résumé/CV: https://dvalia.in/blob/Darshan_Valia_Resume_Technical.pdf Email: On Resume Linkedin: https://www.linkedin.com/in/dvalia/

Data/Backend engineer for the past ten years (Java, Python, SQL). Experience building data platforms (from scratch!) and ELT pipelines for financial data. Currently working on agentic AI projects, but happy to work at any level for any problem that needs solving. Open to work on product management, solutions architecture, agentic AI or customer engineering. Remote is preferred for time zones spanning Europe to India; onsite/hybrid in Mumbai is also great. Unfortunately cannot relocate.
by worldsayshi | 2025-10-01 15:10:46+00:00
I agree that LLM output need to be validated to be valuable but math (unless it's on a quite high level I suppose) seems like one of the areas with the most potential for doing validations, without requiring an expert to validate everything.

If you're working on educational math problems with solutions you can validate against the solutions. If you're working with proofs you can evaluate the proofs in a proof checker. Or you can run the resulting math expressions through a calculator.
by ryanrasti | 2025-10-01 15:11:50+00:00
Thanks! That's a great question.

First off, I'm a huge fan of Kysely and it's a massive source of inspiration for Typegres.

You've nailed the two big differences:

* Architected for Business Logic: The primary innovation is the class-based model. This is all about co-locating your business logic (like calculated fields and relations) directly with your data model. The cool part is that these methods aren't just for SELECT; they're composable SQL expressions you can use anywhere: in a WHERE, an ORDER BY, etc. The goal is to create a single, type-safe source of truth for your logic that compiles directly to SQL.

* PostgreSQL-Native: The other fundamental difference is the focus on going deep on a single database rather than being database-agnostic. That massive list of functions you saw is a core feature, designed to provide exhaustive, type-safe, and autocomplete-friendly coverage for the entire PostgreSQL feature set. The philosophy is to stop forcing developers to reinvent database logic in their application code.

Philosophically, it's a shift from composing type-safe SQL strings (like Kysely, which is brilliant for its WYSIWYG approach) to composing SQL expressions as if they were first-class TypeScript objects.
by hommes-r | 2025-10-01 15:12:18+00:00
Moyai | Amsterdam, The Netherlands | FULL-TIME | ONSITE | Founding AI Engineer | 60k-80k + Equity

About the company:

• Technical founding team with relevant industry experience (part of Nvidia Inception Program)

• Backed by well-known European VCs (SpeedInvest + Galion.exe)

• Building agentic advanced analytics and fine-tuning analytical reasoning models

Ideal candidate:

• Demonstrated shipping ability with past projects & roles

• "Young and hungry” mindset, prioritising ability to learn with agency over experience

• Familiar with fine-tuning algorithms and frameworks, transformers/trl, ART, verl and unsloth

• Bonus points for experience in contributing to open-source projects, startups, AI agents, & similar technologies

Reach out to the founder directly: https://www.linkedin.com/in/rhommes/