skysight-inc/HackerNews huggingface dataset:
As a former distro maintainer, I can name 3 possible explanations for what the author saw:

1. The author's method of finding dependencies by looking at `ldd` output is very incomplete: `ldd` only shows unconditional shared library dependencies, but doesn't say anything about (a) plugins and libraries loaded conditionally at runtime via dlopen, (b) helper/tool executables spawned at runtime (and those executables' transitive dependencies!), (c) data dependencies, such as on common config files. Attempting to manually delete a library to see what breaks is also flawed, since the library might, for instance, be only needed for a helper executable which is only spawned under certain specific conditions that the author did not exercise.

2. It is possible that some dependencies are pulled in only because some packages are not sufficiently granular. For example, consider program A linking to library B; B belongs to package BC, which also includes helper tool C, and C links to library D. Thus, installing A causes D to be installed even thought there is no code path under which the use of A would require anything from D. The solution is to split up package BC; but for whatever reason (such as lack of time or better maintainability), the maintainer of package BC decided not to do so.

3. And occasionally, package maintainers simply get it wrong, and add dependencies that are not needed, or fail to remove dependencies which the upstream developer had required in the past but then removed (and perhaps forgot to document as no longer needed).
if it's any consolation, when the sky isn't blue, it's mostly because the ground is on fire. a situation which is exacerbated by anthropogenic climate change.

so i mean, it's hard to agree on the basics when the basics are changing, I guess.
The imported people didn’t buy the houses champ. Capital did. Capital is ensuring most won’t be able to own, not the immigrants. Typical fascist wanting to blame the Other and not capital.

Oh, by the way, who wants the immigrants and H1Bs? Capital! So they can exploit them further.
Take a look at the ARC Prize, which is a test for achieving "AGI" created in 2019 by François Chollet. Scroll down halfway on the home page and ponder the steep yellow line on the graph. That's what OpenAI o3 recently achieved.

[0] https://arcprize.org/

[1] https://arcprize.org/blog/oai-o3-pub-breakthrough
Idk, `o3-mini-high` was able to pop this Prolog code out in about 20 seconds:

solve(WaterDrinker, ZebraOwner) :-
% H01: Five houses with positions 1..5.
Houses = [ house(1, _, norwegian, _, _, _), % H10: Norwegian lives in the first house.
house(2, blue, _, _, _, _), % H15: Since the Norwegian lives next to the blue house,
house(3, _, _, milk, _, _), % and house1 is Norwegian, house2 must be blue.
house(4, _, _, _, _, _),
house(5, _, _, _, _, _) ],

% H02: The Englishman lives in the red house.
member(house(_, red, englishman, _, _, _), Houses),
% H03: The Spaniard owns the dog.
member(house(_, _, spaniard, _, dog, _), Houses),
% H04: Coffee is drunk in the green house.
member(house(_, green, _, coffee, _, _), Houses),
% H05: The Ukrainian drinks tea.
member(house(_, _, ukrainian, tea, _, _), Houses),
% H06: The green house is immediately to the right of the ivory house.
right_of(house(_, green, _, _, _, _), house(_, ivory, _, _, _, _), Houses),
% H07: The Old Gold smoker owns snails.
member(house(_, _, _, _, snails, old_gold), Houses),
% H08: Kools are smoked in the yellow house.
member(house(_, yellow, _, _, _, kools), Houses),
% H11: The man who smokes Chesterfields lives in the house next to the man with the fox.
next_to(house(_, _, _, _, _, chesterfields), house(_, _, _, _, fox, _), Houses),
% H12: Kools are smoked in a house next to the house where the horse is kept.
next_to(house(_, _, _, _, horse, _), house(_, _, _, _, _, kools), Houses),
% H13: The Lucky Strike smoker drinks orange juice.
member(house(_, _, _, orange_juice, _, lucky_strike), Houses),
% H14: The Japanese smokes Parliaments.
member(house(_, _, japanese, _, _, parliaments), Houses),
% (H09 is built in: Milk is drunk in the middle house, i.e. house3.)

% Finally, find out:
% Q1: Who drinks water?
member(house(_, _, WaterDrinker, water, _, _), Houses),
% Q2: Who owns the zebra?
member(house(_, _, ZebraOwner, _, zebra, _), Houses).

right_of(Right, Left, Houses) :-
nextto(Left, Right, Houses).

next_to(X, Y, Houses) :-
nextto(X, Y, Houses);
nextto(Y, X, Houses).

Seems ok to me.

?- solve(WaterDrinker, ZebraOwner).
WaterDrinker = norwegian,
ZebraOwner = japanese .
I've been thinking about adding support for this kind of stacking to DACT [0].

[0] http://dact.rkeene.org/
This is my solution, although my ISP box has no WiFi, thankfully. Their box is a totally locked down, "business" service bridge. Behind that is my MikroTik RB5009UPr+S+in, doing packet filtering, NAT, VLAN, PoE to access points, etc. I don't really care about the ISP box.
This speaks to the psychology of it all.

Over my life I've been "trained" that humans are unreliable and subject-to-change while computers are deterministic and will give the same output every time (given the same input.)

LLMs though are very human. Ask it the same question and you'll get different answers. Sometimes grammatically different, sometimes factually different.

This is partly why hallucinations freaked people out. I expect a correct, and deterministic answer. And it just made stuff up. Then it made up URLs to validate the answer.

In other words you have computers behaving like humans. Which was indeed the whole point of them to begin with.

But psychologically this is disturbing.
> Where .NET shines is by providing a performance ceiling completely unmatched by neither Java nor Go nor any other GC-based language

How does it do this, exactly? What does .NET have that is better than Java for performant code?
Tight, Tight, Tight a Terraform Provider for Breaking Bad Quotes
Those definitely affect the choice, but ultimately, there’s just no real cultural push to have more kids nowadays. Rich people aren’t having kids either, as you can see in top 10%, 1% brackets. Like, I don’t have a single girl friend that even wants 3 kids. Anyone whom I’ve talked to always has a range between 0-2. Can’t blame them. Giving up at the minimum 6 years of your life for no real benefits kinda sucks.
Holding back science publication for national security is pretty well understood. I'd be amazed if the funding T&C doesn't have weasel words back to the sixties about requiring permission from the feds to publish, even if it was implicitly assumed most of the time.
> Every American service -- Netflix, Disney, Prime, Apple services -- need to have enormous tariffs applied. We can handle without them, and every enabler of this insanity needs to suffer.

No need to wait for tariffs. I started cancelling all American services today. Netflix and Prime were first. I will not send money to a country that has declared an unwarranted trade war on my country.

And it truly is unwarranted. The current trade agreements were negotiated by Trump in his last term, and are well balanced. The only reason for any current surplus is that oil prices are currently high. In general, Canadian raw resources go to the U.S. to be manufactured by skilled labour into end goods that are then imported back into Canada at a large markup. Trump has cited fentanyl and immigration as sticking points while providing no specific demands or suggestions. Less than 1% of illegal immigration to the U.S. comes via the Canadian border. It's incredibly frustrating to be utterly betrayed by a friend in this way.
A few years ago, many posts were blockchain/nft related.

LLM is the new hotness. It’ll fade as the tech consolidates and becomes commodity.
Are your utterances here helping the cause of trans liberation, or hurting it?
Yeah that was basically my point with my earlier comment here: https://news.ycombinator.com/item?id=42905289
Did the shadows come for you?
I, unfortunately, do not anticipate much if any opposition from those receiving funding. Hope I am wrong.
Who would even prosecute? State attorneys general?
> which many programmers who are writing C code for things like operating system kernels and other systems level code expect and like

Strong agree. Isn't this the whole point of C? I don't have any insight into why the standards committee could see it any other way. It seems like the whole situation got hijacked by optimization writers who had somehow lost touch with their users. But maybe there is a more coherent explanation of how this happend.
This is ultimately a basic adaptation of the pigeonhole principle and is not surprising. A finite system of matrix multiplications cannot be turing complete. You cannot expect one trip through a series of matrix multiplications and bias additions and a final sampling at the end which commits it to a certain answer to ever produce a correct answer. It's a mathematical impossibility. No talk of quantum woo, emergent phenomenen, or whatever other pseudo-science has arisen to explain AI intelligence can get around this simple truth of mathematics.

However, chain of thought reasoning where token streams can continue ad infinitum could potentially solve large swaths of problems whose ordinary solutions require turing machines. It could also solve problems that cannot generally be solved by turing machines, but where you only need solutions for a few classes of problems.

Either way, even with chain of thought, you would expect that... in some instances, the model output diverges and does not complete. And unsurprisingly... this is exactly what you see with the DeepSeek models (and other CoT models) when you pose it difficult questions. It will never emit the </think> tag.
So boycotting bad but racketeering/extortion good?
I have looked into it but I'm a little nervous to touch the hackjob fibre install they did and they cut the cable WAY short. I even asked the tech to leave cables as long as possible but

FWIW their box isn't bad once you put it in bridge mode. I have 10gig on my lan and 3gig to the edge and the connection is impressively stable at 3gig. I get 1 ping sometimes when playing Fortnite -- I'm on Vancouver Island. Comical if not inaccurate.

My only real issue with having their box is it sucks maybe 30watts ... Removing it would give me an extra 20 or so minutes on my UPS.
I just did a pass with some replacements with o1 and it very much still recognized it as the Einstein riddle and actually seems to have cheated a bit :)

