MurphyA/hacker-news huggingface dataset:
by nukifw | 2025-08-20 14:19:53+00:00
Nop, for the moment, we try to not "infer user usages"! But if you extract an expression with variable, there will be, obviously, not be repeated:

let tau = let pi = 3.14 in pi + pi

if we extract `pi + pi` it will lead (if you do not give any concrete name) to the following code:

let fun_name1 pi = pi + pi let tau = let pi = 3.14 in fun_name1 pi
by bmitc | 2025-08-20 14:20:02+00:00
> Apes do have opposable thumbs.

Apes are also not whales.

> that we can recognize

And there we go. That's an us problem and not a them problem.

> but their curiosity and capacity for communication stops at immediate needs like hunger and danger.

There are several interviews with native tribes who still practice hunting and gathering and that's the exact thing they worry about. Those humans are identical to us. But by your argument, "civilized" humans are more exceptional than these groups of humans?

Humans still have these basic needs and worries and thoughts. Just because we layer meta-societal pieces on top of that doesn't make them go away.

What makes humans different is technology. That does not make us different in an inherently exceptional way.
by srean | 2025-08-20 14:20:17+00:00
These used to be super important in early oceanic navigation. It is easier to maintain a constant bearing throughout the voyage. So that's the plan sailors would try to stick close to. These led to let loxodromic curves or rhumb lines.

https://en.m.wikipedia.org/wiki/Rhumb_line

Mercator maps made it easier to compute what that bearing ought to be.

https://en.m.wikipedia.org/wiki/Mercator_projection

This configuration is a mathematical gift that keeps giving. Look at it side on in a polar projection you get a logarithmic spiral. Look at it side on you get a wave packet. It's mathematics is so interesting that Erdos had to have a go at it [0]

On a meta note, today seems spherical geometry day on HN.

https://news.ycombinator.com/item?id=44956297

https://news.ycombinator.com/item?id=44939456

https://news.ycombinator.com/item?id=44938622

[0] Spiraling the Earth with C. G. J. Jacobi. Paul Erdös

https://pubs.aip.org/aapt/ajp/article-abstract/68/10/888/105...
by delfinom | 2025-08-20 14:20:27+00:00
God, I had to deal with a junior we hired that wanted and attempt to SPA all the forms on a intranet application form.

I struggled to explain I would now have to spend 4 hours updating dependencies, maintaining a node js pipeline and dealing with typescript all because you couldn't handle adding a new fucking single form input to a form with only 3 existing inputs, which would have taken only 3 lines of code between the HTML and C#. The cake was this is an intranet app where the entire form only gets used a few times a year at best.
by techpineapple | 2025-08-20 14:20:57+00:00
Statistically, yes, emotionally? No. Like there are hands at poker it is logical to go all in on, that one would probably not go all in on if your life was at stake. You can theoretically always rebuild a bank roll.

But because it’s all numbers, books have been written about poker to help people intuitively understand what the odds mean, and how to play the odds over a game/career. Have similar books been written about medicine?

I actually disagree with you, yes, the numbers are the same, but the game theory is completely different.
by behnamoh | 2025-08-20 14:21:00+00:00
> abstract away vendor specific details

Sounds good on paper but unfortunately I've had numerous issues with these "abstractors". For example, PyTorch had serious problems on Apple Silicon even though technically it should "just work" by hiding the implementation details.

In reality, what ends up happening is that some features in JAX, PyTorch, etc. are designed with CUDA in mind, and Apple Silicon is an afterthought.
by firefax | 2025-08-20 14:21:42+00:00
What specifically about your personality even came out during the interview? Like, did they ask where you like to walk your dog and you said you have a cat? Give us some details.

I've had the opposite problem -- folks would like me as a person, but point to things to beef up on my CV so they could hire me. (Eg: I used to really have an aversion to programming, which is more common than you'd think in pentesting, and now I can point to several languages and small projects/tools I've done.)
by palmfacehn | 2025-08-20 14:21:47+00:00
> vaccines are safe and effective.

Obviously there are more critical arguments, but as I said at the top, this isn't the place for a reasonable discussion on that front. Even if it were, there's nothing novel to say. Anyone interested in going deep into the issue has had about 5 years to form their own opinions.

