MurphyA/hacker-news huggingface dataset:
by Archelaos | 2025-05-02 15:15:51+00:00
> Take Plato, for example: He and his also-famous mentor believed knowledge was a form of recollection from past lives, an idea illustrated with an unconvincing geometry lesson in Phaedo (EDIT: It’s Meno).

I find the line of thought in "Meno" extremly impressiv. Let me try to reformulate it in modern terms.

The literary form of a dialogue emphasizes that the thoughts of the participants should not be considered as doctrines, but the whole as an investigation of a problem domain.

The dialogue starts with a distinction between empirical knowledge ("The way to Larisa") and mathematical knowledge. Empirical knowledge is something that I cannot know from introspection. In contrast, the nature of mathematical knowledge comes from inside the mind. This is demonstrated by an uneducated, but smart child (a slave boy). The child is guided to discover a mathematical insight by questions alone. At first the boy does not know the right answer to an initial question. Then Socartes starts again with a simple question the boy is able to answer. Then a sequence of other questions follows each building on the previous answers. Socrates only questions, the boy only answers. Finally the boy arrives at the correct answer of the initial question whose answer he did not know at the start.

This scene should demonstrate the essence of mathematical proof. First we do not know the answer of a mathematical problem. Step-by-step we clarify our understanding, until we arrive at an answer. At this stage we know whether the particular mathematical statement is true or false. We expanded our understanding by only just thinking. In one way it is new knowledge (we now know something we did not, when we looked for a proof), in another way the knowledge was always there, just hidden in our mind.

At this point Socrates hits a limit where he runs out of questions to invistigate this further. This is when he starts to tell a story (the greek word for story is "myth"). Such stories are just tools to further investigate a problem when purely theoretical thoughts come to an end. In the dialogue it is also accompanied by a lot of joking, and "let me speculate" and "don't take it too serious" sort of remarks. So he reminds his fellows about some old stories (that he adapts and decorates a little to match the problem) about reincarnation where one looses the memory of one's past life but has occasionally some sort of flashbacks. This is more or less the whole point of the story: Perhaps we should think of mathematical knowledge as analogous to memory, but in a in a transcendent way.

Our modern doctrins are not very much off: Our ability of mathematical thinking is something that is inherent to us, more specifically to our brains. The blueprint (a sort of memory?) for our brains are in our genes. This way we are a sort of reincarnation of our parents, but in a state were we have to undergo all the mathematical training again.

What Plato lacks is a theory of evolutionary epistemology. But this is a really new development.
by thisisit | 2025-05-02 15:15:58+00:00
Well given that the country has a penchant for altering history such that “you did not see/hear what you actually heard and saw with your own eyes”, there are not going to be any difficult conversations. Civil war was for “state rights” while quietly omitting the slaves part.

Even today when the impact of tariffs are clear people rattle off everything to cover their bases - It will bring back jobs. It will create negotiation leverage for US. (If it did and China ate some of those tariffs what jobs are coming back to the US). These same people will deny their role in the mess they are creating.
by LPisGood | 2025-05-02 15:16:06+00:00
If the best you can do is that they occasionally interview left leaning authors with out-there views, I don’t know what to tell you.

The core programming, things like The Sound of Ideas, Marketplace, Morning Edition, the hourly news updates, etc hardly have “gag worthy” bias.

Regarding platforming a J6 insurrectionist: https://www.npr.org/2024/10/21/g-s1-29188/new-npr-series-a-g...
by bwfan123 | 2025-05-02 15:16:14+00:00
In my youth, I read many books, and I still have many unread ones on the shelf. But, eventually, realized that, you only understand what you can create (to paraphrase feynman), and also that, what it means to be curious is to start from a burning problem or itch which differs for each one of us based on something deeper in our psyche.

Productive activities put us often into uncomfortable mental places which spurs growth of some kind - the discomfort is difficult to embrace however, which is why we resist it. In contrast, the consumptive activity comes out of a comfortable mental place and is embraced easily.

