MurphyA/hacker-news huggingface dataset:
by stusmall | 2025-06-03 15:21:33+00:00
I recently took some training on TLA+. I loved the concepts of it. It seems amazingly powerful for prototyping and proving out algorithms/architectures. A big concern of mine was testing models vs implementation and managing the drift. I talked to the instructor a bit about it and he actually pointed to what Mongo was doing as described in the article. There wasn't good off the shelf tooling available to make something similar work for us at our scale without major amount of work.

Where on the other hand, model based property testing gets us a lot of the benefits but drops in more easily. There are great proptest frameworks available in the language we use an the team is already experienced with then. TLA+ is much more exhaustive and powerful, but for the exact project I was looking at the additional cost couldn't be justified by the additional benefit.

I believe we still have some TLA+ work moving forward inside the company but for my product I couldn't justify it.
Show HN: I Built Xkema to Fix the Mess of Hardware Design Docs
by Nadssat | 2025-06-03 15:21:55+00:00
Hi HN, this is Carlos.

I'm a hardware engineer, and I built XKEMA to solve a problem that frustrated me from day one of my professional career:

The tools we use to design hardware haven't caught up with the rest of tech.

Most EDA/documentation tools feel like they were last touched in 1998. The interfaces are clunky, the learning curve steep—not because the domain is complex, but because the UX is an afterthought. You spend more time managing exports, hand-editing spreadsheets, syncing revisions, or deciphering tribal knowledge than doing actual design.

So I started building XKEMA: a minimal, web-based documentation platform focused on connecting all the artifacts of an electronic design in a coherent, navigable way.

What it does:

Link together schematics, BOMs, requirements, interface docs, and gerbers

Control document versions and trace changes

Store everything inside a custom component library (think personal Digi-Key or Mouser DB)

Attach specs, datasheets, notes, and link them to real designs

And all with a simple, modern interface (no Electron, no bloat)

I had zero experience in frontend or backend development when I started, but I taught myself Django, PostgreSQL, and modern frontend tools to bring this idea to life.

XKEMA is now a working MVP — it’s functional, but not perfect. There are rough edges, bugs, and plenty of things to improve.

I’m sharing it here to learn from people who actually design hardware. If any of you are willing to test it and share honest feedback (technical or UX-related), I’d truly appreciate it!!!

Tech stack: Django, MySQL, Bootstrap, Mailgun, HTML/CSS/JS.

This is a tool for small teams, freelancers, or even solo engineers who want to stop tracking everything in PDFs, emails, and spreadsheets.

Would love your thoughts. Brutal honesty welcome!!. Happy to answer anything, and thanks for reading :)
by Retric | 2025-06-03 15:22:17+00:00
> operational anti drone turret is not a thing yet.

I’ve read about a bunch of these systems even if they aren’t in widespread deployment some are still being tested in real world conditions.

What about: https://en.wikipedia.org/wiki/Silent_Hunter_(laser_weapon)

“The Silent Hunter has been used by Saudi Arabia to guard against Houthi drones and missiles.”

“During the World Defense Show in Riyadh the February 05, 2024, Poly Technologies announced the first hard-kill engagement of a one-way attack drone.[6]”
by saghm | 2025-06-03 15:23:08+00:00
The alternative is just only including info from registered businesses. If a third party provides info on an unregistered business, Google could reach out to the business to confirm and ask if they want to register. Unless they say yes, they can just not include it. Having a smaller set of correct information is better than a larger set of mixed correct and incorrect information is better for pretty much everyone...other than Google, of course.
by oliwarner | 2025-06-03 15:23:16+00:00
Occasions where I've written a meaningful amount of code, linearly and not refactored it a dozen times are probably in single digits in a 25 year career. Nobody gets it right first time, every time.

You could ask it to write you bad code and refactor a few times. But, honestly, manually copying that code over and over again is probably educational gold.
by tempfile | 2025-06-03 15:23:29+00:00
I have been thinking about this seriously myself. Not with a specific existing schema like DocBook, but with a custom schema (defined by me) that I then compile to standard schemas, like DocBook or HTML.

