MurphyA/hacker-news huggingface dataset:
by dekhn | 2025-08-02 00:15:51+00:00
I would love to know (to the extent that submarine deployments are accessible to the public) what this means in terms of actual change in behavior. We have many subs deployed at all times (already quite capable of targeting multiple locations within Russia) while other subs are being repaired, and others are not yet ready, then even others are being retired.

Is this just all theater, or did we actually move things around/add deployments, and did those actions increase the threat to Russia? My fairly naive guess is that Trump directed the admirals to increase deployments, but the admirals internally just shuffled things a bit without changing our posture significantly. Because the US was already completely prepared for this, to the extent that one can prepare for a first strike or response.
by teaearlgraycold | 2025-08-02 00:16:13+00:00
I call this "half vibe coding" (needs a better term). For instances where you know how you'll solve a problem but don't want to type it all out it's great. I tend to comb through the output. Even the SOTA models will make pretty bad performance mistakes, poor maintenance decisions, etc. But it's super useful for getting over the hump of getting started on something.
by sjayasinghe | 2025-08-02 00:17:27+00:00
Location: Bangkok, Thailand (currently)

Remote: Yes

Willing to relocate: Yes

Technologies: Javascript, TypeScript, Node.js, Next.js, React, Python, Docker, Kubernetes, Terraform, AWS, GCP, SQL/Postgres, MongoDB, Redis.

Résumé/CV: Available on request via email

Email: sj2564 [at] columbia [dot] edu

I’m a generalist engineer with past experience including full-stack engineering at a YC legal-tech startup and full-stack + cloud infra at an NYC quant fund. I also have entrepreneurship experience that gives me an understanding of the end-to-end product development process at early stage startups.

My current project is a study mode for AI assistants with spaced repetition integration: https://app.polymax.ai/study-mode

I’m skilled at taking initiative on projects and synthesizing requirements from multiple stakeholders into meaningful technical solutions. I’m passionate about functional programming, building reliable and scalable distributed systems, and optimizing developer experience. I also speak 4 languages (English, Sinhala, Mandarin Chinese, and Thai).
by bmc7505 | 2025-08-02 00:18:06+00:00
The difference is that SAT/SMT solvers have primarily relied on single-threaded algorithmic improvements [1] and unlike neural networks, we have not [yet] discovered a uniformly effective strategy for leveraging additional computation to accelerate wall-clock runtime. [2]

[1]: https://arxiv.org/pdf/2008.02215

[2]: https://news.ycombinator.com/item?id=36081350
by sjayasinghe | 2025-08-02 00:19:10+00:00
SEEKING WORK | Bangkok, Thailand | Remote

Technologies: Javascript, TypeScript, Node.js, Next.js, React, Python, Docker, Kubernetes, Terraform, AWS, GCP, SQL/Postgres, MongoDB, Redis.

Résumé/CV: Available on request via email

Email: sj2564 [at] columbia [dot] edu

I’m a generalist engineer with past experience including full-stack engineering at a YC legal-tech startup and full-stack + cloud infra at an NYC quant fund. I also have entrepreneurship experience that gives me an understanding of the end-to-end product development process at early stage startups.

My current project is a study mode for AI assistants with spaced repetition integration: https://app.polymax.ai/study-mode

I’m skilled at taking initiative on projects and synthesizing requirements from multiple stakeholders into meaningful technical solutions. I’m passionate about functional programming, building reliable and scalable distributed systems, and optimizing developer experience. I also speak 4 languages (English, Sinhala, Mandarin Chinese, and Thai).
by reachcmphere | 2025-08-02 00:19:37+00:00
Location: USA

Remote: Preferred, but open

Willing to relocate: Yes

Technologies:

Languages: JavaScript, TypeScript, SQL, HTML/CSS

Cloud: AWS API Gateway, CDK, SDK, RDS, Step Functions, S3, CloudFront, SNS, SQS, Bedrock, Digital Ocean Droplets

Frameworks & Libraries: React, Express, Zod, Astro

Other: Node.js, PostgreSQL (incl. pgvector), MongoDB, Docker, Nginx, Bash, Jest, HTTP, REST, Postman, OpenAPI, Claude, Cursor

