MurphyA/hacker-news huggingface dataset:
by ristos | 2026-01-16 13:00:59+00:00
No functions:

You can't do length + 1 as a single expression in any language though, in python for example len(ls) + 1 is two expressions, but I get what you mean, it is a little less terse. But those commas in prolog are super useful. And you can make your example bidirectional too:

```
:- use_module(library(clpfd)).

foo(List, X) :-
length(List, Out),
X #= Out + 1.
```

```
?- foo(X, 3).
X = [_, _] .

?- foo(X, 3), X = [a,b].
X = [a, b] .
```

-----

No standarized collection types:

I think that's a feature rather than a bug. The ability to just use infix and compound terms in a generic way without it being tied to a clause or operator is a huge feature. For example:

```
pets(dog-rex-poodle, dog-fluffy-bishon).
```

That defines the collection in a semantic or mathematical sort of way, then you can pass that into whatever data structure you want, whether it's a ordered map or a hashmap or whatever.

----

No boolean values:

That's also a feature in prolog, same as having no null. It's the same sort of motivation for Haskell's Maybe and Either types or Rust's Option and Result types, same kind of usefulness.

----

Cuts are confusing:

Conditionals don't need to use cuts, the modern prolog way of doing it is using the reif library:

```
:- use_module(library(reif)).

if_(Cond, Then, Else)
```

For example:

```
:- use_module(library(clpfd)).
:- use_module(library(reif)).

sign(X, S) :-
if_(X #> 0,
S = pos,
S = nonpos).
```

---

Non-cuts are confusing:

This isn't doing what you're thinking:

```
\+ (A = B)
```

It's unifying A with B, `A = B` unifies. You want `dif(A, B)`.

----

Straying outside of default queries is confusing:

It might be tempting to use bagof, but it's not monotonic. You should try to write as much prolog code as you can in a pure, monotonic way, so your code can take advantage of prolog's unique advantages, like monotonic debugging.