"Revisiting assumptions

Considering "Camels" might be a mistake for "Kools," leading to confusion. This inconsistency complicates solving the puzzle, showing the need for careful brand assignment."

Tracking puzzle progress

I’m mapping out various house and nationality combinations, but the classic conclusion is the Norwegian drinks water and the Japanese owns the zebra.

Analyzing the arrangement

I’m working through the classic puzzle structure and noting variations, while consistently identifying the Norwegian drinking water and the Japanese owning the zebra as the final solution."
Not quite what you asked for, but it seems tangentially related and you might find it interesting: https://r0bk.github.io/killedbyllm/
Everytime lesswrong or rationalists or Yudkowski or any derivative show up here, I try to read some of the materials around and frankly, I don't understand most of it, it's all so self referential, full of impenetrable jargon and intentionally obtuse. It sounds mentally deranged and cultish. And it turns out that it can one-shot you into a death cult.
But if you download a model locally, it doesn't spy for CCP. Only if you use an app and send your query to be executed in China. Lawmakers seem to not understand such simple matters.
It fundamentally does not matter. Matrix multiplication does not erase the truth of Godel and Turing.
In addition to making changes like those described in the article, I bought a Svalboard keyboard (https://svalboard.com), which has a trackball under the phalanges of each hand. This allows the user to use their pointer with minimal hand movement. Here's a relevant video: https://youtu.be/RCXgPqlpZeM
Mark Scout's wife is in a coma, they want to bring her back and reconstruct her soul using MDR.
When you can use LLMs to write code with English (or other) language, it's pretty disingenuous to not call the training data source code just because it's not exclusively written in a programming language like Python or C++.
You can just highlight the text
Yes, but conservatives are Trumpers.
Are there real prospect of VR, if I may be so bold to word it this way, exiting the state of an ever so slightly less socially offensive dildo?
That's sort of the crux of the issue: what constitutes exposing a pointer?

Half the time, within the compiler, a pointer-to-integer conversion is essentially a nop cast instruction that can be optimized away if unused or freely deleted (e.g., roundtrip pointer-to-integer-to-pointer) or slide addressing information before and after the pointer. The other half the time, it's an important leaks-the-address operation that can't be triggered because, you know, that causes things to be leaked. It's Schrödinger's side effects, they both matter and don't matter, and you don't know if it ends up doing so or not until you open the box. It's a complete mess, and ultimately entirely incoherent, inconsistent semantics that is begging for a fix.

Even worse, if you read all the compiler documentation, you'll find strong assertions that provenance is carried solely by data dependence (including through integers). The compiler optimizations for integers explicitly disclaim preservation of data dependence, which is why the leading model for pointer provenance (PVNI) is "integers don't have provenance, therefore pointer-to-int is an address-exposing operation." But even more annoyingly, the semantics at the IR level imply that memory is untyped, which kind of means every load or store of a pointer is an implicit integer conversion, but that doesn't actually happen in practice, except that memory is frequently converted to an integer if you're just copying from one block of memory to another and it's just a mess of several optimizations are broken in weird, unexpected ways that no one really realized until people started trying to apply formal semantics to compiler optimizations and found these soundness holes.

And the most annoying part of all are the people sitting on the sidelines yelling at us "pointers are integers, why are you guys making this all so complicated?"
Is this related to the US sovereign default scheduled to take place within approximately a month?
Ask HN: Do the tarrifs impact software/SaaS? If so, how?
Will it be more difficult to sell software or SaaS across the border between Canada and the US?
Curious libjpegturbo fork by an author who hates CMake?
I don't quite get the rationale but ok.
Perhaps applying:

https://www.doc.ic.ac.uk/~re14/Evans-R-2020-PhD-Thesis.pdf

"Kant’s Cognitive Architecture"

will help?

> ...we provide a precise formalization of what it means

> to “make sense” of a sensory sequence. According to our definition, making sense means constructing

> a symbolic causal theory that explains the sensory sequence and satisfies a set of unity conditions

> that were inspired by Kant’s discussion in the first half of the Critique of Pure Reason. According to

> our interpretation, making sense of sensory input is a type of program synthesis, but it is unsupervised

> program synthesis.
"Almost every Java program, library, and framework uses some degree of reflection and dynamic classloading, and so you do have to spend the effort to configure Graal appropriately." -- this is by far the biggest problem with native binary compilation.

Imagine spending 15+ minutes building an exe, and it stopping at minute 15 because some things needed to be added in the config. Or, after waiting 30 minutes to have the exe ready, it refused to run because of the same problem.

The issue is we don't know what we don't know. You don't "forget to include something" because you don't know what to include (and even after seeing the error, you still don't lol).

I just wished all 3rd party libraries put their "include this config to include my lib in your exe", just like OSGi manifest (https://www.ibm.com/docs/en/wasdtfe?topic=overview-osgi-bund...).

For example, an issue still open for almost 2 years: https://github.com/firebase/firebase-admin-java/issues/800
Lol - "cause of death" is often an opinion as well. Or no opinion at all - "natural causes."
The right: "free speech for me but not for thee."
I wonder if VoiceControl can be turned on without a mouse, and then one might be able to use VoiceControl to add a pointing device without currently having any pointing device.

I’ve only tried VoiceControl very very briefly and it was a bit difficult to get it to do what I meant that it should do, I seem to remember. But might be worth trying it a bit more.
If there's a law against downloading or possessing it, and they're serious about enforcing it, they absolutely can stop you. Yes you could still do it, and maybe even avoid detection, but would you, if getting caught meant prison time?
It's actually sort of in the Hacker News Guidelines (https://news.ycombinator.com/newsguidelines.html):

"Please don't post comments saying that HN is turning into Reddit. It's a semi-noob illusion, as old as the hills."
He’s an elected president, not an elected dictator. It’s totally reasonable in our democracy to say that you don’t get to do anything everything you want just because you got 51% of the vote.

We have a constitution and separation of powers which many seem to have forgotten about this week
I had a trailing `/s` there. It was not a compliment on my part.
Interesting o3-mini produces a correct response:
https://chatgpt.com/share/679efd3f-8e88-800d-9aa8-e3fadccf7c...
Hah, that's fun. My o3-mini-high transcript didn't hint that it recognized the puzzle and looked legit when I scanned through them, but I'm still very suspicious since this is evidently such a classic puzzle.

I should have changed the cigarette brands to something else too.
So this is how Elon gets his everything app. Jesus Christ, the corruption knows no end. And he might actually pull it off with this administration.
> There is no inconsistency at all. A policy that uses protected class as a factor, in any way, is discriminatory.

But the policy you describe uses protected class as a factor, and results in, for example, atheist applicants being less likely to be hired than before.

> And the conversation is about racial and gender equity.

No, the conversation is about equity, and my belief that you misunderstood the term. All I've claimed is that equity is a worthwhile goal. You seem deeply unwilling to engage with that claim, instead distracting with questions about legality which, even if your understanding were correct, wouldn't be relevant to my question.

> Quotas (whether they're quotas on hiring or interviewing)

So would a policy that says that for any given position, you must interview at least one candidate from say 4 distinct declared racial backgrounds be legal in your view? It treats every race equally and doesn't favor or disfavor any particular race.

> I highly suggest you read up on employment laws, especially since you're putting your employer's name in your profile.

While the relevant executive order was repealed, making it no longer required, I think referencing the department of labor's own info on hiring law is worthwhile: https://www.dol.gov/agencies/ofccp/faqs/AAFAQs and https://www.dol.gov/agencies/ofccp/faqs/placement-goals#Q3 The crux being that while explicit hiring quotas are illegal, which is what I said, goals to measure against are not illegal. There's nothing I can find to suggest that quotas in application pool size are unlawful, and they're every common. I appreciate your concern, but perhaps read up yourself.
Musk has major influence in the legal system. The law is what he demands it is. There's a reason why everyone is settling with trump, gotta kiss the ring.

Logically, your argument absolutely falls square into freedom of speech territory. But we do not live in logical times.
In this era? Not so.
"showing that multilayer transformers indeed cannot solve certain complicated compositional tasks. Basically, some compositional problems will always be beyond the ability of transformer-based LLMs."

Pretty sure this is just false and the paper doesn't show this. I could be misunderstanding, but it looks like the result is only about a single token/forward pass, not a reasoning model with many thousands of tokens like o1/o3
Solving it with Prolog is neat, and a very realistic way of how LLMs with tools should be expected to handle this kind of thing.
Literally, they are following the Playbook of Yarvin and the so called Dark Enlightenment
Funny story, my lady's landlord has been doing some blatantly illegal stuff, and then taking her to court. Instead she went on the offensive and suddenly the landlord is extremely willing to fix all the problems and such.

Being on the offensive is far better than on the defensive legally it seems.
It's going to be NASA next isn't it, because of climate change and the need to remove any evidence of that and other environmental changes...
https://en.wikipedia.org/wiki/PAQ
biologically male, biologically female

The trans stuff has definitely been controversial, but those phrases are definitely not "woke"?
Show HN: LinkedScribe AI – Never Struggle with LinkedIn Posts Again
Public administration should be "boring" and a utility that provides predictable quality services without the corrosive corruption of total regulatory capture. The problem right now is it has devolved into a spectacle of personalities and fanatical team sport that occupies disproportionate mindshare that reduces happiness, economic output, world standing, and more.

The most sensible way forward would be in the spirit of Aaron Swartz's realization that the political operating system was sick and now needs urgent care. And so no enduring reform can be realized from within because of vested interested benefit from the ever sliding status quo. This demands a broad base of ordinary people to overthrow the oligarchs using deliberate, peaceful means by the multitudes. The time still isn't ripe yet, but the time is coming for a necessary and essential reset back to sane adult competent leaders who listen to the people irrespective of money, and provide public administration for the benefit of the majority of folks. Small government is no panacea when the billionaires' rival the state in power and influence, smart government not influenced by big money is where the US needs to be to thrive and to continue. Perhaps America should do representative democracy differently with a variant of sortition rather than celebrity popularity contests sold by mass media.
"woke" seriously broke the minds of the conservatives in America. Crazy to watch their reaction to this. They can't take their own advice and just mind their own business? Leave people alone?

The cdc is political and gets involved in cultural wars? This is already happening with this administration?
What a terrible blow to US Constitutional rights.
https://appliedsciences.nasa.gov/

:(
The one that says there are only two genders and disagrees with biological reality, confuses sex and gender, and is mostly about fear instead of education.
https://ntrs.nasa.gov. Get to downloading!
Anything related to climate science or vaccines is next. Disgusting.
Autocratic Capture
https://archive.ph/Amr5O
It's a shame most of that research is digital, I'm sure they would have preferred a public book burning like in die gut old days.
I'm going to resist to the end; the challenge is finding and telling stories people are willing to hear.