Résumé/CV: https://www.frame-platform.com/assets/chase-resume.pdf

Email: reachcmphere [at] gmail [dot] com LinkedIn: https://www.linkedin.com/in/chase-philpot/

I am a full stack software engineer with prior project management experience interested in senior software or ai engineering roles.
by zzo38computer | 2025-08-02 00:19:56+00:00
> 1e2 is a valid JSON number, but YAML 1.1 requires it to be written as 1.0e+2

Then a program can be made that writes it as "1.0e+2", which is also valid in JSON as well as YAML, regardless of what the reader expects. (However, some formats will not need numbers that will need the scientific notation anyways.)

It does not help if you are trying to use a YAML parser to parse a JSON file, but at least, it avoids a different problem.

If you are making your own which does not need to work with an existing format, then you do not necessarily need to use YAML nor JSON; you can choose the appropriate format for it. You can consider what numbers and what character sets you intend to use, and if you will use binary data, etc. If you like the structured data but do not need a text format than DER is another way.
by DanHulton | 2025-08-02 00:20:05+00:00
> 99% of programming is repetitive plumbing

Even IF that were true (and I'd argue that it is NOT, and it's people who believe that and act that way who produce the tangled messes of spiderweb code that are utterly opaque to public searches and AI analysis -- the supposed "1%"), if even as low as 1% of the code I interacted with was the kind of code that required really deep thought and analysis, it could easily balloon to take up as much time as the other "99%".

Oh, and Ned Ludd was right, by the way. Weavers WERE replaced by the powered loom. It is in the interest of capital to replace you if they are able to, not to complement you, and furthermore, the teeth of capital have gotten sharper over time, and its appetite more voracious.
Show HN: Agentic AI Frameworks on AWS (LangGraph,Strands,CrewAI,Arize,Mem0)
by thinkagenticai | 2025-08-02 00:20:11+00:00
We’ve published a set of open-source reference implementations on how to build production-grade Agentic AI applications on AWS.

What’s in the repo: • Agentic RAG, memory, and planning workflows with LangGraph & CrewAI • Strands-based flows with observability using OTEL & Arize • Evaluation with LLM-as-judge and cost/performance regressions • Built with Bedrock, S3, Step Functions, and more

GitHub: https://github.com/aws-samples/sample-agentic-frameworks-on-...

Would love your thoughts — feedback, issues, and stars welcome!
by d3vr | 2025-08-02 00:20:12+00:00
Cline support added in v3.20.4: https://github.com/cline/cline/releases/tag/v3.20.4

Roo Code support added in v3.25.5: https://github.com/RooCodeInc/Roo-Code/releases/tag/v3.25.5

Cerebras has also been added as a provider for Qwen 3 Coder in OpenRouter: https://openrouter.ai/qwen/qwen3-coder?sort=throughput
by triilman | 2025-08-02 00:20:14+00:00
Location: Indonesia Remote: Yes Willing to relocate: Yes (Asian region) Technologies: - Language: C, C++, Assembly (ISA: RV64I/RV32I) GAS, FASM, zig, python, PHP, SQL, JVM language (Java, kotlin), erlang (still learning), typst - framework: PyTorch/LibTorch, CodeIgniter, Arduino - Project Management tools: gradle, CMake, Make, zig build - debugging tools: GDB, LLDB - profiling tools: valgrind resume: - email: triilmanafattah01@outlook.com

Project that I have build: https://github.com/triilman25/tcp-socket-in-riscv-assembly (using GAS/GNU ASSEMBLER RISC-V) https://github.com/triilman25/evaluation-machine-for-classif... (using LibTorch and Raylib for UI) https://codeberg.org/Fattah25/agriculture-geographic-informa... (stack CodeIgniter, MariaDB, BootStrap, and HTMX)

I am a freshgraduate with 6 month internship experience as a server maintenace