>>From that point it shouldn't be difficult to empathize with the skeptics.

Fail.
by echelon | 2025-08-20 14:21:56+00:00
The problem is that the market has a few clear market leaders that have dominated the field. Every other player is fighting for scraps.

It's almost impossible to compete with Apple and Google. Samsung is managing to hang on, but not many others can.

I think the level of software control that Apple and Google wield alone is cause for regulatory scrutiny and possible antitrust action. Maybe something like that can oxygenate the field for better competition.

Smartphones shouldn't be this stagnant. It should be a highly competitive market. But it isn't.
by billy99k | 2025-08-20 14:22:00+00:00
I've seen multiple posts from 'bobdahacker'. What you are doing here isn't difficult and in many instances, illegal (although the site in India probably wouldn't bother pressing charges). I'm in the security industry and the amount of red tape around testing and disclosure is insane.

I also would never hire you, if this is your goal. You are irresponsible for publicly disclosing these vulnerabilities that obviously haven't been fixed. Actual Hackers are now going be more likely to steal information and worse to innocent people, using the platform.

As I've always said, Hacktivists are just authoritarians with no power. You didn't get what you wanted and don't care about the innocent people affected by your actions.
by nancyminusone | 2025-08-20 14:22:08+00:00
Ancient Greek is also important to our human past. So are the other hundreds of dead languages. Nobody would disagree that someone should know how to read them, but few argue that every single person should be fluent in them.

If all should fail, we'll just pick it back up, just like we have before with those things. Until then, they will remain dead to most.
by lo_zamoyski | 2025-08-20 14:23:37+00:00
The first distinction to emphasize is between moral principle and the practical.

Pornography is not free speech or free expression, unless you assume a totally unhinged and nihilistic/libertarian view of these terms to mean "anything goes". Pornography is morally reprehensible in every imaginable way, and it is the source of too many social and personal ills to list. It destroys human relationships, ruins a person's ability to relate to others in a healthy and respectful way, cultivates habits that cripple intellectual function, involves the mistreatment and abuse of women in the industry, contributes to infertility, stunts moral development and psychological health, the list goes on. There is no real argument for porn, only boring skeptical rationalization and relativist sophistry, and a list of reasons of why it is a bad thing.

That covers principle. What about policy? Here is where questions of implementation are relevant. The fallacy we must avoid is the false implication that if a particular way of containing, reducing, or eliminating porn is impractical, then all means are impractical. (I have given here a general principle that should guide policy. It may very well be the case that the tactics proposed won't "ruin the internet", even if they may shape the internet in ways that opponents don't like. Porn is so odious, that we may need to entertain certain restrictions that bleed into other areas.)

FWIW, I think a more aggressive, categorical assault on the production and distribution of pornography is more sensible. The internet is a medium of delivery, not a producer of pornography, so existing laws criminalizing the distribution or other objectionable content could be expanded to include pornography. Targeting producers, whether corporate or private individuals, is arguably the most fruitful tactic, with the secondary result that there will be less porn being distributed. And we mustn't ignore the chilling effect that criminalization has on attitudes. It is not true that the only laws worth making are those that can be enforced. A law is a kind of declaration of expectations that has the power to shape social norms. Simply knowing something is illegal has a psychological and social effect. It gives the conscience a signal, or at threat to motivate the morally unscrupulous, and it provides a tangible basis for establishing social sentiment and stigmas. There is a social stigma attached to being a criminal, and so by criminalizing porn, you receive a clear social sanction to classify those involved in porn as criminals and therefore worthy of being ostracized. It won't prevent all pornographic activity, but it will create an environment that will reduce its presence and shape attitudes toward it.
by obvious_sock | 2025-08-20 14:24:28+00:00
Republicans are at the top and good at messaging to the bottom (but they rarely actually help the bottom).

Democrats are just bad all around, bad at messaging and bad at achieving things, but at least they mostly don't make things worse, and people with enough time invested in understanding politics (a minority of people) see that. When things do get worse and Democrats are in charge, Republican messaging is effective at convincing people it's the Democrats' fault (which it kinda is because they did nothing to stop it, and kinda isn't because they did nothing to cause it, and in any case the Republicans are even worse but good at saying they're not).
by noosphr | 2025-08-20 14:24:57+00:00
The shape of the letters is largely irrelevant, the source of motion is the important part. In regular cursive it is the fingers that move the pen. In business penmanship it is the shoulder that moves the hand which is incidentally holding a pen.

Here is a video that gets most of the basics right: https://www.youtube.com/watch?v=9TWpFsv9Ib0

Here is one that gets it wrong: https://www.youtube.com/shorts/vCPPcweLKWQ

The reason why the letters have the shape they do in business penmanship is for legibility and ease of motion. There are several variants of most letters you can choose from. The standard alphabet as given in that book is a very good compromise. The reason why newer cursive hands that use finger movement have a lot of the same shapes as business penmanship is cargo-culting.
by toomuchtodo | 2025-08-20 14:25:06+00:00
Related:

Startup YieldStreet's "invest like the 1%" took massive losses in RE bets - https://news.ycombinator.com/item?id=44945737 - August 2025

YieldStreet Review - https://news.ycombinator.com/item?id=39456892 - February 2024

YieldStreet Missed a Boat - https://news.ycombinator.com/item?id=37501189 - September 2023

Fintech Startup YieldStreet Raises $113M - https://news.ycombinator.com/item?id=16115695 - January 2018
by thewebguyd | 2025-08-20 14:25:12+00:00
> they often feel that a lot of engineering concerns should really be dismissed unless those concerns are truly catastrophic.

Grizzled sysadmin here, and this is accurate. Classic case of "Hey boss, I need budget for server replacements, this hardware is going to fail." Declined. few months later, fails. Boss: "Why did you allow this to happen, what am I even paying you for?"
by wink | 2025-08-20 14:25:14+00:00
As an ESL, both jerk and cheers are 100% words I only learned by interacting with people of unknown or questionable language skills online in the last 20 years, so yeah, make of that what you will. Probably being part of the problem :) (Usually try to look them up, of course, but how helpful is a dictionary for slang, anyway)
by Duanemclemore | 2025-08-20 14:25:27+00:00
This is excellent. I'm always looking for good things to show my students on coordinate systems and geometry, and this joins the list. Thank you for diving down the rabbit hole and bringing this back for everyone.