This seems extensible to the degree that I want (i.e. semantically rich enough that you can conceivably hang any application from it). But I just can't bring myself to write in XML syntax, especially for maths.
by naasking | 2025-06-03 15:23:49+00:00
You mean assuming technology improves, which it has for centuries and given there is considerable incentive for it to improve, is naive? Seems inevitable.

Do you think humans have achieved peak intelligence? If so, why, and if not, then why shouldn't you expect artificial forms of intelligence to improve up to and even surpass humans abilities at some point?

Edit: to clarify, I'm not necessarily assuming unbounded acceleration, but tools always start out middling, improvements accelerate as we figure out what works and what doesn't, and then they taper off. We're just starting on the acceleration curve for AI.
by MeetingsBrowser | 2025-06-03 15:24:09+00:00
This seems like it would only work if your product is targeting other founders as users.

> Our absolute first users came from our idea validation post on Reddit.

> It took us two weeks of daily action like this to reach our first 100 users.

Did you distinguish between people who tried it to give feedback and people actually using it?

> This was mainly in “Build in Public” but also in “Startup Community”

I've never been active in this type of community, but it seems like a self fulfilling prophecy.

Feels like a group of people agreeing to follow each other on social media so they can tell others they have X followers.
by masom | 2025-06-03 15:24:14+00:00
I remember NodeCopter and running OpenCV to control them years ago.

https://gist.github.com/andrew/2f81952f4867d1b200bb

The big difference is they can now run this on the copter instead of being remotely controlled; a 100$ raspberry pi has enough processing power for this, and so does several other off-the-shelf mini computers powered by lithium batteries.

Crazy times.
by seanhunter | 2025-06-03 15:24:48+00:00
But none of this is what he’s trying to do.

He wrote a book to go with his course in undergraduate real analysis. <= this does not contain HoTT because HoTT is not part of undergraduate real analysis

He’s making a companion to that book for lean <= so this also doesn’t contain HoTT.

Just like it doesn’t contain anything about raising partridges or doing skydiving, it doesn’t have anything about HoTT because that’s not what he’s trying to write a book about. He’s writing a lean companion to his analysis textbook. I get that you are interested in HoTT. If so you should probably get a book on it. This isn’t that book.

He is a working mathematician showing how a proof assistant can be used as part of accomplishing a very specific mainstream mathematical task (ie proving the foundational theorems of analysis). He's not trying to write something about the theoretical basis for proof assistants.
by glitchc | 2025-06-03 15:25:00+00:00
Lasers aren't effective. Most of the drone is just an empty frame. The control board is pretty tiny, as is the ordnance. Targeting those or the propulsion systems is quite difficult. Sure, you can punch holes in the chassis but it takes a lot of guesswork to hit something vital. It's the wrong weapon. Something with an area of effect, like a shotgun or a net is much better suited to stopping drones.
by cmeacham98 | 2025-06-03 15:26:03+00:00
I think you've missed the point. Even on systems where HTTPS is normally available an attacker in the middle can trivially cause their official installer script to download and run malware by just blocking a few HTTPS connections.

This is the DEFAULT fallback behavior in their installer - not something that only happens on legacy machines.

If I install a project from GitHub on the airport WiFi I'm assuming that the authors know what they're doing and I'm not potentially getting silently MITMed. And when I find out the authors don't know what they're doing to this extreme extent, I note down to never use their project.
by pzo | 2025-06-03 15:26:52+00:00
For some one who actually did mostly native mobile dev in last decade and haven't touched web since react this still looks kind of weird to me. It feel like glueing into the name SwiftUI and HTML and just feel very awkward to me. Can't explain but I feel a little repellent by such names - would prefer either trying to sick convention more to SwifUI or Flutter or Compose or stick to more HTML/Tailwind convention.

On the one hand I'm definitely more comfortable with python and wish I could use it fullstack on frontend as well rather than JS/CSS but on the other hand not sure if I like such abstraction.
Show HN: New NPM package: React Multistep Forms for customizable forms
by HanDev | 2025-06-03 15:26:58+00:00
I recently built and published an open-source React component library called react-multistep-forms.

It aims to make building multistep forms easier and more customizable, while being fully compatible with React Hook Form. The goal is to provide structure without being opinionated about UI — developers can bring their own components and validation rules.

