MurphyA/hacker-news huggingface dataset:
by olli101 | 2025-06-02 17:27:05+00:00
Location: Mountain View, CA

Willing to relocate: Yes. Can be based in NYC or Seattle, WA at my own expense.

Remote: Yes

Technologies: JIRA | Confluence | Aha! | ProdPad | Monday | Figma | Sketch | Github | LiveSurface | Framer | Adobe Cloud | Tableau | Gainsight | Mixpanel | ChartMogul | GA | Userjourney | SurveyMonkey | Kubernetes | Argo | PyTorch GraphQL | React | CSS | Digital Ocean | CoreWeave

LinkedIn: https://www.linkedin.com/in/ollisiebelt/

Web: https://www.ollisiebelt.com

Résumé/CV: emailed upon request

Email: olli one zero one at gmail dot com

Hi. I'm a product and UX leader with over 15 years of experience in both the agency/production and the startup and Enterprise worlds. Previously I was at places like BBC, Live Nation, Amazon, Fox News, AT&T, Coreweave, HireRight, TriNet, AKQA and The Famous Group and have dual US and German citizenship. I’m currently freelance consulting in the GPUaaS/NeoCloud market with a speciality in 0 to 1 product launches. I’m looking for something full-time and would love to chat.
by jiehong | 2025-06-02 17:27:12+00:00
In that ladder of testing, I’d add simulation testing before formal methods in terms of cost vs benefits as well.

IMO, I see FMs as converging to be part of the type system that is checked by the compiler automatically during CICD.

If it’s not, it’s adoption cost is too high 90% of the time.

The only things that gets widely adopted follow that idea: types, unit tests, properties, fuzzing, integration test, simulation, packaging in a deployment pipeline, etc.

Finally, knowing that incompleteness theorems are a thing, formal methods will always fall short in some fundamental way.
by einpoklum | 2025-06-02 17:27:22+00:00
> "this will improve our efficiency in performing Y by 80%"

Even if we took your example: Suppose it will improve the efficiency based on other, additional, work that would take a long while, and it is not trivial to understand why.

> "help us achieve our goal by reducing time wasted on Z."

Manager may well tell you:

* "I never allocate time for Z, only for concrete project goals. And nobody ever complains about wasting time on Z."

* "I don't know if you guys waste time on Z or not, but I definitely know that if I approve your request you will be wasting time on it, rather than implementing a new feature or fixing a bug."
by ascertain_john | 2025-06-02 17:27:52+00:00
Ascertain | NYC (Hybrid ~3d/week) | Full-time | $180k–$280k + equity | Healthcare AI | Senior Engineers: Backend, Frontend, AI

