MurphyA/hacker-news huggingface dataset:
by lo_zamoyski | 2025-04-14 21:00:06+00:00
This misunderstands the theology and metaphysics very profoundly.

The immutability of God is a necessary theological conclusion. If God changes, then He isn't God, by definition. It would be a metaphysical absurdity. Change presupposes imperfection and, therefore the potential for perfection, i.e., full actualization, but God as the Ipsum Esse Subsistens, is pure act with no potential left to actualize. God is fully dynamic, but this is quite different from change. He may appear to change from our temporal perspective as events are distributed in time, but from an eternal perspective, all is actualized, "simultaneous", so to speak.

W.r.t. gradual revelation, that is exactly what Scripture is a record of. A Catholic reading will demonstrate that revelation is in the business of slowly revealing to Man who God is (at least that which cannot be known through unaided reason; quite a bit can be known through reason alone), preparing him for the culmination of public revelation in the Incarnation of the Logos, something foreshadowed in the Old Testament. And furthermore, the Catholic Church recognizes the development of doctrine, which you could call a refinement and deepening of understanding of what has been revealed. I like the analogy to mathematics, even if it is imperfect: all the theorems that follow from a set of axioms are in a sense already in the axioms, and so mathematics is in the business of unpacking them.

However, this gradual revelation and development of doctrine, in order to be authentic, cannot contradict what was known previously, at least to a certain accuracy, if not precision. Of course, here is where people can get tripped up by analogical devices and literal-mindedness. Scripture is written using the idioms, paradigms, and language of the people who wrote it and for whom it was written. That means that some of the language may not agree with strict scientific descriptions of the 21st century. However, when that does occur, you will note that the sense is not the reference: when the Bible speaks of the sun rising in the east and setting in the west in order to communicate some theological truth, it is not making astronomical claims about the sun and the earth. It is using this language as instruments to communicate something, often by analogy. In fact, analogy is essential to theology, something captured in the concept of the analogia entis. Univocal or equivocal approaches to the subject of God have been the source of numerous heresies.
by entropicdrifter | 2025-04-14 21:00:13+00:00
I once wrote a reply email to an Amazon recruiter saying effectively, "If Amazon were the last software company left on earth, I would rather become a carpenter than work there. Please never ask me to interview there again."

Anyhow a couple years later I got called by a recruiter from Amazon asking me if I'd be willing to relocate to work there.
by xg15 | 2025-04-14 21:00:22+00:00
Yeah, had that thought as well at some point. It definitely feels like some constraint is slowly applied to the web, though I find the exact security properties somewhat nebulous. The one concrete requirement that seems to be pushed by this is that any host that expects to be accessed through a browser has to be connected to the internet at some point - and has to have an internet-registered domain name. (And at least the root of that name will be publicly visible in a CT log and will be processed and stored by who-knows-what)

Though weirdly, it doesn't even matter to which particular service the host connects or if the domain name actually resolves to anything.

But it does feel like some creeping "platformization" is going on: The requirements make it reliably a pain to run anything that's not connected to the internet, such as LAN-only websites or local web interfaces of IoT devices.

I wonder if the end goal is some sort of "app-storization" of the web, where some entity has the power to ban a site globally, even if registrar, server and users are all in a different country and even if the site only exists internally on some LAN. But then again, I'm unsure if browsers couldn't effectively do that already today - so if they could, why all the effort?

