MurphyA/hacker-news huggingface dataset:
by bon-cdp | 2025-11-11 02:25:44+00:00
Overall you are so right to be skeptical. This is something I'm actively working on and just wanted to share the idea as I validate (sorry if that's wrong)

The crypto thing (trustdog) was just a hackathon thing i recently did (which originally was supposed to be a stripe product but they restrict escrow) and i work on other stuff a lot so i dont always have time to update the personal site.

its more of an idea with some experiment (which you can see and run yourself!) and not a "paper".

I made my first contribution to google/HEIR that got pulled the other week, but there is a lot of self activity because I do this for fun! im a mechanical engineer by profession.

I dont mind if no one believes it. Just wanted to share something I thought was cool. Didn't mean to offend anyone in any way.
by garciansmith | 2025-11-11 02:25:48+00:00
Yes, I'd love more custom keyboards with a trackpoints. There are the Tex ones, but that's pretty much it. And there are many layouts these days that would easily allow for one to fit and still be able to use keycap sets that don't need to have specialized keys carved out of them like the Tex boards. Every time I see an Alice layout I just dream about a nubbin stuck in the open space between the G and the H.
Show HN: Typesafe async friendly unopinionated enhancements to SQLAlchemy Core
by sayanarijit | 2025-11-11 02:25:51+00:00
## Why?

- ORMs are magical, but it's not always a feature. Sometimes, we crave for familiar.

- SQLAlchemy Core is powerful but `table.c.column` breaks static type checking and has runtime overhead. This library provides a better way to define tables while keeping all of SQLAlchemy's flexibility. See Table Factory.

- The idea of sessions can feel too magical and opinionated. This library removes the magic and opinions and takes you to back to familiar transactions's territory, providing multiple un-opinionated APIs to deal with it. See Wrappers and Decorators.

## Demos:

- https://github.com/sayanarijit/fastapi-sqla-fancy-core-examp...
by munchler | 2025-11-11 02:26:35+00:00
> Instead of writing the type directly, we're calling pickType and using the type returned. The typechecker evaluates pickType True at compile time, sees it equals Nat, and then it knows you're saying myNat has type Nat.

But how does the compiler evaluate `pickType True` at compile time? Does the typechecker contain an interpreter for (some subset of) the language? It seems potentially circular for a compiler to invoke functions defined in the code that it's compiling.
by leptons | 2025-11-11 02:27:10+00:00
>In my mind personal privacy should be a higher right than some random person today feeling like they need to record my faux pas. But your law is your law.

You are being recorded by the government, constantly in public. There is no reasonable expectation of privacy in public. If you're going to be disturbed that someone recorded you tripping over a rock, then that's your problem, not the problem of some random camera in the area.

The only time where permission is required is if the photo or video is used for commercial purposes - like a tv show or movie or an ad campaign, etc. Then the person filming must get a signed release to use the images.

>The videos sound I bit like public place means any where you can just walk in.

Generally, yes.

>Does that mean you really need a fence, to say that something is not public?

Not a fence, just a "no trespassing" sign is enough if it's a private property. But you are allowed to walk up to any home's door and knock on the door, even while recording. If they tell you to leave, you must leave.

If it's public land, then a fence is likely necessary, with a sign posted that it is a restricted area. For example, if it's an unfenced parking lot at a public facility, and there is no "restricted" sign posted, you can walk around and take photos of all the cars, even inside the cars since it's essentially within public view from a non-restricted area.
by socalgal2 | 2025-11-11 02:27:17+00:00
just to add to the chorus, I'm switching to jj as well. I haven't started using it in every project but it's only a matter of time I think.

That said, I do which for a more jj aware GUI. For one, it's nice to be able to quickly see diffs across a bunch of changes. I use gg for this but I'd prefer a side-by-side diff and, ATM it only has a traditional diff.

Also, watching the video of git butler, it seems like a jj UI could take a lot of inspiration. I'd love to be able to just drag changes rather than `jj rebase ...` and/or drag selections of lines.

