MurphyA/hacker-news huggingface dataset:
by globuous | 2025-08-13 21:12:19+00:00
What I missed most were let bindings (https://ocaml.org/manual/5.3/bindingops.html)

ReasonML has custom operators that allows for manipulating monads somewhat sanely (>>= operators and whatnot). rescript (reasonml’s “fork”) did not last time I checked. But it does have an async/await syntax which helps a lot with async code. reasonml did not last time I checked, so you had to use raw promises.

I believe Melange (which the article briefly talks about) supports let bindings with the reason syntax.

And this kinda changes everything if you React. Because you can now have sane JSX with let bindings. Which you could not until melange. Indeed, you can PPX your way out of it in ocaml syntax, but I’m not sure the syntax highlight works well in code editors. It did not on mine anyway last time I checked.

So for frontend coding, Melange’s reason ml is great as you have both, and let bindings can approximate quite well async syntax on top of writing readable monadic code.

For backend code, as a pythonista, I hate curlies. and I do like parenthesis-less function calls and definitions a lot. But I still have a lot of trouble, as a beginner ocamler, with non-variable function argument as I need to do “weird” parenthesis stuff.

Hope this “helps”!
by nezhar | 2025-08-13 21:13:05+00:00
You still need to connect to Anthropic and obtain an authorization token.

The isolation here refers to the workspace. Since you run the CLI in a container, the process can only access what you have mapped inside. This is helpful if you want to avoid issues like this: https://hackaday.com/2025/07/23/vibe-coding-goes-wrong-as-ai...
by FollowingTheDao | 2025-08-13 21:13:07+00:00
> Corporations don’t need to have empathy to make deals with the benefits you mention

No, they will only do these family friendly things if it benefits them. That is what a sociopath does.

> Medicare has little to do with corporations

It has everything to do with the workers.

> most people prefer extra wages over vacation

Do you have statistics for this? Because all my friends want more time off with the same pay.
by kmoser | 2025-08-13 21:13:28+00:00
In 2018 I had the pleasure of seeing "Elvis" at a Kyoto nightclub called "Live Spot Nashville" (closed since the pandemic) which was decked out like a cross between an American honky-tonk bar and the Grand Ole Opry. Highlights included line dancers (in cowboy hats and boots, of course), as well as somebody singing "My Way" in Japanese.

A couple of weeks earlier, in Seoul, I literally stumbled across the official Korean Elvis Presley fan club HQ (his name is in large letters across the top of the building; you can't miss it) and walked in. The president didn't speak a word of English but he was super excited to show me around and even gave me a few souvenirs.
by hathawsh | 2025-08-13 21:13:53+00:00
Here is what Illinois says:

https://idfpr.illinois.gov/content/dam/soi/en/web/idfpr/news...

I get the impression that it is now illegal in Illinois to claim that an AI chatbot can take the place of a licensed therapist or counselor. That doesn't mean people can't do what they want with AI. It only means that counseling services can't offer AI as a cheaper replacement for a real person.

Am I wrong? This sounds good to me.
by warkdarrior | 2025-08-13 21:14:42+00:00
You can use alternate stores to get your desired Android apps. There is F-Droid, Amazon Appstore for Android, Huawei AppGallery, Samsung Galaxy Store, Aptoide, Uptodown, APKMirror, APKPure, Xiaomi GetApps, OPPO App Market, AppBrain App Market, 9Apps, and probably others I forgot.
by AlphaSite | 2025-08-13 21:15:16+00:00
I appreciate everything they’ve done but the group which maintains Pip and the package index is categorically incapable of shipping anything at a good velocity.

It’s entirely volunteer based so I don’t blame them, but the reality is that it’s holding back the ecosystem.

I suspect it’s also a misalignment of interests. No one there really invests in improving UX.
by jolmg | 2025-08-13 21:15:43+00:00
> bool -> bool has 2^2=4 values

Not the best example since 2*2=4 also.

How about this bit of Haskell:

f :: Bool -> Maybe Bool

That's 3 ^ 2 = 9, right?

f False = Nothing f False = Just True f False = Just False f True = Nothing f True = Just True f True = Just False

Those are 6. What would be the other 3? or should it actually be a*b=6?

EDIT: Nevermind, I counted wrong. Here are the 9:

f x = case x of True -> Nothing False -> Nothing f x = case x of True -> Nothing False -> Just False f x = case x of True -> Nothing False -> Just True f x = case x of True -> Just False False -> Nothing f x = case x of True -> Just False False -> Just False f x = case x of True -> Just False False -> Just True f x = case x of True -> Just True False -> Nothing f x = case x of True -> Just True False -> Just False f x = case x of True -> Just True False -> Just True
by extraisland | 2025-08-13 21:16:15+00:00
I was listening to an interview with Dominic Cummings while walking this evening. It was about two hours long. I don't really know what to make of Dominic Cummings, I did think it would be interesting to hear his perspective.

During the interview he explained how many people in the government essentially wanted to please their own, which includes their own class of people (city people essentially) and the media. He said that ministers were much more worried about how media was covering them, than anything else.

The same people essentially see see the normal general public and people like myself as criminal. They see us a criminal because by in large much of the general public and people like myself don't agree with them.

This sort of statement is very "on brand" if what he said is true.
by CyberDildonics | 2025-08-13 21:16:21+00:00
Again, that's like me saying "forgetting defer isn't a big deal in practice."

It's the opposite, because for defer you need to be proactive and do it every time, but destructors are going to do the right thing and work, but if you question what's happening you can investigate.

One is happening automatically and already works, the other is manual and you always have to remember or your program is broken.

we don't use most of "modern C++"

You might want to try it out, it would probably help with all these misunderstandings.
by notatallshaw | 2025-08-13 21:16:43+00:00
> However, pip has some really gnarly internal infrastructure that prevents it from taking advantage of a lot of uv's good ideas (which in turn are not all original).

FWIW, as a pip maintainer, I don't strongly agree with this statement, I think if pip had the same full time employee resources that uv has enjoyed over the last year that a lot of these issues could be solved.

I'm not saying here that pip doesn't have some gnarly internal details, just that the bigger thing holding it back is the lack of maintainer resources.

> For just one example: uv can quickly install previously installed packages by hard-linking a bunch of files from the cache. For pip to follow suit, it would have to completely redo its caching strategy from the ground up, because right now its cache is designed to save only download effort and not anything else about the installation process.

I actually think this isn't a great example, evidenced by the lack of a download or wheel command from uv due to those features not aligning with uv's caching strategy.

That said, I do think there are other good examples to your point, like uv's ability to prefetch package metadata, I don't think we're going to be able to implement that in pip any time soon due to probably the need for a complete overhaul of the resolver.
by neild | 2025-08-13 21:17:06+00:00
It means we're not confident the API is stable yet. There might be further changes before the final, non-experimental version, depending on user feedback and further experience with the current proposal.

In the case of encoding/json/v2, enabling GOEXPERIMENT=jsonv2 has two major effects:

1. It flips encoding/json (the original, not /v2) to use the new implementation. This is supposed to be a fully backwards-compatible change, modulo some changes to the text of some errors. We're very interested to hear of any cases of existing programs breaking when the experiment is turned on, because (aside from the aforementioned error text, which you shouldn't be depending on) it likely indicates a bug that needs fixing. This is the "new code, please test" half of the change.

2. It enables the new API (encoding/json/v2, encoding/json/jsontext, some new options in encoding/json). This is the "unstable API, might change in response to feedback" half of the change.
by bluefirebrand | 2025-08-13 21:17:25+00:00
> Those groups are not what this is about, and you damn well know it. This is about normal functioning adults walking into scams with their eyes open

Normal functioning adults will also benefit if we take steps to protect the infirm and dysfunctional

That's why it isn't meant to be "dirty" to bring up the vulnerable in society. If we take sufficient steps to protect them, we all benefit
by heikkilevanto | 2025-08-13 21:17:27+00:00
I have been speculating on adding a tar pit on my personal web site. A script that produces a page of random nonsense and random looking links to the same script. The thing not linked to anywhere, but explicitly forbidden on robots.txt. If the crawlers start on it let them get lost. Bit of rate limiting should keep my server safe, and slow down the crawlers. Maybe I should add some confusing prompts on the page as well... Probably I never get around to it, but the idea sounds tempting.
Ask HN: What's stopping Guix from building static binaries for various targets?
by tetris11 | 2025-08-13 21:17:49+00:00
Guix can build for various different targets using `guix build --target <arch>`, and it can build entire linked libraries that can be deployed as a tarball to a target machine via `guix pack --target <arch>`...

But it can't do the one thing that Nix can do reliably and that is produce a single static binary.

What is stopping it?

Many packages are written using the `(build-system gnu-build-system)` macro.

How hard is it to add a `(build-system gnu-build-system 'static)` parameter, that changes the configure step to use the `-static` flag?
by impossiblefork | 2025-08-13 21:17:53+00:00
If employment is down though, then that would be justification for lowering the interest rates. I think it's more a matter of maintaining appearances than something strategic to make the, by Trump desired, low interest rate economy possible.

Even though he wants lower rates, rather than saying 'the Fed is prioritizing price stability over employment and that's wrong-- we can't waste American lives, they need to have jobs' he's denying the numbers despite that they could in principle allow him to do something he wants.

Maybe other things are signs of knowing these problems, maybe this demand for investments from Japan and the EU are motivated by concerns that stock market and to some degree commercial housing valuations are unreasonable, but it's not certain that Trump or anybody else is fully aware. This isn't complicated stuff, and I've even seen newspapers detail ideas like this, maybe toned down a bit, but it's hard to know who understands what.
by coppsilgold | 2025-08-13 21:17:56+00:00
They chose Ascon which is a good set of same sponge-based cryptographic functions if you don't have hardware acceleration for AES or the CPU resources for chacha20 which is the intention of the standard. The security is 128-bits (comparable to AES-128).

<https://ascon.isec.tugraz.at/specification.html>
by renewiltord | 2025-08-13 21:18:05+00:00
This is an interesting person to write this. Nadia Asparouhova is Delian A's wife. He runs Varda Space Industries and is a partner at Founder's Fund. FF content is generally charts and vibes kind of stuff.

It'll be interesting to see how Varda changes to enable this, and how FF advises their portfolio to act.
by nukifw | 2025-08-13 21:18:13+00:00
- You can use GADTs (https://ocaml.org/manual/5.2/gadts-tutorial.html) and indexes to give a concrete type to every constructors:

```ocaml type _ treated_as = | Int : int -> int treated_as | Float : float -> float treated_as let f (Int x) = x + 1 (* val f : int treated_as -> int *) ```

- You can use the structurale nature of polymorphic variants (https://ocaml.org/manual/5.1/polyvariant.html)

```ocaml let f = function | `Foo x -> string_of_int (x + 1) | `Bar x -> x ^ "Hello" (* val f : [< `Foo of int | `Bar of string] -> string` *) let g = function | `Foo _ -> () | _ -> () (* val g : [> `Foo of 'a ] -> unit *) ```

(Notice the difference between `>` and `<` in the signature?)

And since OCaml has also an object model, you can also encoding sum and sealing using modules (and private type abreviation).
by mads_quist | 2025-08-13 21:18:15+00:00
Who of you have ever been on the hiring side? I will tell you that it is frustrating in the very same way at it is for applicants.

How can you tell as a recruiter if a resume is good? People can put anything on it. Did I work with SAP 20 years ago? Yes, for two weeks! And I can simply put that on my CV. Candidates do that with every piece of technology.

Ok, how to test this then, that they actually master the technology?

Real interview of 2h with maybe a coding challenge. "This does not respect my time and anyway I cannot code under stress" will some people complain.

OK, then maybe some automated offline/online task? "Why do I need to solve some algorithmic nonsense without ever speaking to a person? They don't respect me as a person"

Hm ok, then maybe a real interview in house. But with how many candidates when I get 100+ applications for a position. I CANNOT talk to all of them...

So in the end it's again statistics... Filter out those where the probability is high that they are fast learners and dedicated. What is a good indicator of this? Well, high school and uni grades....
by arkensaw | 2025-08-13 21:18:16+00:00
Ok, its maybe more expensive than I realised according to that source, but I would argue that comparing it to something like charging EVs or running a fridge is not a fair comparison. If you desalinate 1000 litres of water it's not the same as a household using 1000 litres of water. Not exactly. Once water is in a municipal system it's cleaned and reused many many times. Desalination could overcome water shortages by topping up water in a system, in times of drought, rather than just waiting for rain.
by mixmastamyk | 2025-08-13 21:18:16+00:00
You don't need to know most of those things. Until last year I used setup.py and pip exclusively for twenty years, with a venv for each job at work. Wheels are simply prebuilt .zips. That's about an hour of learning more or less.

Now we have pyproject.toml and uv to learn. This is another hour or so of learning, but well worth it.

Astral is stepping up because no one else did. Guido never cared about packaging and that's why it has been the wild west until now.
by tim333 | 2025-08-13 21:18:41+00:00
I went to Google Search and literally asked "How do steam engines work?". It led be to a pretty cool video https://youtu.be/Hszu80NJ438 - I've learned some new stuff about them.

I thought the video images were AI at first but the guy actually does them in blender https://youtu.be/itj2t8Fv8xs?t=2040

It's something I often find when people complain about "even freaking YouTube and their even worse ad feeds" etc., when you look you find all this amazing stuff that didn't exist a few years ago. I mean I'm sure the ad crap exists but I don't really see it due to ad blockers and the like.
by bornfreddy | 2025-08-13 21:18:51+00:00
What is not e-ink? GP said that Garmin is AMOLED and according to [0] pebbles are e-ink/e-paper. Can you clarify?

Otherwise I agree. I would love an opensource fitness watch though, but I understand why this is not (yet?) possible.

[0] https://store.repebble.com/
by viraptor | 2025-08-13 21:19:21+00:00
I would recommend learning a little bit of C compilation and build systems. Ruby/Rails is about as polished as you could get for a very popular project. Maybe libyaml will be a problem once in a while if you're compiling Ruby from scratch, but otherwise this normally works without a hassle. And those skills will apply everywhere else. As long as we have C libraries, this is about as good as it gets, regardless of the language/runtime.
by leptons | 2025-08-13 21:19:22+00:00
>"challenge me when I'm wrong, and tell me I'm right if I am"

As if an LLM could ever know right from wrong about anything.

>If you ask it to never say "you're absolutely right"

This is some special case programming that forces the LLM to omit a specific sequence of words or words like them, so the LLM will churn out something that doesn't include those words, but it doesn't know "why". It doesn't really know anything.
by mnw21cam | 2025-08-13 21:20:16+00:00
This is kind of the case. Under GDPR, the data can only be used for the specific purpose for which is was collected, unless explicit consent is obtained. Terms buried in contracts do not count as consent - a contract has to be clear about the purpose for collecting the data and why it is necessary to fulfil the contract, and using the data for any other purposes is illegal.
by DebtDeflation | 2025-08-13 21:21:01+00:00
A few months ago I saw one of Gartner's AI Magic Quadrants (there are several) and it had IBM, Oracle, and a few companies I'd never heard of in the Leaders quadrant and OpenAI, Anthropic, and Google in the bottom left. Obviously companies like OpenAI and Google have absolutely no need to pay Gartner for anything. But how is this actually considered credible research by people in non-tech companies? You'd have to be living in a cave to not know who is really leading in AI.
by nickff | 2025-08-13 21:21:04+00:00
Sociopathy is characterized by a lack of empathy. Regardless, the only way to make a deal stick is to ensure it is beneficial to all parties.

Healthcare definitely impacts workers, but the only reason for widespread employer-provided healthcare in the USA is the tax exemption. This is not an employer-driven phenomenon.

I am talking about revealed preferences; it’s not a real preference if you are not willing to give something up for it. Extra vacation time comes at a cost in productivity and availability, which aren’t free, so your friends want their employers to give them something for nothing.
by dkarl | 2025-08-13 21:21:14+00:00
In Scala, I've had excellent luck using LLMs to speed up development when I'm using cats-effect, an effects library.

My experience in the past with something like cats-effect has been that there are straightforward things that aren't obvious, and if you haven't been using it recently, and maybe even if you've been using it but haven't solved a similar problem recently, you can get stuck trawling through the docs squinting at type signatures looking for what turns out to be, in hindsight, an elegant and simple solution. LLMs have vastly reduced this kind of friction. I just ask, "In cats-effect, how do I...?" and 80% of the time the answer gets me immediately unstuck. The other 20% of the time I provide clarifying context or ask a different LLM.

I haven't done enough maintenance coding yet to know if this will radically shift my view of the cost/benefit of functional programming with effects, but I'm very excited. Writing cats-effect code has always been satisfying and frustrating in equal measure, and so far, I'm getting the confidence and correctness with a fraction of the frustration.

I haven't unleashed Claude Code on any cats-effect code yet. I'm curious to see how well it will do.
by yappo | 2025-08-13 21:21:22+00:00
Why did you build this? We built Yappo to remove the steep learning curve, high costs, and long timelines of traditional app development. Anyone should be able to turn an idea into a real mobile app - fast, without code, and without hiring a dev team.

What’s new and unique about your launch compared to alternatives? Unlike other no-code tools, Yappo is fully AI-driven from idea to store-ready build. You just describe your app, we generate the UI, backend, database, and compliance pages, then automatically publish to iOS and Android app stores. No dragging and dropping, no extra tools needed.

What are you most proud of in this launch? We’re proud that our tests have built and published functional apps in under 10 minutes — a process that usually takes weeks or months. And we’ve kept the experience so simple that even first-time builders can launch confidently.
by bediger4000 | 2025-08-13 21:21:24+00:00
Elon probably had different goals than Trump. Elon probably was interested in procurement capture, while Trump wanted revenge on federal employees that he apparently felt weren't loyal to him. If Musk wanted to be the fall guy for the consequences, so much the better.

Article is paywalled, but if it assumes complete rationality on either man's part, it's nonsense.
by ackfoobar | 2025-08-13 21:21:39+00:00
Good point, well there's Ordering type built-in in Haskell (LT | EQ | GT). Ordering -> bool has 2^3=8 values (const true, const false, == LT, == EQ, == GT, is_lte, is_gte, ne)

EDIT: now you see why I used the smallest type possible to make my point. Exponentials get big FAST (duh).
by empressplay | 2025-08-13 21:21:51+00:00
Can confirm, it creates slides though, not whiteboard animations. Although the slides are in color and have graphs, clipart, etc. (but they are static and the whiteboard drawing is cooler!)

It created an 8 minute video explaining my Logo-based coding language using 50 sources and it was free.

https://www.youtube.com/watch?v=HZW75burwQc
by cnst | 2025-08-13 21:22:02+00:00
Here's the docs for the Angie's version of the http_acme module:

https://en.angie.software/angie/docs/configuration/modules/h...

The original announcement of Angie ACME:

Angie, fork of Nginx, supports ACME - https://news.ycombinator.com/item?id=39838228 - March 27, 2024 (1 comment)

Per above, it looks like ACME support was released with Angie 1.5.0 on 2024-03-27.

BTW, if you don't care about ACME, and want the original nginx, then there's also the freenginx fork, too:

Freenginx: Core Nginx developer announces fork - https://news.ycombinator.com/item?id=39373327 - (1131 points) - Feb 14, 2024 (475 comments)
by kirubakaran | 2025-08-13 21:22:05+00:00
If Travis Kalanick can do vibe research at the bleeding edge of quantum physics[1], I don't see why one can't do vibe brain surgery. It isn't really rocket science, is it? [2]

[1] https://futurism.com/former-ceo-uber-ai

[2] If you need /s here to be sure, perhaps it's time for some introspection
by boogieknite | 2025-08-13 21:22:34+00:00
llm tool show-and-tell is great. i seek it out and participate. there's not much to discuss

i also think learning rust and traveling is fun to do, but boring to discuss with people who werent there. these topics fall under the category of describing a dream. theyre only compelling to the person, or people if pair programming, who experienced it. could be a "me" thing

did Brian Eno make art with his doc's application of ai? or is Eno in the artistic out-group now? im not cool enough to keep up with this stuff. citing Eno is probably proof of my lack-of-cool. this topic is more interesting than talking about Ghidra MCP, which is the most novel application of an LLM ive experienced. i want to read the argument against Eno's application of AI as art
by credit_guy | 2025-08-13 21:23:00+00:00
It is 100 years of proven reserves. “Proving” a reserve is expensive, mining companies do that in order to secure favorable financing. But when there are 100 of proven reserves, there is little economic incentive to go and prove new reserves. However, if the industry demand increases, because of new build, then initially the proven reserves will suffice only for, say, 80 years, the incentive to prove new reserves appears, and mining companies spend the necessary funds to “prove” new reserves.

In reality, the amount of uranium available on this planet is virtually unlimited. There are billions of tons of it in seawater, and it is estimated it would take onle a 4x market price increase for seawater uranium extraction to be economically profitable.