If you want really great further consideration of creating geometric figures with parametric equations, Joseph Choma's book "Morphing" is an all-timer.

https://www.quercusbooks.co.uk/titles/joseph-choma/morphing/...
by mikepurvis | 2025-08-20 14:25:30+00:00
There are various things that can be a reasonable candidate for the "top level" build entrypoint, including Nix, bazel, docker bake, and probably more I'm not thinking of. They all have an entrypoint that doesn't have a ton of flags or nonsense, and operate in a pretty self contained environment that they set up and manage themselves.

Overall I'm not a fan of wrapping things; if there are flags or options on the top-level build tool, I'd rather my devs explore those and get used to what they are and can do, rather than being reliant on a project-specific script or make target to just magically do the thing.

Anyway, other than calling the build tool, CI config can have other steps in it, but it should be mostly consumed with CI-specific add-ons, like auth (OIDC handshake), capturing logs, uploading artifacts, sending a slack notification, whatever it is.
by shydrablack | 2025-08-20 14:26:04+00:00
Take a look at this project. Xslar it's not only a task manager but also a habits manager. First, it allows you to create your project and divide it into multiple tasks over the days. Moreover, each task has subtasks. You can drag and drop these tasks on multiple stages, such as "to do", "doing", and "done", for a better organization of the tasks!

Also, the habit section allows the user to manage their repetitive habits throughout the entire days of the week. This feature is great if you want to build habits.

You can take a look at it now, or just support it if you want!
by IlikeKitties | 2025-08-20 14:26:13+00:00
Kek i'm not the guy that found those vulnerabilities i just reposted what i found on 4chan. So Indian Users of this App are already fucked anyway. Maybe they get to enjoy calls from Microsoft about the viruses on their computers now too.