I'd also like a nicer GUI for interactive splitting/rebasing than the TUI UI built into jj
by zepan | 2025-11-11 02:27:42+00:00
It is a Trojan false alarm, introduce by "pyinstaller" The software is opensource, feel free to review/compile it: https://github.com/sipeed/MetaSense-ComTool https://github.com/Neutree/COMTool/issues/40 https://github.com/pyinstaller/pyinstaller/issues/4852
by nradov | 2025-11-11 02:27:42+00:00
Get it in writing and check the fine print. A recruiter might lie but an enlistment contract is exactly that: a legally enforceable agreement. If the contract guarantees a particular MOS and the recruit doesn't get it for whatever reason then they have the option to take a discharge instead of being reclassed.

Even without a written guarantee, in volunteer forces the senior officers will generally get rid of new recruits who decide they don't want to be there instead of forcing them into a different job. Especially for the combat jobs where even training can be deadly. Better to give them discharge papers and GTFO rather than wasting money training someone who's going to be a poor performer with constant morale and discipline problems.

(Of course if there's ever another world war and conscription is reinstated then the rules will go out the window. But that's not what we're discussing here.)
by pavelai | 2025-11-11 02:27:54+00:00
You can do a blog about retro programming to find clients which have your stack. I read about group of developers who were writing in Cobol in 2010s. Because this software were in use and still in use somewhere. The guy who wrote about it was a developer with decades of experience, but no one wanted hire him because of the age. Then he found other developers in the same situation and run a company to support software written in outdated languages

You can write old-styled software for those who have nostalgic feelings about good old times, or support solutions written for old platforms. Instead of been thinking about it as of trash, think about it as it is retro
by thfuran | 2025-11-11 02:28:03+00:00
There were then and still are now constitutional rights afforded to natural persons but not juridical persons. There is not some inability to distinguish the two. Look at the ruling that Citizens United overturned: https://en.wikipedia.org/wiki/Austin_v._Michigan_Chamber_of_.... It was very clear that it's fine (and necessary) to restrict corporations in some ways precisely because they are not people.

Perhaps the argument of Citizens United wouldn't have been made if we instead used the terms "Human Shmerg" and "Legal Shmerg", but exactly the same argument could apply to shmergness as to personhood when discussing the rights afforded to shmergs of one kind or another, and the conservatives in the US really want to deregulate everything.
by drdeca | 2025-11-11 02:28:25+00:00
The Heisenberg uncertainty principle says that in no state is the product of the standard deviations of what would be measured if you measured position, and what would be measured if you measured momentum, less than hbar or hbar/2 or something like that (I forget the exact constant. It is on the order of hbar.).

As such, if the position uncertainty isn't infinite, the momentum uncertainty is nonzero.
by at_compile_time | 2025-11-11 02:28:25+00:00
I hadn't heard of ATS before, and I think that I mistook your using it as an example of "more isn't always better" and thought you were suggesting it as an actual alternative.

I'm looking for the next thing I want to learn, and have been leaning towards logic programming and theorem provers, so you inadvertently piqued my interest.
by spacechild1 | 2025-11-11 02:28:28+00:00
The post gave the example of casting a float to an int. That is a (type) conversion.

The point is that certain casts/type conversions can change the underlying data.

> like the int with value 3 landing in memory after calling atoi("3").

That's something else entirely. People may colloquially call this "converting a string to an integer", but what we're realling doing here is parsing a string as an integer.
by LeroyRaz | 2025-11-11 02:29:44+00:00
Be careful. The models easily hallucinate problems and misdiagnose. For example, I had an issue with some GPU code, and it assured me, with utter conviction that my problem was caused by some subtle race condition ('a known issue') that the model described in great when the real issue was just a trivial typo - no race condition, no subtly or complexity.
by SabrinaJewson | 2025-11-11 02:29:48+00:00
In type theory, all singleton types are isomorphic and have no useful distinguishing characteristics (indeed, this is true of all types of the same cardinality – and even then, comparing cardinalities is always undecidable and thus irrelevant at runtime). So your Nine type doesn’t really make sense, because you may as well just write Unit. In general, there is no amount of introspection into the “internal structure” of a type offered; even though parametricity does not hold in general (unless you postulate anticlassical axioms), all your functions that can run at runtime are required to be parametric.
by keeda | 2025-11-11 02:31:06+00:00
I'm not actually recommending anything. (Edited to add: I can totally see how unchecked immigration can be disruptive.) I'm saying that looking back, there is a credible theory along with evidence that increased immigration helped boost the US economy and maybe even manage inflation. That seems to be an insufficiently discussed aspect.

I'm not at all familiar with Canada, but a Google AI overview for "canada housing affordability crisis due to immigration" suggests that immigration is one of the smaller factors (11%?) in driving house prices up. The citations include these:

https://www.canada.ca/en/immigration-refugees-citizenship/co...

https://www.torontomu.ca/diversity/news-events/2025/07/immig... (Probably the study referenced above.)

As an aside, as a resident of the Bay Area where the housing market is probably the most twisted of them all, I would kill to find a $800K home!!
by kelseydh | 2025-11-11 02:31:14+00:00
We didn't rule out using Tigerbeetle, but the drop in non-batch performance was disappointing and a reason we haven't prioritised switching our transaction ledger from PostgreSQL to Tigerbeetle.

There was also poor Ruby support for Tigerbeetle at the time, but that has improved recently and there is now a (3rd party) Ruby client: https://github.com/antstorm/tigerbeetle-ruby/
by eqvinox | 2025-11-11 02:32:25+00:00
I specifically don't use smartphone boarding passes when travelling (on full service airlines, mostly LH group), just so they get the statistic of me using paper. (The barcode has an 'issue type' field, it's a single character and generally the only difference between digital QR and paper PDF417 contents.)