So, a question I ask myself is: what problems am i passionate about, and what am i doing (productively) about them. If I dont feel any passion, then perhaps, something is amiss (I am not communicating with my soul so-to-speak), and if I am not doing anything about them, then I need to get my ass moving and embrace the discomfort.
by MomsAVoxell | 2025-05-02 15:16:17+00:00
You’d be surprised to know, that in a majority of the cases of NT installations in that era, providing services, there were very, very few admins around to even notice what was going on. Running services like this on an NT box was done ‘in order to not have to have an admin’, in so many thousands of cases, it cannot be underestimated.

Disclaimer: I put a lot of servers on the Internet in the 90’s/early 2000’s. It was industry-wide standard practice: ‘use NT so you don’t need an admin’.
by hresvelgr | 2025-05-02 15:16:35+00:00
> ECS is basically the realization that relational databases are a pretty damn good model.

A pretty darn good model for what though and to what extent? For processing millions of objects, sure. For gameplay logic, using ECS for everything? I don't know about that. What I was implying with my comment is that ergonomics are the most important trait of a good game engine.

I reach for an ECS as a last resort when the performance of a gameplay system demands it, not before. Even before that I will tweak my gameplay code to be less wasteful.
by sorcerer-mar | 2025-05-02 15:16:44+00:00
Eh this isn't quite clear. National Guardsmen take an oath to the Constitution and to follow the orders of both the President and the Governor. Above all, their oath is to the Constitution.

Both SCOTUS and a Governor saying that their oath to the Constitution compels (or at least authorizes) a certain course of action would be convincing to some, I'm sure.
by AIPedant | 2025-05-02 15:16:57+00:00
This is not very meaningful unless you filter the plethora of 0s and 1s out of games that clearly don't deserve then (e.g. Baldur's Gate 3 - I didn't like BG3 very much either, but even for the crankiest gamers it is not honest to give it below 6/10).

There is some interesting sociology about why Clair Obscur hasn't been dogpiled by bad-faith reviews, but I don't think it says much about the quality of the game. In particular I am sure the score will go down once it wins some awards and bored losers get mad about it.
by Cieric | 2025-05-02 15:16:58+00:00
I personally agree with this, but a lot of the tools out there break this easily. I'm curious if you have any tools that handle the formatting like this properly. I've written my own tool that will report invalid whitespace when following this, but it can't fix any of it automatically. The commonly used clang-format also messes up this scheme as it will convert alignment space to tabs.
by hnlmorg | 2025-05-02 15:17:12+00:00
That’s just the tip of the iceberg too. More and more services have adopted a web-first interface. So the benefits of native applications have dwindled when you’re basically just using web technologies regardless.

And then there is the massive abuse of spyware in mobile apps. For that reason alone, I rarely bother with native apps if I can help it.
by jsheard | 2025-05-02 15:17:17+00:00
AAA development cycles are getting out of hand...

2001, 2002, 2004 - GTA3 Trilogy

2008 - GTA4

2013 - GTA5

2026 - GTA6? Assuming no more delays.

This one has been cooking for so long that they missed an entire console generation, GTA5 originally launched on the PS3 and Xbox 360. Naughty Dog is a similar story, the PS5 has been on shelves for nearly five years and their first original title for it doesn't even have a projected release year. Rumors are pointing to 2027 at the earliest.
by theptip | 2025-05-02 15:17:18+00:00
> A fundamental problem with this entire class of machine learning is that it is based on a model / simulation of reality… all such simulations that attempt to model any non-trivial system are imperfect

Depends on what your goal is. If you are trying to solve the narrow problem of rocketry or whatever, sure. But maybe not if your goal is making models smarter.

The broader context is that we need new oracles beyond math and programming in order to exercise CoT models on longer planning-horizon tasks.

In this case, if working with a toy world model lets you learn generalizable strategies (I bet it does, as video games do too) then this sort of eval can be a useful addition.
by nebula8804 | 2025-05-02 15:17:26+00:00
There are many ways you can look at this situation. In my view, I don't think its a matter of hate. You gotta separate the actions of the clown on top with the actions of the government. The government is tasked with protecting the people and ensuring their best future. To them, it does not matter if its competing against China or any other country. Its not personal, its business.