I am interested in robotics and 3D design (familiar with tools like autodesk inventor, onshape, sketchUp, and freecad)
by zahlman | 2025-08-02 00:21:07+00:00
Just keep in mind that idiomatic Python expects https://en.wikipedia.org/wiki/Command%E2%80%93query_separati... if you return instances to support chaining, please return new instances rather than modifying the original in-place. Take the example set by the builtins; `list.append` etc. return `None` for a reason. cf. https://stackoverflow.com/questions/11205254.
by twothreeone | 2025-08-02 00:21:27+00:00
I don't know, I thought it was useful info given the context of the market. When I buy any service in general (e.g. a phone line) I'd like to know the highlights that differentiate that particular provider from others. And it didn't seem to me like this was front and center to their marketing, it sure seems like their output speed is the killer feature. This was just another item mentioned at the end of a sentence which also says a number of other things and just provides additional clarity about the endpoint.. ¯\_ (ツ)_/¯
by MyOutfitIsVague | 2025-08-02 00:21:35+00:00
Ruby on Rails has a databases.yml that is preprocessed by ERB. I often do something like:

field: <%= File.read('/foo/bar').to_json %>

Though I have myriad criticisms of YAML, this article's arguments are not a concern at all if you can ensure that your YAML parser always uses 1.2 regardless of any %YAML directive.
by egypturnash | 2025-08-02 00:22:24+00:00
Location: New Orleans

Remote: Yes

Willing to relocate: No

email: egypt@urnash.com

Does your company still practice stack ranking? Do you have a great team with nobody you're willing to lose in the next cull? I'm a queer artist who's barely scraping by. I will be happy to be your sacrificial goat for the small price of a year of your fancy-ass tech salary. I will get next to nothing done, at an exceedingly slow pace.

In the unlikely event that anyone here is actually looking for a real human artist, my site is http://egypt.urnash.com. I used to be an animator but I burnt way the heck out on that twenty years ago. Mostly I draw comics and furry porn.

edit: also if your team is like 90% furries then I may be convinced to spend part of that year I'm holding down the Worst Performer slot on drawing some outrageous smut of your fursonas, no promises until we've looked at the intersections of our f-lists
by xmprt | 2025-08-02 00:22:54+00:00
> accompanied by a message saying that if you use it without permission you'll be fired

Probably why none of the internal people cared either. They didn't want to be the person on the line in case it was determined that the usage wasn't valid.

I'm curious how you bricked it beyond repair though. Most devices have a way to enter a recovery/flash mode where you can upload your own firmware from the bootloader. And if you haven't unlocked the bootloader then I don't get how you could have bricked it unless there's an Android bug... which would have probably triggered a more serious look.
by dangelosaurus | 2025-08-02 00:23:02+00:00
Promptfoo | Senior/Staff Engineers, Security Researchers, GTM & Founding Operators | REMOTE (North America) / Hybrid San Mateo CA | Full-time | https://promptfoo.dev

Promptfoo is the MIT-licensed open-source toolkit 125 000+ developers use to evaluate and secure LLM apps. We just closed an $18.4 M Series A led by Insight Partners with participation from a16z and are scaling a small, senior team of high-agency builders.

Open roles

- Senior / Staff Full-stack Product Engineer (TypeScript + Python)

- Senior / Staff AI Security & Red-Team Engineer

- Solutions Architect / SE (multiple)

- Product Marketing Manager (cyber focus)

- Enterprise Account Executive (Bay Area, multiple)

- Technical Writer

- Developer Advocate

Why join

- Build the definitive AI security stack already used at 30+ Fortune 500s.

- Work in open source.

- Competitive salary, meaningful equity, async-friendly culture of ownership.

How to apply

1. Skim https://github.com/promptfoo/promptfoo then run:

npx promptfoo@latest init --example getting-started

2. Email careers@promptfoo.dev with subject “HN – July 2025”, a short intro, and a GitHub / LinkedIn link.

3. I reply to every thoughtful application and send swag to anyone who tries or contributes to Promptfoo.

Careers page: https://www.promptfoo.dev/careers/
by esseph | 2025-08-02 00:23:42+00:00
When infrastructure automation goes sideways at a large company, especially a large company with tens/hundreds of thousands of VMs goes sideways, or large network infrastructure changes, it is not a fun day.

