MurphyA/hacker-news huggingface dataset:
by biswaviraj | 2025-06-02 19:51:40+00:00
Location: India

Remote: Yes (willing to match remote hours)

Willing to relocate: No

Technologies: React.js, Next.js, Typescript, Solidjs, Node.js, Nestjs, Tailwind, CSS

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

Email: biswajeetdas18@gmail.com

Linkedin: https://linkedin.com/in/biswajeet-das

I’m a Product Engineer with 5+ years of experience building scalable web apps, open-source SDKs, and modern UI systems. At Novu, I helped architect framework-agnostic tools like @novu/js, @novu/react and @novu/nextjs.

I’ve been working remotely for over 4 years with globally distributed teams across India, Europe, and the US. I enjoy the flexibility and independence remote work offers, and have strong async communication habits to stay aligned with the team

I am looking for a Front-end or Front-end heavy full-stack role in remote-first teams where I can own core features, contribute across the stack, and continue crafting delightful developer experiences.

Thank you
by MangoToupe | 2025-06-02 19:52:22+00:00
Can you tell me what you're referring to? Of course I've read the literature.

> People rarely try to deny that revolutionary socialism is a violent ideology since every major writer from Marat to Marx to Lenin to Mao has explicitly advocated violence against civilian non-combatants.

Yea, that's a very different thing than murdering "dissidents." Capitalists use (state) violence to maintain power; violence is necessary to seize power and create your own state. That was Mao. We are now many decades later and any "revolutionary socialist" in the area would be trying to overthrow the government by definition.

China isn't very indicative of revolutionary socialism, and revolutionary socialism comes in dozens or hundreds of different conflicting flavors. Even Lenin and Stalin argued over many things including how they should treat what we would now call "small business owners", and Stalin won in the end (mostly because Lenin died, but still).

Why don't you paint other ideologues (i.e. capitalists) with the same broad brush? It's not like they're any less violent in their suppression of threats to their power. Ever hear of vietnam? or the korean war?
by tjohns | 2025-06-02 19:52:29+00:00
> Has a very easy answer in the US: No.

While you're not wrong in practice, it's actually a surprisingly complicated area of law.

The FAA doesn't "own" the airspace, it's a public right-of-way and every citizen has the right to transit it. See 49 USC §40103: "A citizen of the United States has a public right of transit through the navigable airspace".

The FAA gets to set policy on how to ensure safety, just like the Coast Guard sets rules for the safe navigation of public waterways (but neither "owns" the air/water): "the Administrator of the Federal Aviation Administration shall develop plans and policy for the use of the navigable airspace and assign by regulation or order the use of the airspace necessary to ensure the safety of aircraft and the efficient use of airspace."

Now, where it gets complicated is the definition of "navigable airspace". A common definition is either 360 feet or 500 feet above the tallest structure on a parcel of land, but the case law isn't consistent on this - especially when you consider that some aircraft (like helicopters) can legally navigate lower than that. See: https://en.wikipedia.org/wiki/Air_rights#United_States
by Veedrac | 2025-06-02 19:52:34+00:00
It's frustrating seeing Block 2 go through pain we thought we were past, but we're talking about flights this year January, March, and May. The last Block 1 flights were on the cusp of success, so we know if the tiles can get a bit more robust then the mission design works. We've seen Super Heavy do a successful booster catch. We've seen Starship do an orbital reentry all the way down to a soft landing.

Execution matters and this last half a year hasn't been it, but the evidence seems to me to show the theory can work, and that SpaceX isn't running out of capital or conviction.
Show HN: I build one absurd web project every month
by absurdwebsite | 2025-06-02 19:52:46+00:00
I’ve been building absurd, mostly useless web projects for fun — and I publish one every month at absurd.website.

These are deliberately non-functional, weird, sometimes funny, sometimes philosophical — and usually totally unnecessary.

Some examples:

Sexy Math — solve math problems to reveal erotic images.

Trip to Mars — a real-time simulation that takes 7 months to finish.

Add Luck to Your e-Store — add a waving cat widget to boost your conversion via superstition.

Microtasks for Meatbags — the future: AI gives prompts, humans execute.

Invisible Lingerie — it’s sexy. And invisible.

Artist Death Tracker — art prices spike when artists die. We track that.

Open Celebrity — one open-source face, shared by all. Together we make her famous.