To that end, the US's rivals have long used its weaknesses against it. While there are unconfirmed reports that China and Russia helped to prop up BLM in 2020, we do know for a fact that the USSR fanned the flame of racial tensions during the cold war. The best way to fight this? Get as close as you can to a fix for the problem. In that regard the USSR's attacks could have been used against them as a motivation to improve things and the US has improved.

Likewise its questionable if pushing the lie flat movement would harm regular Chinese people. From the government's POV, it looks bad: Chinese people being worked to death, can't afford a one bedroom apartment and one couple has to take care of possibly four elderly people. Of course some will just decide to 'opt out'. Makes China look bad while also possibly helping regular Chinese people in the long run.
by rexpop | 2025-05-02 15:17:34+00:00
Congrats, yours is the most condescending comment on this site today.

That sounds like you have already got a framework that works for you, which is great for you. Too bad it's a framework that drives you to upbraid innocent strangers on the internet.

Not everyone can take action on the words "just chill." We're all in different places in life—think of it as a state space model. The same vector of force results in different coordinates when applied to different coordinates.
by sirrobot01 | 2025-05-02 15:17:35+00:00
Location: Nigeria

Remote: OK

Willing to relocate: Yes

Technologies: Python, Go, JavaScript, Django, DRF, Flask, Celery, Redis, AWS, FastAPI

Github: https://github.com/sirrobot01

Resume: https://drive.google.com/file/d/1dmHC01E1BKHQANrjV30oudG3aI0...

Portfolio: https://biodun.dev

Email: akeremukhtar10@gmail.com

With over 6 years of experience in Software Engineering, I specialize in building reliable, scalable solutions using Python (Django, Django Rest Framework, Flask, FastAPI), Go, and JavaScript.

If you're interested in learning more about how I code, check out my GitHub (https://github.com/sirrobot01).

Are you developing fast? Do you want reliability? Are you looking for someone who can translate ideas into viable products? Then you should reach out to me.
by netsharc | 2025-05-02 15:18:25+00:00
That's why the only "viable resistance" would be a high-ranking military-person with a tank battalion and thousands of soldiers who are willing to follow his conviction of "I'm going to perform insubordination because I believe my commander in chief is an enemy of the constitution, follow me if you believe the same", and then have a plan to besiege the White House/Capitol.

Anything smaller will just be someone which the police can deal with.

But coordinating thousands of people is hard, and any plan would leak easily and be discovered by that alcoholic wife-beating Fox News reporter. We might hear generals being fired or moved in the coming months/years of this regime.

If I had to put money whether I'd see scenes like this in DC: https://youtu.be/pF8gyC-XD-w , I'd have to consider whether American military people are brave or they'd just be "followers of orders".

Alternatively, maybe some governors will direct their national guard to defend against what they've deemed to be illegal action done by a federal organ. Hopefully the military will show restraint if being asked to shoot fellow Americans, but hey, if MAGA has also infected the military, maybe they'll see defenders of blue states as "woke-mind-virus-infected cowards" and gleefully shoot them.

Where's that book/article that says the US is already in the next civil war...
by throwawaymaths | 2025-05-02 15:18:30+00:00
Yes, that is why I said more authoritarian.

We need to acknowledge other authoritarian or authoritarian-lite practices that have gone under the radar for decades, like funding elite colleges (is that political favoritism?), or political influence through NGOs, or even "doing things for the greater good" through unaccountable NGOs like "broadband equity", where there is no explicit charter for the government to do such things.
by alfarez | 2025-05-02 15:18:47+00:00
Hi all,

I built a simple posture monitor that runs in the browser. Why? Because my neck pain has gotten to epic proportions, and this not making me happy.

Finally put it online today, so if you want to try it out, here it is: https://posturemonitorapp.com.

No installation, no signup, none of that BS. Just go to the URL and start monitoring. Yeah, it's free.

If you do use it, please do let me know what you think. I'd love to know what I can do to improve it.

Thanks!

Farez
by bobajeff | 2025-05-02 15:18:48+00:00
I had not known that this was AI until reading the comments here. I was really enjoying the 'anti-folk big band' station. Now I'm sure that's just a nonsense genre but that nonsense was more enjoyable than the stuff I've found on Spotify. I'm not sure what that says about me or the state of music but I did not expect it to be this capable yet.
by WorldMaker | 2025-05-02 15:19:04+00:00
Couchbase had a lot of subtle incompatibilities with PouchDB in my attempts to use it on a past project. The big one I recall was that Couchbase had far more restrictions on key names and that required some workarounds.