Millions in damage can happen very quickly, and not even from the tech outage, but potentially loss of Operational Technology for Real Businesses and Orgs that do things.

Think about chemical manufacturers, or large manufacturing plants. Think about shipping ports and airlines, and railways. Think about Internet Service Providers, hell - think about Starlink, they were just offline for a botched infrastructure change. I'd say that had some major impact around the world.

Infrastructure is not about managing an App, it could be about managing thousands or tens of thousands of apps, and potentially for decades.

So yeah, sure. You're right. You don't need talent to run infrastructure, I guess.

Millions in damages can happen very quickly though, so, maybe... Think about it. I know a lot of software engineers that I wouldn't trust to run my infrastructure changes.
by Aloisius | 2025-08-02 00:25:04+00:00
People argued the living wage was $15/hour in California a few years ago. Then it was $20/hour. Now you're saying $30/hour.

I have to ask what is causing what's considered a living wage to increase so rapidly, because it appears to be increasing far faster than the national inflation rate.

It sounds like a wage-price spiral, though I'm not aware of anyone claiming we're in one.
by 1vuio0pswjnm7 | 2025-08-02 00:25:14+00:00
HN commenter: "On one hand I don't think you can apply a price to a human life, but on the other 329 million feels too high, especially since Tesla is only partially to blame, it wasn't FSD, and the driver wasn't using the system correctly."

What this sentence is describing are compensatory damages, e.g., compensation for loss of life

That number was 129 not 329, and Tesla was only found liable for 33% of it

CNBC: "Tesla's payout is based on $129 million in compensatory damages, and $200 million in punitive damages against the company."

CNBC: "The jury determined Tesla should be held 33% responsible for the fatal crash. That means the automaker would be responsible for about $42.5 million in compensatory damages."

42.5 is not even close to the 329 number that the HN commenter's claims "feels too high"

HN commenter: "This doesn't hold up logically unless I'm missing something, certainly the victim wouldn't be getting fined 329 million if it was decided to be his fault for not looking at the road"

This sentence is describing something more akin to punitive damages, e.g., a fine

That number was 200 not 329

It seems the HN commenter makes no distinction between compensatory and punitive damages
by deathanatos | 2025-08-02 00:25:27+00:00
Even if you have a YAML 1.2 parser, here's another one:

In [1]: v = "\N{PILE OF POO}" In [2]: yaml.load(json.dumps(v), yaml.SafeLoader) == v Out[2]: False

The specification is woefully underspecified with regards to Unicode escapes. E.g., it uses "Unicode characters" practically throughout, a construct that doesn't exist in Unicode & (AFAICT) is not defined by YAML. A reasonable interpretation of that leads us to

\uabcd

(which the spec says is "Escaped 16-bit Unicode character.") …decoding to the USV with value 0xabcd. But that's not compatible with JSON.

(PyYAML is not the only library with that reading of the spec, either. Rust's will outright error on the input here, as its `str` type is equivalent to [USV], whereas Python's `str` is not. (The value Python decodes in the example above is a representable but illegal value.))
by d4rkp4ttern | 2025-08-02 00:27:25+00:00
I really wish Qwen3 folks put up an Anthropic-compatible API like the Kimi and GLM/Zai folks cleverly did — this makes their models trivially usable in Claude Code, via this dead-simple setup:

https://github.com/pchalasani/claude-code-tools?tab=readme-o...
by AlotOfReading | 2025-08-02 00:27:35+00:00
> From how it’s stated, I would expect on the order of at least 5% of non-whites to be imprisoned.

Based on current demographic numbers, you would require almost 7 million people to be imprisoned before you'll accept that authorities are targeting minorities? That's more than 3x the current numbers and 60% of the global incarcerated population.

You're not being intellectually honest with that argument.
by VoidWhisperer | 2025-08-02 00:28:20+00:00
Incase the author of the original article ends up reading this, is there any significance to the skipping of the 9th index after each face? (i.e. first face is 00-08, next one starts at 10 and goes to 18, then 20 to 28, etc)