(I collect paper boarding passes and want them to stay ;)
by AnimalMuppet | 2025-11-11 02:33:04+00:00
Gas isn't a continuous medium, either; it's made up of particles. (Not even true particles, either, and sometimes that matters.) We can still create equations for sound waves, though.

Now, sure, humans are more complicated than gas molecules, and have an element of choice in what they do. But in bulk, they still behave in ways that can be modeled mathematically - perhaps not perfectly, but enough that it can still give some actual insight.
by MichaelZuo | 2025-11-11 02:33:16+00:00
A 25-30 year old man with all the accumulated wisdom and life experiences of a 95 year old highly successful man… would literally have opportunities worth many trillions of dollars?

Because they would literally be multiple times better than the next most competent person on Earth of a similar age, and literally dozens of times better than even the median unicorn founder.

So it seems like a given that the relatively paltry sum that Berskhire controls would be insignificant in comparison.
by irjustin | 2025-11-11 02:33:48+00:00
> Heisenberg says the more accurately you measure one property, the less accurately you can measure a second [related] property.

mmm you've redescribed what the parent post was saying.

Heisenberg's principal is about the _knowability_ and not the measurement. So it's fundamental regardless of whether you measure it or not.

This is why it's impossible to cool something to absolute zero. Because fundamentally, it's position is becoming knowable, so it gains momentum, regardless if it's being measured or not.
by Maxatar | 2025-11-11 02:33:51+00:00
Yes, the compiler contains an interpreter for the entire language, not just a subset. It is circular as you rightly point out, but there's no contradiction here.

Typically the interpreter limits itself to only evaluating pure functions or functions that do not perform any kind of IO, but in principle this restriction is not necessary. For example Jai's compiler allows completely arbitrary execution at compile time including even downloading arbitrary data from the Internet and using that data to make decisions about how to compile code.
by tombert | 2025-11-11 02:33:55+00:00
I know a lot of devs hate on Perforce (and I am no exception), but I've grown to actually really like p4merge (the Perforce merge tool) for handling conflicts.

It's a bit of an odd one, and it has a bit of a learning curve, but it's free (as in beer), relatively easy to install, and seems to work well for me. I haven't found a FOSS tool that I like as much yet.
by vannevar | 2025-11-11 02:35:40+00:00
"All models are wrong; but some are useful." - George Box