Taking off the conspiracy hat, maybe the tighter update requirements could be a push so that people finally develop some protocol how to securely update certificates on IoT devices. That would at least disprove the conspiracy theory.
by rsynnott | 2025-04-14 21:00:29+00:00
> A lot of people seem to have the idea (or at least SELL the idea, I'm not sure if they actually believe it) that this all leads to superhuman intelligence AGI and whoever hits that first is the "winner takes all" winner.

... Wait, why would making the basilisk give you a monopoly? Do they think their magic super intelligence would do their bidding or something? Have they never seen any sci-fi?

(The idea that LLMs will lead to superhuman intelligence seems ludicrous on the face of it, but even going along with that it doesn't make any sense.)
by aabhay | 2025-04-14 21:01:27+00:00
On the other hand, if you think of a programming language as a specialized tool then you choose the tool for the job and don’t reach for your swiss army knife to chop down a tree.

The problem with gradually typed languages is that there are few such trees that should be chopped by their blunt blades. At least Rust is the best for a number of things instead of mediocre at all of them.

One counterpoint to this is local self exploratory programming. For that a swiss army knife is ideal, but in those cases who cares about functional programming or abstractions?
by ethbr1 | 2025-04-14 21:03:18+00:00
Thought folks could do with a little history about how (and why) the US federal bureaucracy was originally de-politicized, in the words of one (not yet president) Teddy Roosevelt.

https://en.m.wikipedia.org/wiki/Theodore_Roosevelt#Civil_Ser...

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

... the United States Civil Service Commission was later replaced by the Office of Personnel Management and the Merit Systems Protection Board in 1978.
by int_19h | 2025-04-14 21:03:41+00:00
Curiously, higher-order functions, and the concept of something like a closure, dates back to the earliest days of PL design - and I'm not even talking about Lisp! Algol-60, the granddaddy of pretty much every modern mainstream programming language, already had the notion of nested functions (which closed over variables from the surrounding scopes) and the ability to pass those functions to other functions.

They weren't fully first-class because there were no function-typed variables, nor could you return a function. Even so, this already lets you do stuff like map and filter. And Algol-60 programs from that era did use those capabilities, e.g.:

PROCEDURE EULER (FCT, SUM, EPS, TIM) VALUE EPS, TIM; INTEGER TIM; REAL PROCEDURE FCT; REAL SUM, EPS; BEGIN INTEGER I, K, N, T; ARRAY M [0 .. 15]; REAL MN, MP, DS; I := N := T := 0; M[0] := FCT(0); SUM := M[0] / 2; NEXTTERM: I := I+1; MN := FCT(1); FOR K := 0 STEP 1 UNTIL N DO BEGIN MP := (MN + M[K]) / 2; M[K] := MN; MN := MP END; IF (ABS(MN) < ABS(M[N]) AND N < 15) THEN BEGIN DS := MN/2; N := N+1; M[N] := MN END ELSE DS := MN; SUM := SUM + DS; IF ABS(DS) < EPS THEN T := T + 1 ELSE T := 0; IF T < TIM THEN GOTO NEXTTERM END;
by srean | 2025-04-14 21:03:44+00:00
> You do not think this is possible.

Not at all.

I believe just throwing a corpus of dolphin-dolphin vocalizations at an LLM will fall very short.

I quote myself again -- 'But that alone would tell us almost nothing of what dolphin dialogue means".

Note the emphasis on the word alone.

What needs to happen is to build shared experiences, perhaps with a pod and incorporate that into the ML training process. If this succeeds this exercise of building shared experience will do heavier lifting than the LLM.

Had you spent less effort in coming up with insults and used the leftover processing bandwidth to understand my position it would have made for a nicer exchange. For restoring civility to our conversation I indeed do not hold high hopes.
by observationist | 2025-04-14 21:04:26+00:00
Dead things, and behaviors that don't align with our predictive models shift the context to one of threat - if something shaped like something you understand starts behaving in a way that you no longer understand, you'll become progressively more concerned. If a pencil started rolling around aggressively chasing you, it'd evoke fear, even though you'd probably defend yourself fairly capably.

If enough predictive models are broken, people feel like they've gone crazy - various drugs and experiments demonstrate a lot of these factors.

The interesting thing about uncanny valley is that the stimuli are on a threshold, and humans are really good at picking up tiny violations of those expectations, which translates to unease or fear.
by darkwater | 2025-04-14 21:04:48+00:00
The toilet flushing one is full of weird, unrelated noises.

The tennis video, as other commented, is good but there is a noticeable delay between the action and the sound. And the "loving couple holding IA hands and then dancing", well, the input is already cringe enough.

For all these diffusion models, look like we are 90% here, now we just need the final 90%.
by insane_dreamer | 2025-04-14 21:04:53+00:00
> antisemitism is barely mentioned as a problem

Because it's very obviously being used as a cover to exert control over universities which are deemed to be too "woke" (which has nothing to do with anti-semitism).

Yes, antisemitism exists, like many other social ills. But is it a major problem at Harvard and these elite institutions? No, it is not.
by refulgentis | 2025-04-14 21:05:34+00:00
Does the general principle "we're always performing, in a particular costume, for our audience" help confirm the excited marine biologist desperately wanted to keep their job in spite of a "nothing that's not AI" mandate, so they made up some bullshit?

Separately, could invoking it anytime someone appears excited be described as distrustful of human sincerity or integrity?

After working through these exercises, my answers are no/yes, which leaves me having to agree its clearly cynical. (because "define:cynical" returns "distrustful of human sincerity or integrity")
by rqtwteye | 2025-04-14 21:05:52+00:00
My read is that started as anti colonialism against the French but then the big powers took sides so the Vietnamese started fighting each other.

The sad thing is that a lot of problems could have been avoided if the Americans in the 50s wouldn't have been so scared of any kind of communism or socialism. They messed up Iran, they drove Egypt into the arms of the Soviets, and they may have even had friendlier relationships with Fidel Castro.
by catapart | 2025-04-14 21:06:31+00:00
It's true that it's another dependency, but this is the entire contents of a file I drop into my project root called `raw-loader.d.ts`:

```

declare module '*?raw' { const rawFileContent: string export default rawFileContent }

```

Then, when I add the file to my types property array of my tsconfig's compilerOptions, I can import anything I want into a typescript file as a string, so long as I add "?raw" to the end of it. I use it to inject HTML and CSS into templates. No reason it couldn't be used to inject a .proto file's contents into the inline template.

Again, you're technically correct! But a "import non js content" feature is a pretty solveable problem in TS. Maybe not at the language level, but at the implementation level, at least.
by hectormalot | 2025-04-14 21:06:55+00:00
In some dimensions I recognize the slow down in how fast new capabilities develop, but the speed still feels very high:

Image generation suddenly went from gimmick to useful now that prompt adherence is so much better (eagerly waiting for that to be in the API)

Coding performance continues to improve noticeably (for me). Claude 3.7 felt like a big step from 4o/3.5. Gemini 2.5 in a similar way.compared to just 6 months ago I can give bigger and more complex pieces of work to it and get relatively good output back. (Net acceleration)

Audio-2-audio seems like it will be a big step as well. I think this has much more potential than the STT-LLM-TTS architecture commonly used today (latency, quality)
by Uzmanali | 2025-04-14 21:07:29+00:00
I’ve seen firsthand how overregulation and red tape slow down businesses in emerging markets. In one startup, it took months to get approvals, which drained our resources and slowed growth.

Economic freedom is key, like in Singapore, where a free market encourages innovation. If African governments reduce barriers and create fair systems for entrepreneurs, it could unlock huge potential. Streamlined policies and trade would boost investment, reduce corruption, and help lift people out of poverty. This is the way forward for Africa.
by wongarsu | 2025-04-14 21:08:19+00:00
The article also notes

> Despite no web browser implementing unencrypted HTTP/2, we detect that up to 6.28% of websites support unencrypted HTTP/2 traffic.

My own experience with trying to use unencrypted http/2 between two docker containers was that it was easier to use a self-signed certificate than to get my libraries to use unencrypted http/2. If I was in charge of the Chinese firewall this would be pretty far down on my list of holes to close up
by guywithahat | 2025-04-14 21:08:32+00:00
This sounds very similar to all the DEI stuff which they didn't have an issue with before. Forcing them to not be aggressively hostile towards Republicans does not seem like an unreasonable ask.

I had to take critical race theory classes for my grad school program, I'm sure they can find a Christian to make a powerpoint on avoiding hate towards Christians.

This is all stuff which has been happening in reverse for decades. The real solution is for schools to find a funding route other than government, but until then these shinanigans have been happening for decades and this isn't suddenly "insane".
by atoav | 2025-04-14 21:08:52+00:00
It all makes sense with a fascist power logic. The goal isn't to implement consistent policy to reach rational targets. The goal is to wield power and slowly errode any opposition with divisive actions that support anybody that is loyal to you. Importantly being loyal doesn't guarantee you will be spared. In these goals consistency is irrelevant, in fact being inconsistent and acting with arbitrary despotism is a feature since it produces more fear.

If you ever find any fascist critique of their enemies you will quickly realize that all of which they accuse their enemies of doing, they will do themselves. Decry freedom of speech as no one is "allowed" to say sexist/racist things anymore? Be sure they will go in and ban books, political thoughts and literal words. Hillarys emails? We literally operate our foreign policy in signal groups.

Quite frankly I am a bit puzzled by the neutrality with which some Americans try to analyze this absolutely crazy political situation. It is like pondering over the gas mixture in the smoke while your house is on fire, absolutely unhinged.
by skyyler | 2025-04-14 21:09:50+00:00
I know that Jewish people are attacked by antisemites. No one is questioning that Jews face race-based hatred, just like Muslims do. Especially after 9/11, Muslims face a lot of antimuslim sentiment here.

I am questioning the notion that leftist groups on universities are doing antimuslim or antijewish activities.

The article you linked writes this about the perpetrator of the attack you're referencing here: "The man, whom police later identified as Jarrett Buba, a 52-year-old white man from Pittsburgh"

That doesn't really sound like a leftist student protestor to me. I was told that leftist student protestors are attacking people based solely on their ethnicity, so I'd like some evidence of this.
by Koffiepoeder | 2025-04-14 21:10:15+00:00
I do know about the ISO C standard, I was actually more intending to refer to the fact that, even though there exists a well defined standard, there may be implementation differences in the libc variants you compile against, certainly in certain UB-areas. I probably should have made that a bit more clear, because I didn't actually make that point at all. Excuses for the bad formulation of my thoughts.
by forrestthewoods | 2025-04-14 21:10:49+00:00
> the many billions it was meant to provide, in interest

THATS WHAT WHAT THE FIFTY BILLION IS

It’s a war chest that has been carefully cultivated over decades. The fifty billion is the result of a hundred years of investment and management.

If it can’t be spent now then when the fuck exactly can it be spent? In 200 years you’d still be saying “this is the seed corn for tomorrow!!”

I’m not saying burn it down to zero. But the whole fucking point of an endowment is to provide stability during trying times. If you can’t use the interest that has been accumulated now then when the fuck can you??
by ViktorRay | 2025-04-14 21:10:50+00:00
Imagine if South Vietnam had remained independent. If it had become a thriving prosperous free democracy like South Korea or Taiwan.

Would we still be talking about “Vietnam’s storied anti colonialism” today?

How often do we talk about Korean anti colonialism or Chinese anti colonialism nowadays? Not much. When people talk about Korea and China nowadays it is in the context of the differences between North and South Korea and the differences between mainland China and the free democratic Chinese[1] island that is Taiwan.

When I look back at the American counterculture movement and how triumphant those people were that the Vietnam War was over…and then you read about the end of South Vietnam….the fall of Saigon… and then you look at where South Korea and Taiwan are today….you can’t help but wonder…

And many of these stories of Vietnam are paternalistic. They deny the agency of the South Vietnamese.

[1] By this I mean Taiwan is Chinese in terms of culture.
by nickpsecurity | 2025-04-14 21:11:23+00:00
More like it's two philosophies with similar elements originating from places where both were taught. In both cases, those that believe in them try to force them on everyone in law, policy, etc. They've been doing that, too, so it isn't speculative.

There's also large groups pushing this stuff in businesses, forcing it on all employees, under the banner of ESG. That includes Blackrock and World Economic Forum. There's billions of dollars behind forcing thus stuff on America. Yet, we still see voters rebelling against it, like by electing Trump, because they don't want our country to keep being ruined.
by dogleash | 2025-04-14 21:11:24+00:00
>On the "very-online right," there's a lot of "go woke, go broke," but there is generally not a lot of precision when it comes to actually measuring whether this is true.

In other news: Despite many chants to the contrary, the Cincinnati Zoo reported only two visitors trespassed for male full frontal nudity on the most recent anniversary of Harambe's death.
by emporas | 2025-04-14 21:11:33+00:00
It reminds me of "Generative AI is just a phase. What’s next is interactive AI."

The more i think about it however, command line applications are about as interactive as a program can be.

Let's say one is interested to find out which one of the following 7 next days is gonna rain and send it to a telegram bot. `weather_forecast --days 7 | grep rain` | send_telegram.

The whole thing of off-loading everything to nondeterministic computation instead of the good ol determinism does seem strange to me. I am a huge fan though, of using non-deterministic computation for creating deterministic computation, i.e. programming.

/As a side note, i have played chess against Ishiguro many times on lichess.

[1] https://www.technologyreview.com/2023/09/15/1079624/deepmind...
by _huayra_ | 2025-04-14 21:11:39+00:00
At the byte level, it's quite possible the layouts are the same. However, an "intrusive data structure" means that the nodes themselves are the data.

In other words, intrusive is like this:

struct T : NodeType<T> { // T data NodeType<T> next, prev; };

whereas non-intrusive data structures the T's are not the nodes themselves

struct NodeType<T> { NodeType<T> next, prev; T t; };

Doing non-intrusive means you need to own the lifecycle of the nodes (and make them copyable, move-constructible, or some combo thereof). Intrusive means that the caller can manage the nodes' lifecycles and just say "here's a node, I promise it'll live while the list is still alive" and have that node be on the stack, heap, static, etc.
by dctoedt | 2025-04-14 21:11:49+00:00
> The immutability of God is a necessary theological conclusion. If God changes, then He isn't God, by definition. It would be a metaphysical absurdity.

Is that so? Just because some people can't conceive of a mutable God, it doesn't mean it's impossible by definition. (Quantum mechanics was equally "inconceivable," until it wasn't.)

For the sake of argument, let's assume that God exists. Of course it's not our place to proclaim that God does change — that's above our paygrade, too. But to purport to categorically rule out the possibility is not just Dunning-Kruger arrogance, it's blasphemy.

Our discussion brings to mind chapter 38 of the Book of Job. We can summarize it (profanely) as God's saying to Job, in essence, "Who the f*ck are you to question me?"

https://www.biblegateway.com/passage/?search=Job%2038&versio...
by sanspareilsmyn | 2025-04-14 21:12:29+00:00
Thanks for sharing:) Your approach seems reasonable and extremely powerful for variable features. As you mentioned, using local Envoy proxy with Istio is an excellent choice. But my approach was for reducing all the extra setups and just ‘port-forward’ services with single binary. I was intended to help developers who might be less experienced with cloud-native complexities, or anyone who just wants a simple way to do testing against their clusters!