A naive guess on my part is that doing it this way keeps the number in each specific spot of the 3x3 grid the same, X0 is the top left and X8 is the bottom right.
by ARob109 | 2025-08-02 00:28:43+00:00
RCT, Railroad Tycoon 2 (which has scripted scenarios and sandbox ), SimCopter and Streets of Sim City were great

RRT2 has it scenarios like Hell or High Water where you have fill in a giant crater with cement by orchestrating trains before ocean levels rise or just sandbox play building railways buying up business and watching connected cities boom. Always loved using cheats to make all competitors trains break down then take over their bankrupt company.

SimCopter and Streets of Sim City had missions/scenarios. Or you could just go fly/drive around any SimCity2000 map.

Remember a SimCopter cheat would essentially nuke the city and set everything in fire.

And Street let you blow up buildings by adding weapons to your car.
by 1659447091 | 2025-08-02 00:29:14+00:00
> I witnessed a traffic accident, and they cops that turned up looked like they were ready to draw their weapons

Traffic stops are one of the most high risk situations police officers are involved in. I imagine traffic accidents are up there with it. The US also has a road rage problem topped off by never knowing who is armed or who keeps a revolver in the glove box
by butshouldyou | 2025-08-02 00:29:40+00:00
It's funny that you mention this because in my discussions on this subject (Svalboard, ergo keyboards in general) it's the first thing that numerous people have mentioned. The thing is, I'm the only person who's used my computer in many years.

I have a non-standard layout and keep a second (small wireless) keyboard around for exactly this reason but to date it hasn;t been needed.
by chmod775 | 2025-08-02 00:30:53+00:00
You're not going to iron out inefficiencies, fix bad leadership, and help them identify the correct course of action by indiscriminately applying fear to everyone. That's complete nonsense. The most likely outcome of that is people getting to use open source software from home - while searching for a new job at a company that wasn't stupid enough to give into that kind of pressure and go tits up. Every time you inflict another inefficiency upon a company, it's more likely they'll get out-competed by another that couldn't care less about your attempts to cancel and shame them on twitter.
by WarOnPrivacy | 2025-08-02 00:32:24+00:00
Science.org features analysis on how these latest USG PRs are constructed to deviate from science and reality.

Contrarian climate assessment from U.S. government draws swift pushback Researchers say DOE report cherry-picks data to downplay threat of greenhouse gases

https://www.science.org/content/article/contrarian-climate-a...
by freetinker | 2025-08-02 00:32:28+00:00
This, 100%. Look East (assuming a Western reference point) for copious evidence that supports this POV. Education is a means to an end, and the only way out of abject poverty (personal experience).

Studying the classics and poetry (arguably components of a well-rounded “liberal” education) is a privileged viewpoint. Hell, I wanted to study theoretical physics. But that would be like studying poetry. Engineering just seemed more practical. Now I earn more than a tenured professor of physics at a top university. Q.E.D.
by hn_throwaway_99 | 2025-08-02 00:33:14+00:00
In a modern tech company, all of those things you mention are virtually inconsequential compared to employee salaries.

But more importantly, layoffs are rarely just about cutting costs. They're often called "restructurings" because that is exactly what happens - usually whole departments or positions are let go when a company decides to exit business lines or make a significant change in direction.

Layoffs suck, but keeping folks around when there is basically no useful work for them to do isn't a solution either, it's just kicking the can down the road.
by ndiddy | 2025-08-02 00:33:50+00:00
If you're accusing them of lying on their report because it disagrees with the off-the-cuff remark you made about OTA TV being dead everywhere, then I'm not sure what I can do. I'm not a journalist. Personally I find it inspiring that New Mexico PBS has managed to become one of the most watched PBS stations in the country (often in the top 10 for prime-time viewership) when it serves the 37th most populous state, and feel that it's a great example of how public broadcasting is able to reach underserved communities.
by avidiax | 2025-08-02 00:34:50+00:00
That's true, but it doesn't help the customers.

In a large system, terminations (both planned and unplanned) happen all the time. For the unplanned ones, it is very difficult to ensure exactly once, at least from the perspective of the queueing service, who can't check that the processing of the message did or did not occur outside of the original connection and it's "acks".