(Though to be fair Apache has been threatening to shrink the key space greatly as well with the considered move to the Foundation-based "CouchDB 4.0".)
by techpineapple | 2025-05-02 15:19:21+00:00
Another interpretation might be. I don't know whether to call this class based or what, but I think there's sort of a divide in the world around what people think there role is.

Like I think my role is to be relatively, I dunno, sort of pro-social. "Middle Class" It's not that I don't occasionally find like models and celebrities attractive, and it's not that I don't gaze at women, but like I don't think it's my role to maximally optimize the partner I'm looking for. Partially probably because I'm an awkward weird nerd, but I'm mostly looking to find the person that best complements me, not the person that maximizes my social value.

But like so many people can't seem to imagine that there are people in this world that don't see things in a completely transactional darwinian way, as evidenced by the core narrative the author recites, and I sort of can't see the opposite - why one would put objective value/beauty over subjective happiness.
by sjsdaiuasgdia | 2025-05-02 15:19:26+00:00
And these exist specifically to prevent a repeat of how Hitler did what he did.

https://archive.is/g6ElI

> Following his failed Beer Hall Putsch of November 1923, Hitler had renounced trying to overthrow the Weimar Republic by violent means but not his commitment to destroying the country’s democratic system, a determination he reiterated in a Legalitätseid—“legality oath”—before the Constitutional Court in September 1930. Invoking Article 1 of the Weimar constitution, which stated that the government was an expression of the will of the people, Hitler informed the court that once he had achieved power through legal means, he intended to mold the government as he saw fit. It was an astonishingly brazen statement.

> “So, through constitutional means?” the presiding judge asked.

> “Jawohl!” Hitler replied.
by lesuorac | 2025-05-02 15:20:00+00:00
While I'm not sure of the specifics for car insurance.

For health care, a lot of large companies technically have say Anthem or whatever but the company pays out all of the claims and it's just administered by Anthem. So you may have seen a similar thing where all claims were handled by say Geico but it's not Geico's pot of money paying out claims.
by jrdres | 2025-05-02 15:20:00+00:00
Wildberger has always been this way. Way back in 2007, Marc Chu-Carroll's "Good Math Bad Math" highlighted Wildberger: "This isn’t the typical wankish crackpottery, but rather a deep and interesting bit of crackpottery." In brief, Wildberger is clearly educated, but also clearly rejects axioms that mathematicians accepted a long time ago (infinite sets in this case):

"Dirty Rotten Infinite Sets and the Foundations of Math" http://www.goodmath.org/blog/2007/10/15/dirty-rotten-infinit...

Wildberger also wrote a book on geometry with nothing allowed but rationals. (Or something like that.)
by cosmicgadget | 2025-05-02 15:20:04+00:00
Haha famously western Al Jazeera. And the BBC, where if you say something critical of the government you fall out a window. I hope someday the NYT can exhibit the journalistic excellence of Marina.

I am glad we finally got to the point where you claim that the global consensus is wrong. Please continue living in your own reality until you get conscripted.
by BobaFloutist | 2025-05-02 15:20:08+00:00
>It's why they have invested so much in it, renamed the company, and played for keeps making deals with game developers to publish their games on their store.

Do you know this from anything he or meta has explicitly said, or is it conjecture based on assuming rational behavior and working backwards to come up with the most plausible explanation?

Occam's razor still says to me that Zuckerberg just personally finds VR really cool and compelling, and decided to point his money-printing machine in its direction. Kinda like Musk and space or the Kochs and preventing local investment in public transit.

I really do think he just thinks it's neat.
by selfhoster11 | 2025-05-02 15:20:29+00:00
I'm interested in only a handful of stereotypically STEM-adjacent topics. Out of 176 YouTube subscriptions, 2 of these are in my home language. And they are both musicians (= non-verbal content). Content dried up on 2 more that I've already unsubscribed from.