Even particles aren't actually particles, nor spin states actually spin states. The map is not the territory. Physics models are only useful (and "correct") to the extent that they make successful predictions. If the adaptation of these principles to social communication yields useful predictions, then however inaccurate they may be in reproducing the exact nature of what they model, they are nonetheless useful and therefore worthwhile. FTA: "In summary, we review both empirical findings based on massive data analytics and theoretical advances, highlighting the valuable insights obtained from physics-based efforts to investigate these phenomena of high societal impact."
by joshuamorton | 2025-11-11 02:36:03+00:00
> we don’t use the repeated inflammatory “kidnappings” of our concern is merely detainees treatment.

No, but we do use it for otherwise unlawful stops without probable cause that lead to people being put in detention facilities that don't have water or food.

> like any issue in democracy, that means the Democrats are the party that needs to change minds.

This is not the argument you just made. You were (and are) arguing for collaboration. That's not "changing minds". In my opinion, being loud and not collaborating with federal forces, to make them engage in violence themselves is very effective at changing minds, as we see with cratering public support for these kinds of things.

I admit I can't quite follow what your philosophy seems to be here, at best I could summarize what I've seen as "Republican immigration policy is bad and has grown more unconscionable but I actively support it because Democrats didn't fix it already", but that seems weird.
by LeroyRaz | 2025-11-11 02:36:16+00:00
I don't think things get better over time. What is your source for that? Here's an article (with sources) describing a massive down trend in literacy and reading comprehension: https://jmarriott.substack.com/p/the-dawn-of-the-post-litera...

In short, college students nowdays have lower reading comprehension than young children in the 1850s. That is not what I would call progress.

Speaking personally, I believe I would potentially have significantly worse critical reasoning abilities if I had grown up using LLMs. It is very clear to me the temptation of using them as an ersatz for engagement and thought.

I think you are perhaps conflating technological progress (yes technology has improved) with demographic progress. Demographic progress is far from monotonically increasing (reading comprehension is newly plummeting, maths scores are dropping in America, science per scientist is stalling compared to 50 years ago, etc...)
by itopaloglu83 | 2025-11-11 02:37:19+00:00
Let’s start with the things we agree and then I’m going to voice my concerns.

We do need a lot more frequencies to be opened up both for personal and professional use. New technologies, dynamic long and short range connections etc.

We also need to enforce frequency usage as well so that a neighbor of ours doesn’t block the entire 2.4GHz for the entire block with his access points blasting at full power.

Here’s the problem, 6GHz already became a WiFi standard and these cellular companies are lobbying to retroactively change the frequency allocation for themself because they think they can use it better and more importantly all the research and development is already done and they don’t want to waste money developing new technologies there.

But why? Why would we do all the research and development with public fund and then allocate the frequency bands to cellular companies and let them charge people $100+ per month and have 40%+ profit margins while increasing their prices over 60% since 2020.

Hypothetically speaking just a small fraction of that money can be used to put fiber internet all over the place with tons of 6GHz access points and let everyone have free internet.

The cellular companies are late to the game here so they can have a small section of the 6GHz or some of the 7GHz can be opened up but there’s no reason for 6GHz to be retroactively given to them because they lobbied for their own benefits.
by EMM_386 | 2025-11-11 02:37:26+00:00
VS Code is free, cross-platform, many people already use it, and has a very good GUI interface for git.

It can easily do all the common workflows.

I mainly use the CLI but if I already have a project open in VS Code I'll just do it in the GUI because it's actually faster in many cases and sometimes a bit more intuitive.
by JustExAWS | 2025-11-11 02:37:37+00:00
Unpopular opinion: lie

First you learn the technology stack you want to go into really well on the side. Get to the point where you can explain the intricacies of how you “used the tech” (even though you didn’t) to the point where when someone ask you deep details of what you did on your job, what tradeoffs you made and what you like don’t like about the technology you can explain it.

I would have no ethical qualms about doing whatever is necessary to get a job in today’s environment.