Check out the SWI prolog discourse group, there's a lot of good stuff in there and everyone's very supportive to newbies. And Markus Triska's website and youtube channel Power of Prolog is a super useful resource for all this stuff, a good place to go if you want to know what sets prolog apart. A lot of prolog's usefulness doesn't show up as an embedded language either, like minikanren isn't "pretty much prolog", it lacks a lot of stuff that prolog offers. Multiparadigm programming languages are also really popular now, but a lot of what sets programming languages apart isn't what they can do, it's what they can't do, what sort of paradigm or way of thinking they force you to adopt.
by NotNerdz | 2026-01-16 13:01:05+00:00
Hey Everybody, today we are launching Nexus 1.7 Large publicly on Github and Nexus 1.7 core publicly on the InfiniaxAI Platform ( https://infiniax.ai )

Official Github Link: https://github.com/NotNerdz/Nexus-1.7-Large/

Nexus 1.7 Large is the strongest reasoning architecture we have ever made. Routing dynamic intelligence systems to be able to think for up to 30 minutes straight, produce massive outputs that remain coherent and more.

We noticed Nexus 1 excelled in Tasks regarding coding and 1.5 even with quicker speed ruined that. So we made Nexus 1.7 be both quick and better than every previous Architecture release at coding.

If you are coding something complex, Nexus is good as it helps in all tasks no matter how complex and can code up to 10k lines.
by UncleMeat | 2026-01-16 13:01:27+00:00
Childcare is fundamentally expensive because it fundamentally involves a large portion of a person's labor and this labor needs to be local to you. One person can only watch so many infants (and we have reasonable regulations limiting the number people are allowed to watch).

Even if you eliminate all other overhead costs (rent, admin, materials, insurance, etc) you are still paying for a large portion of somebody's salary.

The reason childcare feels expensive is because society has spent generations undervaluing childrearing as labor.
by wouldbecouldbe | 2026-01-16 13:01:49+00:00
I feel like the main challenge is where to be "loose" and where to be "strict", Claude takes too much liberty often. Assuming things, adding some mock data to make it work, using local storage because there is no db. This makes it work well out of the box, and means I can prompt half ass and have great results. But it also long term causes issues. It can be prompted away, but it needs constant reminder. This seems like a hard problem to solve. I feel like it can already almost do everything if you have the correct vision / structure in mind and have the patience to prompt properly.

It's worst feature is debugging hard errors, it will just keep trying everything and can get pretty wild instead of entering plan mode and really discuss & think things true.
by entropi | 2026-01-16 13:02:19+00:00
I mean sure it is fun to pick one company and hate it, but this is not the point being argued here.

But the point here is that a few companies are outbidding everyone else, hoarding shittons of compute and putting it into their data centers, to rent to people. This is effectively taking compute ownership away from consumers and centralizing compute i.e. un-democratising.

Apple outcompeting other companies to put their products into the hands of regular people is vastly different.
by thephyber | 2026-01-16 13:03:10+00:00
I think it absolutely is coming to an end in lots of ways.

Movie/show reviews, product reviews, app/browser extension reviews, programming libraries, etc all get gamed. An entire industry of booting reviews has sprung up from PR companies brigading positive reviews for their clients.

The better AI gets at slop and controlling bots to create slop which is indistinguishable from human content, the less people will trust content on those platforms.

Your trust relationship with your artist almost certainly was based on something other than just contact info. Usually you review a portfolio, a professional profile, and you start with a small project to limit your downside risk. This tentative relationship and phased stages where trust is increased is how human trust relationships have always worked.
by mft_ | 2026-01-16 13:03:42+00:00
You're probably far ahead of me on this topic, but as an immigrant to Germany for some years now, living with a German partner, I'm convinced that Germany (at least, Bavaria) has its own specific cultural norms that makes socialising far more challenging than is my experience in other countries. I can't explain why, but I observe a more insular (i.e. family- and existing-close-circle-focused) attitude, and also a significant level of difficulty/inflexibility regarding scheduling social events.

For example, I often find it quicker and easier to agree the timing and details of weekend trips to meet up with friends in other countries, involving one or both sides traveling significantly to meet, than arranging a single evening to meet for dinner with a single existing German colleague or friend living nearby. Of course these people have lives and arrangements I must fit in with, but I'm convinced that the examples I'm thinking of do not have such overwhelmingly busy schedules as to explain the observation.

This might sound like a trivial observation, but I suspect that the overall effect, if you scale even a small fraction of this behaviour across a whole country, could be huge.
by anthk | 2026-01-16 13:04:21+00:00
TCL/Tk 8.6 for XP, and as a bonus you get a gopher and gemini browser from gopher://hoi.st called BFG:

gopher://texto-plano.xyz:70/1/~anthk/bfgxp

Unzip the file and launch "lanzar.bat" in order to test it.
I think I added tcllib and tklib just in case, so you can do a lot with that
interpreter.
by FjordWarden | 2026-01-16 13:04:21+00:00
Ah, I think I found the reason as to why WebAssembly (in a browser or some other sandboxed environment) is not a suitable substrate for near native performance. It is a very ironic reason: you can't implement a JIT compiler that targets WebAssembly in a sandbox running in WebAssembly. Sounds like an incredibly contrived thing to do but once speed is the goal then a copy-and-patch compiler is a valid strategy for implementing a interpreter or a modern graphics pipeline.
by cornholio | 2026-01-16 13:04:48+00:00
I would summarize the central claim of the paper as: the widespread use of AI to mediate human interaction will rob people of agency, understanding and skill development, as well as destroying the social links necessary to maintain and improve institutions, while at the same time allowing powerful unaccountable actors (AI cabal) to interject into those relations and impose their institutional goals; by "institution" we mean a shared set of beneficial social rules, not merely an organization tasked with promoting them, "justice" vs. "US justice system".

The authors then break down the mechanisms by which AI achieves these outcomes (that seem quite reductive and dated compared to the frontier, for example they take it as granted that AI cannot be creative, that it can only work prospectively and can't react to new situations and events etc.), as well as exemplifying those mechanism already at work in a few areas like journalism and academia.
by rft | 2026-01-16 13:06:02+00:00
Related, there is a stable way to detect whether your .exe is running under Wine and even which version by looking up the address of the export wine_get_version in ntdll [1]. Years ago I actually had to do this to work around some weird path bug when we were testing our Windows build under Wine (easier to setup Wine than a full Windows CI).

[1] https://www.winehq.org/pipermail/wine-devel/2008-September/0...
by anthk | 2026-01-16 13:06:53+00:00
IronTCL with the BFG gemini/gopher browser from gopher://hoi.st:

gopher://texto-plano.xyz:70/1/~anthk/bfgxp

Also, from some http proxy:

http://portal.mozz.us/gopher/texto-plano.xyz:70/1/~anthk/bfg...

MinC, a tiny C SDK plus Git and goodies from OpenBSD's base (ncurses it's included too):

https://minc.commandlinerevolution.nl/english/home.html
by hebejebelus | 2026-01-16 13:08:18+00:00
Hmm, that benchmark seems a little flawed (as pointed out in the paper). Seems like it may give easier problems for "low-resource" languages such as Elixir and Racket and so forth since their difficulty filter couldn't solve harder problems in the first place. FTA:

> Section 3.3:

> Besides, since we use the moderately capable DeepSeek-Coder-V2-Lite to filter simple problems, the Pass@1 scores of top models on popular languages are relatively low. However, these models perform significantly better on low-resource languages. This indicates that the performance gap between models of different sizes is more pronounced on low-resource languages, likely because DeepSeek-Coder-V2-Lite struggles to filter out simple problems in these scenarios due to its limited capability in handling low-resource languages.

It's also now a little bit old, as with every AI paper the second they are published, so I'd be curious to see a newer version.

But, I would agree in general that Elixir makes a lot of sense for agent-driven development. Hot code reloading and "let it crash" are useful traits in that regard, I think
by UncleMeat | 2026-01-16 13:09:36+00:00
This becomes an unlimited excuse.

Even if there were state programs that established and ran these sorts of events and created low-friction ways of interacting with people, people could still say "well that assumes a certain baseline of energy."

It is true that somebody who is in the midst of extreme depression and can't get out of bed is probably not going to be able to set up a local dnd game. It is also the case that the large majority of people are absolutely capable of doing this sort of thing.
by tav1 | 2026-01-16 13:09:59+00:00
I built a bank statement converter that uses Intel TDX enclaves to process PDFs in hardware-encrypted memory. The key difference: neither I (the service provider) nor the cloud host can access the data being processed.
The problem: Every bank statement converter requires you to trust that they won't look at your financial data. Even "we don't store it" is just a policy promise.
The approach: Intel TDX creates isolated execution environments inside the CPU where:

Data is processed in encrypted memory
The service provider literally cannot access the memory contents
Remote attestation provides cryptographic proof the code is unmodified
Data exists only during processing (seconds), then RAM is wiped

Why it matters:

Forensic accountants processing divorce/litigation cases
Mortgage lenders doing income verification
Anyone who doesn't want their net worth visible to a SaaS provider

Honest question for HN: Is this overkill, or is "trust us" fundamentally broken for financial document processing?
by doom2 | 2026-01-16 13:10:10+00:00
I had a Xiaomi Mi 10 Pro and picked it over the contemporary Pixel 4. At the time, I was extremely unimpressed with the offerings from Google or Samsung (I've always been on Android so didn't consider the iPhone) and started looking to Chinese OEMs. They had a wide variety of features and build quality. Some were cheap but some, like the one I chose, felt quite premium, had all the latest features (in some cases better than the Pixel), etc. It eventually got replaced by a Pixel 8 Pro but I would try it again.

I don't think I'm saying every Chinese OEM makes phones on par with iPhone or Pixel, but as with any market with multiple options, some are good, some are not so good. There also seems to be this weird anti-China sentiment that appears whenever these phones come up and I think it'd be a more interesting discussion if we focused on the hardware/software instead of country of origin (not saying that that's the case here, it's just been my experience in the past).
by SCdF | 2026-01-16 13:10:44+00:00
Sorry I think I worded it badly. The OP is not the you, I mean the propaganda is. As in, a large part of the propaganda is the idea that people should have opinions about this kind of thing, as opposed to accepting the idea that there are people who are more well versed in these topics than they are. eg the scientific consensus is that global warming is real and it's a big problem. There isn't really an opinion to have there, broadly.
by embedding-shape | 2026-01-16 13:11:18+00:00
> Movie/show reviews, product reviews, app/browser extension reviews, programming libraries, etc all get gamed. An entire industry of booting reviews has sprung up from PR companies brigading positive reviews for their clients.

But for a long time, unrelated to AI. When Amazon was first available here in Spain (don't remember exactly what year, but before LLMs for sure), the amount of fraudulent reviews filling the platform was already noticeable at that point.

That industry you're talking about might have gotten new wings with LLMs, but it wasn't spawned by LLMs, it existed long time before that.

> the less people will trust content on those platforms.

Maybe I'm jarred from using the internet from a young age, but both me and my peers basically has a built-in mistrust against random stuff we see on the internet, at least compared to our parents and our younger peers.

"Don't believe everything you see on the internet" been a mantra almost for as long as the internet has existed, maybe people forgot and needed an reminder, but it was never not true.