Anyway, if you build an app with no security at all, like this one, refuse to fix it you deserve all the consequences. And if indians can't get their shit together to hold these companies responsible for their incompetence, well sucks to be them.
by sunrunner | 2025-08-20 14:27:08+00:00
So much of what goes into a language choice involves things that aren't the language itself but the ecosystem around it. Documentation, standard library, third-party libraries, build and deploying tooling, and so on.

So a huge part of getting people to move from an existing tool they know with a well established ecosystem to a new tool that perhaps doesn't have that yet is getting those things in place (and then getting people to want to use them). I can imagine that being able to boostrap part of that process could help with the adoption of new tools.

The counter argument is that the friction behind these things is actually a benefit, as languages are only useful when they're shared and it doesn't make sense to have a huge range of languages that all mostly function the same but are just different synatcically. So it's a feature that it takes time for newer languages to gain traction, because it's essentially being tested for suitability and usefulness by a slowly growing number of people, at first the innovators, early adopters and early majority on the curve and later on the ones that perhaps can't afford to spend time on something that might not gen enough traction to last.

On a related note, I'm curious to know what the impact of generative AI on language-interoperability will be. Every time I see a suggestion that WASM and Interface Types is the thing that will finally allow me to use that weird but useful Python library in my Rust project, I always feel like unless there's a performance consideration involved I'd really rather just have everything in the same language, so the idea of automated translation of libraries at the source level seems like it could be useful. No need for language interop when you can quickly put everything into the same language.
by hunter2_ | 2025-08-20 14:28:30+00:00
I guess they would find it the moment someone in China using a Chinese resolver tries to resolve your rogue record, since that would recurse to one of the root mirrors in China, which presumably feeds this mechanism.

Seems like a very minor speed bump in your plan, though: presumably something like https://www.chinafirewalltest.com would achieve that, or send a few emails for folks to click.
by brainless | 2025-08-20 14:29:06+00:00
I love what is happening in this domain, so many people experimenting. Thanks for sharing this.

I recently launched https://letsorder.app, https://github.com/brainless/letsorder.

100% of the product (2 web UI apps, 1 backend, 1 marketing site) was generated by LLMs, including deployment scripts. I follow a structured approach. My workflow is a mix of Claude Code, Gemini CLI, Qwen Code or other coding CLI tools with GitHub (issues, documentation, branches, worktrees, PRs, CI, CodeRabbit and other checks). I have recently started documenting my thoughts about user flow with voice and transcribe them. It has shown fantastic results.

Now I am building https://github.com/brainless/nocodo as the most ambitious project I have tried with LLMs (vibe coding). It runs the entire developer setup on a managed Linux server and gives you access through desktop and mobile apps. All self-hosted on your cloud accounts. It would basically be taking an idea to going live with full stack software.
by bccdee | 2025-08-20 14:29:47+00:00
For handwriting in general, I would not recommend a fountain pen. For cursive in particular, though, sure. The soft, pressure-sensitive tip of a fountain pen is the only place where cursive really makes sense to me. With a ballpoint, felt-tip, or pencil, printing feels much more natural.

For what it's worth, I'm not a big proponent of fountain pens or cursive, but I do think they go hand-in-hand.
by thayne | 2025-08-20 14:30:06+00:00
This led me down a bit of a rabbit-hole involving linux's limitation of only supporting 32 bit integers for futexes, and why that is, and the implementation of semaphores in glibc.

In one discussion of supporting 64 bit integers for futexes, Linus suggested that you can just use 64 bit atomics in userspace, but only use 32 bits of that 64 bit integer for the futex, as long as the bits that change on a wakeup are in those 32 bits.

However, AFAICT, using mixed-size atomics in c/c++ is undefined behavior, although on most modern hardware it does work. But looking at the implementation of semaphore in glibc, that is exactly what it does. The semaphore uses a 64 bit integer, with the number of waiters in the high 32 bits, and the value of the semaphore in the low 32 bits, with userspace atomic operations on the whole 64 bit integer, but using just the low 32 bits for the futex.