I'm using NewPipe instead of the official UI, so I know for a fact this stuff isn't being advertised at me. I pick my own feeds, and all the best content is English-based.
by ljf | 2025-05-02 15:20:32+00:00
Sorry to hear that - my son's yt account got banned as we missed the emails requesting ID (our fault, he never reads his emails). It was pretty gutting to lose all the content he uploaded (much of it he hadn't saved elsewhere), but more the followers and connections he had built up over 18 months.

We tried everything but like you found, once they have made a (automated) decision, there doesn't seem to be any fix other than moving forwards with a new plan/account/site/app.
by infinet | 2025-05-02 15:20:34+00:00
My workplace has two Windows 10 machines, one in daily use, and the other is mostly idle. Both are extremely slow. The one in daily use takes at least 15 minutes to become usable after boot. The other is not much better. They are domain-controlled so not much we can do to improve. In contrast, we still have a 20+ years computer, which has an IDE hard drive, running Windows 2000 with MS Office to operate an instrument, and it is much more responsive.
by leakycap | 2025-05-02 15:20:41+00:00
Subhead: "The tech giant instead engaged a firm that is fighting the president’s executive orders, Jenner & Block, in a sign that those firms can still attract clients."

However, the article has no information or comment from any side on the reasoning for the change & makes me wonder if this was a political move or just everyday business. Especially since Microsoft donated a huge sum of money to Trump's recent inauguration, see https://www.ft.com/content/7b0e136a-e3f6-4943-83c5-6b6efce4d...
by Someone1234 | 2025-05-02 15:20:57+00:00
It doesn't matter what a Verizon customer service representative said. Recovery Fees are not a tax and are not paid to the government. There is no justifiable reasons why they're broken out into a separate line item except to hide the total cost of service.

By that logic, why stop there? Why not have Gas Taxes, Vehicle Registration Fees, Payroll Taxes, Corporate Property Taxes, or Permitting Fees as separate line items in the cellular bill? Which may sound absurd, but that's identical logic to most of the existing non-tax fees.
by croemer | 2025-05-02 15:21:00+00:00
Was the paper really written 2 years ago?

The paper states "We exclude error codes that are no longer relevant in the latest version of the Rust compiler (1.67.1)".

A quick search shows that Rust 1.68.0 was released in March 2023: https://releases.rs/docs/1.68.0/

Update: looks like it really is 2 years old. "We evaluate both GPT-3.5-turbo (which we call as GPT-3.5) and GPT-4"
by vlovich123 | 2025-05-02 15:21:08+00:00
I saw a Waymo completely freeze in road construction and then pull off into a different lanes through cones.

This is all low speed so wasn’t a safety issue (aside from road rage it might trigger in someone), but focusing only on safety also ignores incidents like this.

Aside from the criticisms about the safety methodology outlined in another chain, I think there’s a bait and switch here where they don’t talk about negative impacts to traffic, freezes, inability to handle situations and don’t evaluate their performance against other drivers.

Don’t get me wrong. I think Waymo is doing well to being the first to truly autonomous, but they’re intentionally putting their best foot forward and trying not to draw attention to any of their shortcomings.
by dboreham | 2025-05-02 15:21:32+00:00
And it was an explicit pact between US and European countries: you can have socialism and not much military (because who wants a huge German army??), while we will do our socialism via our military, which in turn will protect you.

But now our politicians are so dumb they don't realize that's what was agreed long ago, and think they can have one part of that deal and not the other.
Show HN: GPT-2 implemented using graphics shaders
by nathan-barry | 2025-05-02 15:21:49+00:00
Back in the old days, people used to do general-purpose GPU programming by using shaders like GLSL. This is what inspired NVIDIA (and other companies) to eventually create CUDA (and friends). This is an implementation of GPT-2 using WebGL and shaders. Enjoy!
by arnath | 2025-05-02 15:22:14+00:00
A warning to those considering applying here: This month, I went through the full interview process with Sourcegraph - 6 interviews, including one with the CTO. I was asked for references, waited around for two weeks while they had a big company meeting, and then was told that I was a great engineer who passed all the interviews but they were pivoting and weren't going to hire me anyways. At a company with 50 engineers where multiple people during the interview process bragged to me about how much runway they had.