I just enjoy exploring what the web can be when it doesn’t try to be “useful”.

Would love to hear what you think — and absurd ideas are always welcome.
by dwringer | 2025-06-02 19:53:08+00:00
Yet, one might justly question the imperative of cultivating a distinct model for such an endeavour, when a judiciously framed prompt, enriched by apposite examples, might suffice to imbue a sophisticated engine with the desired stylistic graces. Though it is undeniable these modern engines shall wax greatly in their proportions, and the art of discovering the exact prompt to elicit their most felicitous expressions is a task far from trivial, yet, it must be admitted, the pursuit holds a certain diversion for the inquisitive mind! It is, perchance, not the creation of manifold engines, but rather the artful disposition of singular contexts, that shall bestow upon diverse interlocutors their proper and unique voices.
by stoitsev | 2025-06-02 19:53:10+00:00
StorPool Storage | Senior Software Engineer, Storage Core (C/Linux) | Remote (EU timezones) | Full-time`

StorPool (https://storpool.com) is hiring exceptional engineers for our Core Storage team. Join us to build and evolve the heart of our globally recognized distributed block storage platform, used by leading cloud builders worldwide.

What we're about:

• Deep technical excellence in C/Linux systems programming.

• Tackling complex distributed storage challenges: distributed transactions, data consistency, disk I/O optimization, network performance, and custom Linux kernel interactions.

• Commitment to customer-driven innovation, collaboration, and continuous learning in a fully remote environment.

What you'll do:

• Design, build, and optimize high-performance, fault-tolerant distributed storage systems.

• Work deeply in Linux internals: kernel debugging, zero-copy data paths, and advanced data placement algorithms.

• Drive technical solutions independently while collaborating asynchronously with a global team.

Why join us:

• Impactful role solving real-world, technically ambitious storage problems at scale.

• Competitive compensation, meaningful time off, education budget, and fully remote flexibility.

Learn more and apply: https://storpool.com/force/senior-software-engineer-storage-...
by orthecreedence | 2025-06-02 19:53:57+00:00
This is my exact experience with DBeaver. Absolutely cannot stop all the frustrating popups. Finally got fed up and started using vim+dadbod and while the experience is a bit less batteries-included, I was mostly just using DBeaver to run raw SQL anyway, and have been on vim for over a decade so that's an option for me. Now my SQL queries live in per-project versioned files instead of some eclipse project folder somewhere and I can edit them with all the power of vim which speeds up my workflows.

But nobody's going to do this without being a huge vim nerd, so I recognize it's not a general alternative.
by bluefirebrand | 2025-06-02 19:54:08+00:00
> so why not outsource that to an LLM and verify the output?

I mean sure, why not. My argument isn't that it doesn't work, it's that it doesn't really save time

If you try to have it do big changes you will be swamped reviewing those changes for correctness for a long time while you build a mental model of the work

If you have it do small changes, the actual performance improvement is marginal at best, because small changes already don't take much time or effort to create

I really think that LLM-coding has largely just shifted "time spent typing" to "time spent reviewing"

Yes, past a certain size reviewing is faster than typing. But LLMs are not producing terribly good output for large amounts of code still
by jadowdl | 2025-06-02 19:56:24+00:00
June 2025

Prophet Town LLC | Full-Stack Software Engineer | REMOTE (US) and Hybrid | English fluency required | Full-time | $150K-$250K annual total comp (multiple)

I’m the founder, trying to do “enlightened business.” We are a small, worker-first, fully-remote, SF-based, boutique indie tech agency; for this posting we are hiring for our own internal employees. Our leadership staff are ex-Fortune 100; everybody codes. Notable recent projects: internal tools for Anduril, and voltagepark.com.

We are looking for Full-Stack Software Engineers with proficiency in React development, database design, and third-party API integration. Tier3 roles are typically 5-10 y/o/e with $150-$175k annual total comp. Tier4 roles are 7-20 y/o/e, $210-$250k annual total comp. Higher tiers exist, and we welcome exceptional applications. Fully remote positions available.

Please apply using this Google Form: https://forms.gle/7T29JpSdWgTbFgXj8. Applicants who submit before June 9 will receive a reply by June 20.

Applicants must meet a high bar; in return, I pledge my personal commitment to finding you interesting work and getting you good pay. You are free to submit again even if you have already done so in the past.
by sbysb | 2025-06-02 19:56:34+00:00
Oneleet (YC S22) | Multiple Roles | US & NATO Countries | Remote | Full-time

Oneleet is an all-in-one cybersecurity startup that has built its own Attack Surface Monitoring (ASM), Code Scanner, Device Monitoring, and Compliance Platform. We are growing at an unprecedented pace and working on some very exciting projects.

What we're looking for:

Strong problem solvers who can work independently in a remote environment - Security-minded professionals passionate about building robust, scalable systems - Comfortable working during Eastern Time

Tech stack: Go, TypeScript, React, Kubernetes

Open roles:

* Senior Software Engineer (Backend)

* Security Program Manager

* Internal Security Compliance Auditor

* Technical Sales (must have background in Computer Science or Cybersecurity)

* Invoicing Coordinator

We offer:

- Competitive salary - Equity in a fast growing cybersecurity startup - 100% remote work - Company offsites every quarter (past offsites have been in The Netherlands and Italy)

If you're interested in joining our team, please reach out to samuel<at>oneleet<dot>com with the subject line "HN: <Job Title>". If you have already applied but haven't heard back, feel free to follow up on the thread, things have been super busy!

Alternatively, you can also apply at https://www.ycombinator.com/companies/oneleet/jobs
by egorelik | 2025-06-02 19:57:02+00:00
Location: USA Remote: Yes Willing to relocate: No Technologies: C#, Rust, Haskell, C, Functional Programming, SQL, Parquet, Git, OData, some C++, limited Python. Started playing with Datafusion. Resume/CV: Upon request Email: v5d72jvtu at mozmail dot com LinkedIn: https://www.linkedin.com/in/eric-gorelik-45662312b/ (preferred)

Hi HN! I'm Eric, a senior software engineer who has worked in the intersection of the databases and compilers spaces. I have nearly 10 years experience at Microsoft as a developer on a partially-lazy functional query language. Before that, I concentrated heavily on compilers, programming language theory, and formal logic in college (with some OS kernel and computer algebra stuff on top), and I remain passionate about them. In the years since I've gained knowledge of modern OLAP database internals. Recently I've worked on Parquet integration and optimization in this query language and Microsoft more broadly.

On the side I experiment with programming language design, especially with applying math-inspired ideas to low-level programming. I'm looking for a fully-remote position. If any of this sounds interesting, please reach out.
by akomtu | 2025-06-02 19:57:29+00:00
LLMs can't evaluate their own output. LLMs suggest possibilities, but can't evaluate them. Imagine an insane man who is rumbling something smart, but doesn't self-reflect. The evaluation is done against some framework of values that are considered true: the rules of a board game, the language syntax or something else. LLMs also can't fabricate evaluation because the latter is a rather rigid and precise model, a unlike natural language. Otherwise you could set up two LLMs questioning each other.
by whyowhy3484939 | 2025-06-02 19:57:45+00:00
There is this interesting thing called the Paradox of Automation where increasing automation increases the importance of human intervention. We are trying this out on a societal level. It will be.. interesting, to say the least.

Also, congratulations on becoming a team. I sure hope you have the mental bandwidth to check all that output carefully. If so, doubly congrats, because you might be the smartest human that ever lived.
by eterm | 2025-06-02 19:57:46+00:00
There are jobs out there that have always been unreliable.

A classic example is the Travel Agent. This was already a job driven to near-extinction just by Google, but LLMs are a nail in the travel agent coffin.

The job was always fuzzy. It was always unreliable. A travel agent recommendation was never a stamp of quality or guarentee of satisfaction.

But now, I can ask an LLM to compare and contrast two weeks in the Seychelles with two weeks in the Caribbean, have it then come up with sample itineraries and sample budgets.

Is it going to be accurate? No, it'll be messy and inaccurate, but sometimes a vibe check is all you ever wanted to confirm that yeah, you should blow your money on the Seychelles, or to confirm that actually, you were right to pick the Caribbean.

Or that actually, both are twice the amount you'd prefer to spend, where dear ChatGPT would be more suitable?

etc.

When it comes down to the nitty-gritty, does it start hallucinating hotels and prices? Sure, at that point you break out trip-advisor, etc.

But as a basic "I don't even know where I want to go on holiday ( vacation ), please help?" it's fantastic.
by bluefirebrand | 2025-06-02 19:58:21+00:00
The difference is that (hopefully) your employee is honest enough to say "I do not know the first 100 digits of Pi offhand but I can find out"

An LLM will happily produce a string of 100 digits that might be the first 100 digits of Pi, might be some known sequence of 100 digits in Pi but not the first 100, or might be 100 random digits that have nothing to do with Pi
by freerk | 2025-06-02 19:58:24+00:00
I just got a R36s retro handheld console for 31€ (US$35) including a 64GB microSD and shipping from Aliexpress. Apparently sometimes you can get it for as low as $25. It has a IPS instead of a eINK screen, but the CPU, RAM, Storage, battery etc. are as good or better as any ereader, so it is possible to get a tech device for way less than $80-100. But I guess it won't count as mainstream and nobody should expect support. It relies on open-source software (ArkOS) and ships pirated roms of abandoned game consoles, so there is no option for the manufacturer (unknown) to earn more after the sale.
by ilamont | 2025-06-02 19:58:36+00:00
Surprised the harsh winters weren't mentioned. Winters in New England, New York, and parts of Pennsylvania are more severe than anything most British soldiers would have experienced save for those stationed in Canada or from the Scottish Highlands.

Regarding mosquitoes, I don't know if they are bigger but in the deep woods in the Eastern US they can be intense, even outside of swamplands. I hiked through the northern Adirondacks in July 2019 and naively brought some eco-friendly mosquito repellent. I paid for it dearly over the 5 day trip. They were relentless, and the only protection on the trail were hats with nets or heavy duty repellent applied throughout the day.
by HenryBemis | 2025-06-02 19:58:49+00:00
My code (that ChatGPT writes for me is from 500 to 1000 lines). Every 5-7 versions, it starts messing things up.

I keep the working versions on a Word file on a Landscape, A3, 3 columns (version number, comment/changelog, the_code)(yes, cheap, scalable, easy).

So, every 5-7 versions, I start a new chat. I ask ChatGPT to read/write a summary/description of the code, and then I proceed to ask it for new changes/enhancements.
by olliestanley | 2025-06-02 19:59:26+00:00
Difficult one. GSM8K and MATH evals (both reported in Reasoning Gym paper) are common in smaller model RL papers for a reason, which is that smaller models can get decent scores on them, unlike fresher & harder benchmarks.

Part of the aim of RG is to be used as a difficulty-adjustable & non-repeating eval though so if people think it's a good benchmark, perhaps it will allow this status quo to shift!
by throwacct | 2025-06-02 19:59:27+00:00
This. I use LLMs for some tasks, but for more complex issues, I do it myself. I tried to use it for a project by defining each task as clearly as possible, and I spent weeks trying to come up with something useful. Mind you, I achieved 80% of what I wanted after iterating and "telling" the chat that their answers were wrong, and going over the code to double-check if everything was okay. Now I use it for specific, simple tasks if these are work-related, and then use it for random kinds of stuff that I can verify by going to the actual source.
by mikelayerhealth | 2025-06-02 19:59:30+00:00
Layer Health | https://www.layerhealth.com/

BOSTON (141 Tremont) or NYC (downtown) - hybrid in both locations; no remote

Layer Health was founded in 2023 by leading machine learning researchers from MIT and Harvard Medical School. We are building an AI layer that can accurately and scalably synthesize information from medical records, with the mission to reduce friction everywhere in healthcare. Our LLM-powered platform is solving chart review once and for all, across use cases. For health systems, our first product dramatically accelerates clinical registry abstraction in areas ranging from surgery and cardiology, to oncology. Our long term vision is for our AI layer to safely transform patient care and minimize unnecessary heartbreak. Layer Health’s diverse founding team brings expertise across machine learning, UI/UX, large language models, and medicine.

Work Location: HYBRID in Boston or NYC (downtown) Headcount: ~20

Stack:React/Typescript Frontend / Python Backend // GCP

Open Roles (all roles require a MINIMUM of 6 years of work experience) * Senior Fullstack Engineer (Frontend-leaning) * Staff+ Data Infra / Data Platform Engineer * Staff+ ML Infrastructure Engineer * Research Scientist (PhD's) * Head of Product / Chief Product Officer * Customer Success Manager * Solutions Engineer (healthcare/EMR implementations focused)

We Offer: * competitive offer packages (strong base salary + equity + great health/medical benefits) * unlimited PTO * fantastic engineering-first culture, in office 2-3 days per week in Boston and NYC offices

Email me at mike.hauschild@layerhealth.com for more info!
by HelloMcFly | 2025-06-02 20:00:08+00:00
> Anderson still has time.

Yes, but time for what? I still resist the implication that Anderson is somehow “sitting still” artistically just because he maintains a consistent (and remarkable, and unique) aesthetic. When you engage with his work beyond the surface, there’s clear evolution in structure, tone, emotional depth, and thematic ambition. That doesn't mean everything he's done is a masterpiece, or that not liking it is somehow an invalid critique.

He may still evolve in more outwardly dramatic ways, but I think he has and continue to evolve already, just on his own terms, without compromising the visual language he clearly loves.
by yorwba | 2025-06-02 20:00:10+00:00
While it's true that the model assigns non-zero probabilities to all sequences by design, those probabilities can get a lot smaller. E.g. replace that 99% per-step success probability with 10% and suddenly the overall chance of a correct result is truly astronomically small.

For a novel reasoning strategy, I would expect at least a few individual tokens where the base model assigns much smaller probabilities than the reinforcement-learning trained one, as opposed to just being a little smaller but spread out over many tokens. (Which would better fit a "death by a thousand cuts" scenario.)
by zarko34 | 2025-06-02 20:00:53+00:00
Edra Labs | Full-Time | Equity | New York & London (No remote) | AI Engineers / Full-Stack Engineers

At Edra we built a new, proprietary method of learning that allows LLMs to understand and automate business processes.

Founded by Eugen and Yannis, former co-heads of Forward Deployed AI Engineering at Palantir. We believe that as we get closer to AGI, the ability to teach models what you want them to do will become the key bottleneck in deployment to enterprises, and traditional training approaches won’t cut it. We named the company Edra for “the seat of the teacher”.

Edra AI is a novel learning system, deployed with several customers and are looking to scale up. Backed by top-tier investors from the Palantir ecosystem with offices in New York and London.

Still in stealth, reach out to hiring@edra.ai for more.

We’re hiring:

- AI Engineers (New York/London): You’ll work on building the future of AI whitebox learning

- Full-Stack Product Engineers (London): Help us deliver a fast and powerful user-facing platform. Stack includes Next.js, TypeScript, FastAPI, Python, and Postgres.
by dragontamer | 2025-06-02 20:01:50+00:00
From the electronics side, the path towards control theory is a lot of math (signals and systems, Fourier transforms, transfer functions, feedback and oscillations, compensation circuits) ultimately leading up to the student solving the inverted pendulum problem sometimes in early Masters degree region or maybe the advanced student Bachelor's degree.

I'm not entirely sure how to make that more 'accessible'. It's like, spend the next 5 years of your life mastering difficult math and electronics so that the sensors can be integrated into feedback that stabilizes a motor system.

I guess you can cheat and use servos for a lot of this (where an EE already solved many feedback loop issues). But if you ever need to build your own sensor+motor solution you'd get stuck if you didn't know the math.

-------

Making simple controls without relying upon feedback sensors is likely the goal, you can do a lot with that. But then do your best to avoid the Masters level demons that plague this problem set.

Maybe learn PID controller theory and if that isn't enough for your problems, give up and try a different design. PID is simple enough that you won't need years of math to learn, but it's very adhoc to configure and not always the best methodology to use.

Better than nothing though.
by mjdesa | 2025-06-02 20:02:13+00:00
Equall | Product Engineer (Full Stack) | NYC (In-Person / Hybrid) | Full Time | $150K–$250K depending on experience | dani@equall.com We’re building the OS for legal risk — a real-time AI platform that does legal work (not a co-pilot). Custom knowledge graphs + multi-agent systems = outputs that replace 100s of lawyer-hours.

You’ll:

- Own and ship full-stack features across SvelteKit, GraphQL, and Python

- Work in person with a high-output team, solving real pain points for top law firms

- Build AI-native product.

Must:

- Be NYC-based (or willing to move)

- Be serious, fast, and ready to work long hours on hard problems

- 2+ years experience

Nice: FastAPI, GraphQL, Tailwind, Svelte, Bun/Deno, AI/ML infra, structured concurrency