Key features: • Progress indicators (bar, dot, dashed) • Step-by-step validation • Custom navigation controls • Minimal, readable codebase

It’s still in early development, but I’m using it in production and would appreciate any feedback, suggestions, or contributions. • NPM: https://www.npmjs.com/package/react-multistep-forms • GitHub: https://github.com/melikipeks/react-multistep-forms
by paddy_m | 2025-06-03 15:27:00+00:00
CAD Software. There is CAD vs CAD esports. https://www.youtube.com/live/C1CqIcfDKbQ?t=1987s It seems dominated by solidworks but other programs (NX, Fusion 360...?) are allowed.

The bloomberg terminal UI.

Some emacs setups. (much more variability than VIM)

Some VIM setups.

The thing that all of these have in common is that they are designed for experts, not for every user. Also each one of those is a custom full platform app (or primarily text based) vs web app.
by gibibit | 2025-06-03 15:27:06+00:00
I am always curious how different C programs decide how to manage memory.

In this case there are is a custom string library. Functions returned owned heap-allocated strings.

However, I think there's a problem where static strings are used interchangably with heap-allocated strings, such as in the function `string class_simple_name(string full)` ( https://github.com/neocanable/garlic/blob/72357ddbcffdb75641... )

Sometimes it returns a static string like `g_str_int` and sometimes a newly heap-allocated string, such as returned by `class_type_array_name(g_str_int, depth)`.

Callers have no way to properly release the memory allocated by this function.
by throwawaybob420 | 2025-06-03 15:27:12+00:00
Our modern education system in the US is broken, but acting as if AI is a scapegoat is comical.

Capitalism is what has destroyed higher education in this country. The concept of going to school to get a job isn’t a failure of education but of economics.

AI is just another capitalist tool made to not only extract wealth out of you but something that they want you to rely on more and more so they can charge you even more down the road.
by jauntywundrkind | 2025-06-03 15:27:27+00:00
That could also be useful for webserver etags too. Neat that the information is available! Just to admins only.

TIL that btrfs's checksums are per block, not per file. There's a dump-csum command, but doesn't seem likely to be very useful. https://unix.stackexchange.com/questions/191754/how-do-i-vie...
by _verandaguy | 2025-06-03 15:27:40+00:00
In this specific case, I agree that it was fine -- using drones with limited decision-making ability to strike targets like parked aircraft is okay, as long as there's an overwhelming likelihood of the drones not getting false positives from invalid targets.

My response was more aimed at the parent comment to my previous one, which seemed to paint delegating kill/no-kill decisions with a brush of "I don't know why this is such a big deal."
by YmiYugy | 2025-06-03 15:29:01+00:00
All the model providers have offerings that promise not to train on your code. Can you trust them not to do it anyway? Maybe not. What's the actual damage if they did? You have to balance the expected productivity loss from forgoing the use of these tools with the risk that comes from sharing your code with them. You may want to reevaluate that somewhat frequently. I think there is a tendency in some circles to be a little bit to precious with their code.
by throw8393494 | 2025-06-03 15:29:05+00:00
Is it possible to talk to coworkers? What if you voted for wrong party? Are closeted gay/trans/qeer? Radical femimist?! Or dog atrack survivor, and they really _REALLY_ like dogs!

Talking to colleagues at work is a chore, and huge risk! Not opportunity! At least AI respects my privacy, and will not get my fired!
by Nasrudith | 2025-06-03 15:29:09+00:00
I must disagree. Sharing your edge is the wisest possible thing you can do on a societal level. For a slightly silly idea would it be better to have say, everyone doing guesswork knots for how to tie their shoes vs a single reliable 'rabbit ears' technique? Then you can see the benefits to having edges widely shared as a norm. That is the foundation of how society can learn.
by johnisgood | 2025-06-03 15:29:14+00:00
You do not have to be as accurate or that specific, you do not have to worry about the way you word or organize things, the LLM can figure it out, as opposed to a blog post.

So "To some people the process leading to a finished project is the most interesting thing about posts like these." is bullshit, that is said by someone who has never used LLM properly. You can achieve it with LLMs. You definitely can, I know, I did, accurately (I double checked).