Ascertain is a healthcare AI startup backed by Northwell (New York's largest health system) and Deerfield. We're a small team automating the painful admin work that clogs up the U.S. healthcare system — things like prior authorizations, discharge planning, and insurance claims. Our goal is simple: give time back to clinicians so they can focus on patient care, not paperwork.

We've found early product-market fit and are growing the team thoughtfully. We're hiring senior engineers across the stack: backend, frontend, and AI/LLM. We're NYC-based and hybrid (most of us come in ~3 days/week). We're not counting badge swipes — we just want teammates who want to be in the room with us often enough to build trust, have fun, and work on hard problems together!

What we're building:

* A general-purpose automation platform for healthcare ops, powered by LLMs

* A system that reads unstructured documents, fills out payer forms, and explains rejections

* Tools to automate patient discharge planning in hospitals

* A foundation for making AI in healthcare safe, observable, and human-in-the-loop

What we're looking for:

* AI Engineer — experience productionizing LLM apps (agents, RAG, embeddings); solid Python; knows how to build ML systems that ship

* Backend Engineer — strong Python/FastAPI; infra-savvy (K8s, Terraform, Docker); thoughtful about API design and scalability

* Frontend Engineer — React/TypeScript expert who's opinionated about UX and happy to dip into backend when needed

More importantly, we're looking for engineers who like open-ended, ambiguous challenges, and want to work with a tight-knit, high-trust team to solve real-world problems.

Pleas remember that we are looking for NYC local only, no exceptions at this time :(.

I'm a Principal Engineer here — if anything here resonates, drop me a line at john@ascertain.com or apply at our job board using https://grnh.se/f303c36d6us!
by harrall | 2025-06-02 17:28:10+00:00
Varnish like polyutherane.

Here’s what I use for furniture that I build:

- My planters use red cedar, often bare.

- My outdoor furniture use a wood oil plus polyutherane.

- My indoor furniture use just wood oil.

But that’s only in general. There are other considerations like impact resistance and spills that can stain the wood so you have to decide what combination of wood type and treatments work for your goal.
by lukeschlather | 2025-06-02 17:28:48+00:00
Experts understand orbital mechanics pretty well. If experts say an asteroid in the next 5 years it's pretty similar to saying that a rock dropped from the top of a skyscraper will hit the ground. It happens billions of times every day, we know the cause and effect.

With AI, there's no real expertise involved in saying "well, it was very stupid 5 years ago, now it's starting to seem smart, if we extrapolate it's going to be smarter than me in 5 years." But no one really knows what level of effort is required to make it smarter than me. No one is an expert in something that doesn't exist yet.
by constantcrying | 2025-06-02 17:29:10+00:00
All these supposed proofs are totally wrong. Students are correctly interpreting as hand waving, by people who themselves do not have a good answer because that is exactly the case.

The reason 0.999... and 1 are equal comes down to the definition of equality for real numbers. The informal formulation would be that two real numbers are equal if and only if their difference in magnitude is smaller than every rational number.

(Formally two real numbers are equal iff they belong to the same equivalence class of cauchy series, where two series are in the same equivalence class iff their element wise difference is smaller than every rational number)
by nogridbag | 2025-06-02 17:29:36+00:00
I've just started this journey. I always wanted to get into electronics and robotics, but instead went the software route. I've picked up an Arduino and microbit over the years, but they sit collecting dust.

It may sound silly, but I asked Gemini to recommend a learning plan and it came up with a detailed plan along with time estimates in months. The first step is reading and going through all the exercises in Make Electronics (third edition) which is very hands on.
by mrguyorama | 2025-06-02 17:30:07+00:00
There is no school math test that will require you to know the digits of Pi, except as a silly extra credit question.

The fascination is just dick measuring. "I'm smarter than you", for memorizing a longer string? It's quite dumb, but American media loves to use the dumbest possible ways of demonstrating that a character is intelligent, because uh it's really really hard to demonstrate "This person is very intelligent" to a subset of the population that is mostly at a middle school reading level and barely comprehends basic arithmetic, let alone algebra.
by nonethewiser | 2025-06-02 17:30:26+00:00
>Why? The whole message is about finding joy in creating whatever you want, something that is ostensibly you, in a way in which you find joy in creating it, regardless of what other people think of the final product.

That's the interesting part. I thought I agreed but it turns out I didnt. I realized this once my impression of his website's visuals went from positive to negative. I actually just found the simple/minimalist version beautiful in some way.

I mean it's great that he likes it - I have no problem with that. My conclusion was more that I would never be happy publishing something like that.
by dvt | 2025-06-02 17:30:44+00:00
Location: Los Angeles

Remote: Yes

Relocation: Case-by-case

I'm a CTO, expert engineer, and data professional interested in team-building, consulting and architecting data pipelines. At Edmunds.com, I worked on a fairly successful ad-tech product and my team bootstrapped a data pipeline using Spark, Databricks, and microservices built with Java, Python, and Scala.

At ATTN:, I re-built an ETL Kubernetes stack, including data loaders and extractors that handle >10,000 API payload extractions daily. I created SOPs for managing data interoperability with Facebook Marketing, Facebook Graph, Instagram Graph, Google DFP, Salesforce, etc.

More recently, I was the CTO and co-founder of a gaming startup. We raised over $6M and I was in charge of building out a team of over a dozen remote engineers and designers, with a breadth of experience ranging from Citibank, to Goldman Sachs, to Microsoft. I moved on, but retain significant equity and a board seat.

I am also a minority owner of a coffee shop in northern Spain. That I'm a top-tier developer goes without saying. I'm interested in flexing my consulting muscle and can help with best practices, architecture, and hiring.

Would love to connect even if it's just for networking!

Blog: https://dvt.name/

GitHub: https://github.com/dvx
by sam_lowry_ | 2025-06-02 17:30:58+00:00
Location: Belgium, Poland Remote: Yes Willing to relocate: I can work from my campervan Technologies: Full-stack, mostly Java and JS, k8s, networking, load balancing, databases, high load. Résumé/CV: I specialize in back-to-earth migrations from cloud providers. Email: lowry@mova.org
by dang | 2025-06-02 17:31:02+00:00
Most probably those other projects haven't been at #1 on HN or similar sites for long.

I agree that having discussion get consumed by the name is unfortunate and off-topic. It's also predictable, alas (https://news.ycombinator.com/item?id=44161041) but we have various tricks to try to dampen it.
by philipallstar | 2025-06-02 17:31:08+00:00
> why aren't all customer-oriented businesses open 24 hours?

Because that's not the established pattern of work for existing business that are hard to change.

> The equitable future of that type of work is appointment-based.

I think the word "equitable" needs to be replaced with one with some meaning to it. The problem with your suggestion is: should city centres or malls only be populated with shops, cafes and restaurants that are by appointment only? How would that actually change anything regarding what the shop would like to do? They can be open 4 days a week and be appointment-only or walk in. But I imagine a shop that isn't by appointment only will in generally lose compared to a shop that isn't. A restaurant is about the only type of place that can already sustain the premise of appointment-only, and only then likely in a regulatory/property environment that makes it hard to start alternatives.
Ask HN: What will humans do when AI writes and reviews code?
by pomarie | 2025-06-02 17:31:50+00:00
I’m noticing more and more teams are using cubic (an code reviewer – I’m the founder) to review PRs written by AIs (eg. Devin, Codex…).

Some teams already run an entirely AI-driven pipeline where AI writes the code, reviews it, and humans just click Merge at the end.

Interestingly, the AI reviewer often finds errors in AI-generated code. For now, AIs can review AIs code with OK results – probably better than a junior-mid level dev.

It got me thinking of the future…

1. Junior developer growth*:* Traditionally, code reviews are how junior developers learn. Have you noticed changes in how they learn since codegen has become a thinh? 2. Society expects self-driving cars to be dramatically safer (e.g. 10x better) before accepting them. Do you expect similar standards from AI code reviewers, or is slightly better than human good enough? 3. As AI surpass humans at writing and reviewing code (at least for technical correctness), how do you see the role of code reviews changing? 4. Philosophically, do you think code generation AIs will ever become so effective that specialized AI code reviewers won’t find any issues?
by breppp | 2025-06-02 17:31:59+00:00
I think that's overly semantic, and if the US government is actively pressuring governments (Israel) to transfer batteries, and is doing refurbishing of those batteries, then that's a good evidence of some policy.

I do agree that there was a shift in US policy towards Ukraine with the new administration. However, Russia being Russia, it looks like it is all going back to the previous policy
by Terr_ | 2025-06-02 17:32:09+00:00
Found a paper [0] that discusses a possible mechanism [1]:

> The manual for Open Sesame! mentions that some neural learning mechanism is used but does not give further explanations [...] (Caglayan et al. 1996), however claim that Open Sesame! makes use of a variation of adaptive resonance theory-2 (ART-2) algorithm of Carpenter and Grossberg.

[0] https://api.digie.ai/publications/Hoyle-paper-review.pdf

[1] https://en.wikipedia.org/wiki/Adaptive_resonance_theory
by ashimasood | 2025-06-02 17:32:11+00:00
Location: New Delhi, India Remote: Yes

Willing to relocate: No

Technologies: Mathematica, R lang, Python, SQL, Maple, Latex, Statistical Analysis, Hypothesis Testing, Data Modelling, Regression Modelling, Data Visualization

Résumé/CV: https://docs.google.com/document/d/1lKz_qk5d5UkwVsutRitWxUkc...

Email: ashimasood1993@gmail.com

I am an Astrophysicist with a PhD transitioning to Data Analysis. My 5+ years of research experience involved complex numerical computation, statistical modeling, and extensive data analysis in the field of Black Hole Thermodynamics.

My technical skills include: SQL, Python, R, MATLAB, Mathematica, Maple, and LaTeX. I'm proficient in Statistical Analysis, Hypothesis Testing, Data Modeling, Regression Analysis, and Data Visualization.

My academic background demonstrates strong analytical capabilities, with 5 papers published in peer-reviewed SCI journals featuring sophisticated data analysis and visualization. This research work required rigorous statistical methodologies, mathematical modeling, and communicating complex findings through effective visualizations.

I'm seeking a Data Analyst role where I can apply my quantitative analysis skills to extract insights from complex datasets. Particularly interested in positions involving statistical modeling, data manipulation, and creating meaningful visualizations that drive decision-making.

Please contact on ashimasood1993@gmail.com
by rodolphoarruda | 2025-06-02 17:32:23+00:00
Location: Sao Paulo, Brazil (GMT -0300)

Remote: yes

Willing to relocate: no

Technologies: PHP, MVC, Database modelling, MySQL/MariaDB, SQL, AWS S3, Ollama, JS, jQuery, HTMX, Bootstrap, BulmaCSS, Git, VSCode, Debian based systems

Résumé/CV: https://rodolphoarruda.pro.br/hire/

Email: email@rodolphoarruda.pro.br
by ryandrake | 2025-06-02 17:32:35+00:00
If most companies collectively decided to stop using "university degree" to gatekeep access to their jobs, then so many university problems would disappear overnight. Cheating would plummet. Proportionally more people would be there to learn instead of just going through the motions in order to get the "permission to work" paper. Fewer people would go to university to overall. Fewer people going would mean fewer people starting out life crippled with student debt.

Yes, there are probably some jobs where you really want to make sure the person you're hiring mastered some niche skill, like medicine and law. And these roles already have their own standardized testing and certification. We don't need to require a college degree for general office paper pushing jobs.
by teucris | 2025-06-02 17:33:10+00:00
Lottie is quickly becoming the de-facto standard for UI animations, but live, long running vector animations aren’t really something I’ve seen much of - at this point, video compresses well enough that people will simply use an mp4 or webp for that use case. I know that’s not what you’re looking for but since it isn’t a common use case, I haven’t seen much support for it. Lottie is perfectly capable for this use case, provided you don’t want audio.
by zecto | 2025-06-02 17:33:30+00:00
BCC | Platform Systems Engineers | Bethesda MD | ONSITE or REMOTE, VISA | Competitive compensation! | https://www.ncbi.nlm.nih.gov

Black Canyon Consulting (BCC) is hiring Platform Systems Engineers of all levels to join our team at the National Center for Biotechnology Information (NCBI). Our team is dedicated to building cutting-edge tools and systems. Our mission is to empower developers across NCBI to build, deploy, and manage software, data, and web services that make a real difference in the lives of millions of Americans.

Your contributions will play a crucial role in modernizing government technology infrastructure, fostering innovation, and ultimately making a tangible impact on communities across the country and globally. This is your chance to be part of a mission-driven team that’s shaping the future of digital government.

Tech: Linux, k8s, Service Mesh, Kafka, GitLab, ArgoCD, Elastic APM, Python, C++

DevEx Eng: https://job-boards.greenhouse.io/blackcanyonconsulting/jobs/... Sr DevEx Eng: https://job-boards.greenhouse.io/blackcanyonconsulting/jobs/...

DataOps Eng: https://job-boards.greenhouse.io/blackcanyonconsulting/jobs/... Sr DataOps Eng: https://job-boards.greenhouse.io/blackcanyonconsulting/jobs/...

Plaform Eng Manager: https://job-boards.greenhouse.io/blackcanyonconsulting/jobs/...
by El_Mo | 2025-06-02 17:33:53+00:00
SEEKING WORK - Expert hands-on Technologist | Onsite EU / UK | REMOTE WORLDWIDE

Not finding the right level of technical quality, experience or expertise?

Stuck with a problem you can't solve?

I'm the guy with the answers.

I work in the following areas:

* DevOps / SRE / Systems Engineering * Cloud Architecture / Engineering * CTO-level architecture / strategy / leadership

I bring you my 35 years of hands-on technical experience in all areas of IT. I specialize in making complex systems work efficiently and reliably. My solutions not only work for the long haul, they save you money. My rates match my seniority, but you'll spend way more money on people who don't have my skills and experience.

Some highlights (more would put me over the character limit):

* 25 years management experience, from team leader to CTO/CIO to CEO/MD * 15+ years AWS and Azure cloud experience - architecture, development, delivery, operations - in single-cloud, hybrid, multi-cloud and global cloud models. * 35 years systems engineering and DevOps experience, from bare-metal to Kubernetes, from IaaS to PaaS. All major CI/CD, automation, IaC, logging and monitoring tools. * 23+ years Java enterprise development and architecture experience; 20+ years Python development; 10 years C/C++ * 25 years experience in numerous data technologies, from RDBMes to data warehouses to NoSQL databases * 15 years experience (complete lifecycle: architecture, administration, engineering, installation, deployment, operations) with numerous Big Data technologies, including Kafka, Storm, Spark, Redis, Mongo, ElasticSearch and the Hadoop family.

For more information please contact me directly via https://www.theconsultantcto.com/?sid=hnf2506 or on LinkedIn: https://www.linkedin.com/in/lajosm/.
by dragonwriter | 2025-06-02 17:33:57+00:00
> They additionally cite in the article that perhaps it's smoking that's changed, yet that also didn't really significantly change in public until the 90s.

Prevalence of smoking in the US peaked at around 45% in the 1950s, and had dropped to around 25% by the 1990s. (Depending on your own age, this may feel wrong because there was a surge in youth smoking from the 80s peaking in the mid-1990s, so its easy for people in a certainnage range to feel like smoking was very prevalent through the 1990s, and then dropped like a rock.)
by caleb-motivity | 2025-06-02 17:34:06+00:00
Motivity | Remote | Full time | Software Developer (F#)

Motivity is looking to hire a software developer to join our team! We're a health software company currently specializing in Applied Behavior Analysis (ABA) for autism. Our code base is full stack F#.

For more details and to apply: https://job-boards.greenhouse.io/motivity/jobs/4002870009
by joshmanders | 2025-06-02 17:34:07+00:00
SEEKING WORK | US | Remote

Hello, I'm a full stack product engineer with over 25 years experience building apps on the web. I'm highly proficient in Node.js, JavaScript / TypeScript and PHP. I've contributed to a lot open source projects including but not limited to, Laravel, Vite, Tailwind, Alpine.js and Dokku. I know React, Vue and Angular like the back of my hand and can hit the ground running quickly in Next.js, Remix, Astro and Nuxt. Htmx CEO too, btw.

Currently I am building a cloud hosting platform at https://primcloud.com

You can reach me below. I also offer 10% up-to $1,000 for referrals.

Email: josh@joshmanders.com

X DM's: https://x.com/joshmanders
by threemux | 2025-06-02 17:34:15+00:00
What got me is I'm used to just putting the html page into my feed reader. It automatically finds the <link> tag that points to the RSS feed. However, science.org doesn't follow that convention. The RSS feed is linked with a nice, big feed icon from the main page though, which I somehow missed:

https://www.science.org/blogs/pipeline
by korse | 2025-06-02 17:34:21+00:00
I'm in the field and I disagree with the initial direction of this post. You aren't going to 'learn robotics' in a meaningful manner by checking the boxes in a online ROS2 course.

Robotics is a compound discipline which pairs mechanical and electrical engineering knowledge with mathematics and software development. In order to get meaningful practice in all of these areas, I would recommend re-implementing a robot vacuum from 'scratch'.

The actual vacuum part is non-essential, as you're really trying to implement the famous 'turtle' robot and experience all the design steps/compromises/challenges first hand. As a goal, aim for autonomous navigation around your home that works equivalently to a cheap 'throwaway' robo-vac.

Keep in mind you are surrounded by robotics. Most passenger vehicles, consumer drones, micro-mobility devices and modern construction equipment are 'robots in varying degrees of disguise'. Practical knowledge regarding any of these systems transfers well if you know where to apply it.
by thdn | 2025-06-02 17:34:34+00:00
Location: Bolivia (GMT-4)

Remote: Yes

Willing to relocate: Yes (USA, Germany)

Technologies: C#, Go, Python, Java, Zig, PHP, Lua, shell/bash, Kubernetes, Docker, Helm, Terraform, Ansible, Linux, Oracle Technologies, PostgreSQL, MySQL, SQLite, influxDB, SQL, PL/SQL, Grafana, gRPC / Protobuf, LXD, Incus.

Résumé/CV: https://tinyurl.com/3hy3dek4

Email: danielriosb <at> protonmail [dot} com

I'm a Systems Engineer, staff-level generalist with ~20YoE. Seeking backend & cloud infra roles. Ideal job would be designing, developing (CRDs, operators), monitoring and troubleshooting K8s clusters. Passionate about working with Go, Zig codebases.

Urgently looking for full-time/part-time/contract positions on GMT-4 timezone up to 2-3 hours overlap. I welcome any opportunity and am happy to consider all offers, I have immediate availability and open to work for an entry level pay for the right opportunity.
by philip1209 | 2025-06-02 17:34:44+00:00
Chroma | ONSITE - San Francisco | Full-time | https://trychroma.com

Chroma is building the memory layer for AI applications. It's an open-source vector database, with multi-environment support from a local DB to a unique serverless architecture. We just launch a re-written version of our product in Rust, and also work in Typescript, Next.js, Go, and Python.

We're hiring for these areas:

- Product design

- Infrastructure engineering

- Production engineering

- AI tools engineering

- AI Engineer - Tools & Support, focused on developer support

- Go to market

Apply here: https://jobs.ashbyhq.com/trychroma/9ed3aee8-07dd-44e3-9ca1-d...

More details at: https://careers.trychroma.com