Is my question is, does gcc specifically consider this defined behavior, or is it ok because the 32 bit access happens in a separate (kernel) process that isn't part of the same compilation, or is it actually undefined behavior in glibc?
by joshmlewis | 2025-08-20 14:30:39+00:00
As someone who builds AI products and having used agentic coding tools since they came out (often with Rails projects), I don't get this. There was a similar project called Rails MCP Server which said:

> "This Rails MCP Server implements the MCP specification to give AI models access to Rails projects for code analysis, exploration, and assistance."

And again I don't get the value. I can see some slight benefits to having a tight browser integration but I don't think that's worth leaving the IDE / CLI tools and the workflows they bring. You can also use Playwright MCP or just screenshot easily for more context. Claude Code can now run your server in the background and view logs as well. In a perfect world where LLM's can one shot whole features, maybe. But I can't let Claude Code go 10 minutes without it introducing a bad pattern and having to stop it. Reducing that visibility even further with this does not seem like a good combo.

I'm not wanting to tear down others projects either, just giving my perspective. I should try it to see how it does in the wild but the Copilot license or Anthropic API key requirement also deters me as well as having to have a project specific dependency.
by ben_w | 2025-08-20 14:31:29+00:00
> Perhaps on the cost, but the US has the best doctors in the world. If I need major surgery, I know I can get it in a reasonable amount of time. In many other countries in Europe or even Canada, the government gets to decide if I need to get it or not and the wait time could be in years.

With unbounded money, perhaps.

For the average person, the difference in life expectancy suggests perhaps not.

> Everyone says the elderly in the US will go broke after a single major surgery. My dad is on Medicare with a low-cost supplemental insurance. He's been in multiple hospitals for the last 6 months and short-term care for the last 6 weeks.

The elderly? Medicare in particular (I had to look it up) is for over 65s and a few other groups, not everyone.

As I see them, the complaints are for people in general, and there's plenty of examples of medical bankruptcies in the USA: https://www.cgaa.org/article/medical-bankruptcies-by-state

> My elderly relatives have to wait many months to get surgery in Canada. The UK also has a failing healthcare system. The issue is that in times of economic downturns, socialized medicine gets cut.

The USA's government-funded healthcare costs more per capita than the NHS, despite only being for a subset of the population, supplemented by private insurance, and getting worse outcomes.

> I don't think I've seen a single example of socialized medicine that doesn't end up with long wait times for major surgeries or the government making health decisions for you.

"Under capitalism, man oppresses man. Under socialism, it's just the opposite." - old Soviet quote.

In the matter of "making health decisions for you", all you do is replace governments with corporations, hence what was carved onto the bullets that killed the CEO of United Health.
by jakozaur | 2025-08-20 14:31:53+00:00
A Ponzi scheme is extreme, where the underlying asset is worthless.

Databricks is a fast-growing company with ~$4B in annualised revenue and huge potential.

Many rounds got some portion of the round for liquidity. Similarly, markup strategies are common and valid. For existing investors, it works because they have already done research on the company and believe in it, so they put their money where their mouth is. For the company, it may speed up their fundraising process.

Though those strategies carry some risks.
by JSR_FDED | 2025-08-20 14:32:50+00:00
Some questions for those with RoR experience…

1. If you know Python, Lua, JS and C, how hard would it be to learn Ruby?

2. What’s the best way to learn Ruby and Rails today?

3. How important is it that you know the previous versions of Rails? I remember looking for some resources a while ago and got a sense that there’s a lot of history that you need to know to really grok the latest version of Rails.

4. I’m worried about all the “magic” in Rails, but at the same time intrigued by the productivity that brings. Is there something that explains what’s going on behind the scenes?
by NoamBarr | 2025-08-20 14:33:03+00:00
This benchmark compares six AI security detection models on accuracy, precision, recall, F1, and false-positive rate (FPR): ActiveFence’s AI Safety & Security model; three open-source baselines (deepset DeBERTa-v3-base-injection, Meta Llama-Guard-2-8B, ProtectAI DeBERTa-v3-base-prompt-injection-v2); and two commercial APIs (Amazon Bedrock Guardrails—PROMPT_ATTACK—and Azure Content Safety—ShieldPrompt).ectAI, Bedrock guardrails and Azure.