I will throw it out here, too: https://news.ycombinator.com/item?id=44163063 (My AI skeptic friends are all nuts)
by bfeynman | 2025-06-03 15:29:18+00:00
what? you have a multitenant system with isolation between users not within a user. OpenAI has literally been working on "memory" and context across everything you have done, they obviously are storing and retrieving recent context. I see no indication in this at all that they are using browser or local storage for anything, because we know they run other models to summarize and extract info from context. Likely you could turn it off if thats configurable yet.
by naasking | 2025-06-03 15:31:13+00:00
> But English is a subjective and fuzzy language, and the AI typically can't intuit the more subtle points of what you need.

I disagree on the "can't". LLMs seem no better or worse than humans at making assumptions when given a description of needs, which shouldn't be surprising since they infer such things from examples of humans doing the same thing. In principle, there's nothing preventing a targeted programming system from asking clarifying questions.

> In my experience a model's output always needs further prompting.

Yes, and the early days of all tooling were crude. Don't underestimate the march of progress.
by energy123 | 2025-06-03 15:31:52+00:00
It's not trickle down economics because social democracy is not trickle down economics. Industrial policy is not trickle down economics. Increasing taxes on the wealthy is not trickle down economics. Funding public goods is not trickle down economics. Taxing externalities is not trickle down economics. Subsidizing supply is not trickle down economics. This is the problem with the leftist worldview where everything is either "neoliberalism" or "not neoliberal ism". It's an overly coarse worldview that doesn't facilitate useful analysis, it impedes your ability to disambiguate between different things. If you think cutting bad regulations as part of the policy mix is by definition Reaganite and therefore bad, then you really need to reevaluate things because not all regulations are good by virtue of them being regulations!

"But leftism isn't about social issues directly. It's economics."