Now is far certifications? They are meaningless and no one takes them seriously. They are multiple choice tests that any idiot can pass by memorizing a few concepts from ACloudGuru. Interviewers don’t take them seriously at all as far as having competence.

I have 7 active AWS Certs and at one point had 9 out of the then 11. I got my first one without ever logging into the AWS console and my next 4 within the first 6 months. They were never about getting a job. They served as a guided learning path to help me know what I didn’t know as I became the defacto cloud architect at a startup.

Not even AWS Professional Services (former employee) the internal cloud consulting arm at AWS cares about certification as a hiring criteria.

I now work as a staff cloud consultant specializing in app dev + cloud working full time at a 3rd party cloud consulting company. I got my start on AWS dealing with migrating from .Net Framework to .net Core on AWS at the startup.

No one is going to hire you because you studied MLOps on the side doing toy projects when there are plenty of people with real world experience looking for jobs.

Your other bet is working for a company that has a mixture of .Net framework and they are moving to .NET Core and other modern tech and then volunteer to work on more modern tech at your new job.
by ashdksnndck | 2025-11-11 02:38:49+00:00
Can you be more specific? What would it mean for the New York Times (the corporation) not to be protected by the first amendment? The government can sue the New York Times Company for what it prints as long as the government doesn’t prosecute the humans who work there?

The existence of corporate personhood has been settled law in the United States for over a hundred years, and all nine current Supreme Court justices agree with it. There’s controversy on exactly where it applies, with cases defining the boundaries of what rights corporate persons have. I don’t think the example I’m giving here is likely to be contentious.
by dietr1ch | 2025-11-11 02:39:13+00:00
It seems there's great OCR available on Apple platforms, but to me it seems that we are giving ourselves a problem by properly attaching metadata where necessary.

I honestly thought this was going to be solved in the 2010s with the rise of comic-like memes, but we just kept sharing images with ever increasing compression artifacts as things were shared around and used to create new memes.
by muppetman | 2025-11-11 02:40:57+00:00
100% this. I fully disagree with the post - screenshots show context/colour/formatting etc that often doesn't even translate properly if you DO try to paste it into some IM or other "text swapping" application.

Sure, if you want someone to reproduce the text of course you'd send them actual text. But to show a problem, a picture is, as they say, worth 1000 words.
by pests | 2025-11-11 02:41:09+00:00
> It feels like screenshots have become the de facto common denominator in our mobile computing era,

Google/Apple have taken notice. Both have recently redone their full-screen post-screenshot UI to include AI insights / automatic product searches / direct chat with Gemini/LLM / etc.

Its true everyone uses screenshots to save things they are interested in or want to look up / search more of / save for reason and this UI is the perfect place to insert themselves.
by harry8 | 2025-11-11 02:41:34+00:00
>It almost feels as if the US need(s|ed) to be a bit more involved in the Ukraine war in order to keep their finger on the pulse of how conflicts are...

This grates a little after the utter debacle of Afghanistan, Iraq, Libya ...

I'd go 180 degrees the other way. The US needs to be less involved so it can focus on the cancerous legal corruption of all the rackets. Without dealing with that the wrong things will always be built for the wrong reasons at huge cost.
by queenkjuul | 2025-11-11 02:42:38+00:00
I've put far more time than i should have trying to get AI to successfully complete tasks of varying sizes in our codebase at work. It simply cannot do things reliably and adequately when working in a large codebase. It lacks sufficient context, it ignores established conventions, worst of all, it often ignores instructions (endless unnecessary comments being my personal biggest peeve).

So i think i have, in fact, tried my best to use it.

It's great for little tiny things. Give me a one-off script to transform some command's output, translate some code from Python to Typescript, write individual unit tests for individual functions. But none of that is transforming how i do my job, it's saving me minutes, not hours.

Nobody at my company is getting serious quantities of programming done with AI, either, and not for lack of trying. I've never been one to claim it's useless, just that it's usefulness (i.e. "how much is getting done") is drastically overblown.