I am talking about people like self styled socialist Dean Preston (the guy you linked, who is a NIMBY that made California's housing crisis worse) or the various Greens parties across the anglosphere who occupy the leftmost end of the political electorate. Whether we label them as leftists or not isn't a hill I'm going to die on. The point is that the leftmost end of the spectrum are more likely to be NIMBYs and have some very wacky and economically illiterate ideas about housing policy than the center left. And I'm someone who supports social housing as part of the mix like what Carney is planning for Canada.
by sreekanth850 | 2025-06-03 15:32:01+00:00
We have multi-layered low signature and passive drone detection system, including radar, radio frequency (RF)-based systems, electro-optical sensors, IR, and video tracking. We also have Thermal imaging for all weather use. And all are integrated into a single command and control system. These upgraded Old school system proved to be worthy to shot down more than 500 turkish drones sent by Pak.
by JadeNB | 2025-06-03 15:32:13+00:00
> They can’t be fired, but if they stop bringing in grants, they can face steep pay cuts and lab closure.

This describes the situation of tenured faculty (who are definitely who I had in mind when I referred to splashy big names), but universities have long been moving to a model with as few tenured or tenurable faculty as possible, where some instructors are full time but non-tenure-track, and others are part time (and so, for example, don't have to be paid benefits). At my university these are called lecturers and adjuncts, but other names exist. Both jobs involve renewable contracts (of different lengths), so they need not even be fired, just not have their contracts renewed.
by cosmic_cheese | 2025-06-03 15:33:49+00:00
Possible, but potentially not as practical due to the iOS’ restrictive background process model. There, background tasks are generally expected to quickly do whatever it is they need to and exit and generally can’t run indefinitely. Periodic tasks are scheduled by the OS, with scheduling requests from apps being more likely to be honored if their processes are well-behaved (quick, low resource, don’t crash, and don’t run too frequently) with badly-behaved processes getting run less often.

Apps that keep themselves open by reporting that they’re playing audio might be able to work around this, but it’d still be spotty since users frequently play media which would suspended those backgrounded apps and eventually bump them out of memory.
by ARandumGuy | 2025-06-03 15:33:53+00:00
I guess it depends on how you define "using google", but as I've progressed as a developer, I've found myself spending less time googling problems, and more time just looking at official documentation (maybe GitHub issues if I'm doing something weird). And yeah, I guess I technically use google to get to the documentation instead of typing in the URL, but that feels like splitting hairs.

And it's not like people weren't able to develop complicated software before the internet. They just had big documentation books that cost money and could get dated quickly. To be clear, having that same info a quick google search away is an improvement, and I'm not going to stop using google while it's available to me. But that doesn't mean we'd all be screwed if google stopped existing tomorrow.
by neocanable | 2025-06-03 15:34:50+00:00
In multi-threaded mode, each thread will create a separate memory pool. If in single-threaded mode, a global memory pool is used. You can refer to https://github.com/neocanable/garlic/blob/72357ddbcffdb75641.... The x_alloc and x_alloc_in in it indicate where the memory is allocated. When each task ends, the memory allocated in the memory pool is released, and the cycle repeats.
by bee_rider | 2025-06-03 15:35:20+00:00
I wonder if it will be fun.

The open world Zelda game kinda made sense to me because those games have always been pretty open. You could always wander around. When I was a kid, I played Ocarina of Time as an open world game, I just wandered around and made up the NPC interactions in my head. And the 2D entries in the series had pretty big worlds.

Anyway, it’ll be interesting to see if the trick can repeat outside that context. The open world Pokemon was pretty bad, but that series has been resting on its laurels for longer than most of the players have been alive.
by MHM5000 | 2025-06-03 15:35:29+00:00
Location: Tehran, Iran (UTC +03:30)

Remote: Yes — fully distributed (comfortable with EU/ME overlap, partial US overlap)

Relocate: No

Primary stack: Python, Django + Django REST Framework, Viewflow-Pro, FastAPI, Celery/RQ, WebSockets, PostgreSQL/MySQL, Redis, Apache & Nginx, Docker, AWS (S3, Lambda), Ansible

Front-end: React (+ Next.js, Vite), Vue 3 (+ Pinia), TypeScript, WebAssembly (Pyodide, tglib), Tailwind, HTML5/CSS

Extras: Payment-gateway integrations, high-scale SaaS architecture, multitenant Django, Sentry, GraphQL, Streamlit, WordPress, jQuery (legacy rescue)

Résumé / Portfolio: https://www.linkedin.com/in/mojtahedi/

Email: mhm5000 + hn [at] gmail [dot] com

⸻

What I’m looking for:

• Roles: Senior / Staff Backend, Senior Full-Stack, or Tech-Lead positions

• Domains: FinTech, developer tools, data platforms, B2B SaaS, or any product-centric company that values craft, autonomy, and rapid iteration

• Engagement: Long-term, direct hire or contract-to-hire with meaningful equity; I enjoy building products and teams, not just features

Why me:

• Designed & scaled a payment platform serving 1000+ merchants and processing billions of USD in the last 4.5 years.

• Habitual refactorer: cut 700 Django migrations to <200, shaved 60 % off deploy times, and drove P99 API latency below 150 ms

• Clear, async-first communicator; fluent in English & Persian

• Enjoy mentoring, code reviews, and turning business specs into maintainable architecture

If you need a senior engineer who can own a codebase, level-up the team, and ship reliably, let’s talk.
by Pet_Ant | 2025-06-03 15:35:53+00:00
The commenter (rightly or wrongly) is -I think- suggesting that assignments etc should be from the outset be designed to be accessible in their original form for everyone, and not just "okay, this works for 90% of people, lets worry about the rest separately".

An example I have personally is when designing board games I now have internalised to never just use colour to communicate anything. Never solid colour which can be difficult to determine by the colour-blind, but different colours have different stripes or patterns embedded in them. So if you can't see the colour, you can recognise the stripe spacing, if you can't see the stripe spacing due to low visual-acuity, you can see the colour... and ideally different textures for the blind. (not pratical as it would wear off in the shuffling, but the idea is there).
by conradev | 2025-06-03 15:36:02+00:00
I’m learning live how to use these things better, and I haven’t seen practical guides like:

- Split things into small files, today’s model harnesses struggle with massive files

- Write lots of tests. When the language model messes up the code (it will), it can use the tests to climb out. Tests are the best way to communicate behavior.

- Write guides and documentation for complex tasks in complex codebases. Use a language model for the first pass if you’re too lazy. Useful for both humans and LLMs

It’s really: make your codebase welcoming for junior engineers