MurphyA/hacker-news huggingface dataset:
by lo_zamoyski | 2025-05-02 17:37:30+00:00
This is an unfortunate piece of propaganda popularized by foes of the Church. Its stickiness is partly due to its role as a founding myth of the "faith as enemy of science" mythology which tries to reverse the facts by arrogating rationality and science onto itself and presents the Catholic Church as the great mythic foe of darkness from which science was liberated.

On the contrary, it is in the bosom of the Church that intellectual life flourished in Europe. Scholastic thought brought to fruition a degree of rigorous thinking unseen before. It worked out the intellectual foundations that made modern science possible. As Stanley Jaki argues, despite the obvious ingenuity of various ancient cultures and civilizations, science never really took off anywhere else to become a sustained enterprise. This is not a coincidence, but a result of worldview and beliefs about the nature of reality, the possibility of knowledge, and the point of human existence. If you believe reality is fickle and unintelligible, if you believe life runs in circles and leads nowhere, you will have little motivation to pursue science.

Where Galileo is concerned, the whole affair was hardly a matter of science. Galileo was notoriously cantankerous, and it was his habit of insulting and assaulting public figures (which included some who were his friends) that landed him in hot water. (Public insults were his way of responding to people who either disagreed with his unproven claims, ones he pushed aggressively, or tried to explain to him that he had not actually demonstrated his claims.) Heliocentrism was not heretical, so there was no possible doctrinal basis for accusing him of heresy. And the penalty was that an old man was put under house arrest in a comfy apartment overlooking the Vatican gardens. Whatever you might say about the justice of the penalty, given the norms of the day (witch hunts in Northern Europe anyone?), this was relatively mild, and nothing to do with "science".
by Cieric | 2025-05-02 17:38:43+00:00
I'm mainly in Visual Studio at my job as well, I was more asking for my personal projects since at work the issue has been "solved." Sadly the clang-format stuff doesn't work, while it looks like it supports tabs on the surface all those settings do (at least last I used it a year or 2 ago) is convert all of the tabs to spaces, do all the formatting it typically does, and then convert all x number of spaces back to tabs if they're at the beginning of the line. Effectively converting all the alignment spaces to tabs (leaving a few spaces at the end if it's not an even multiple.)

My tool at this point basically just has a bunch of rules like,

1) if tab indentation changes, spaces for alignment aren't allowed 2) tab indentation can never be off by more than 1 of the prior line

Also flags cases of trailing whitespace and I believe tabs not at the beginning of a line. Still debating how I'd like to handle fully spaced files as my current program reports no errors in that case, maybe just throw a warning somewhere that the file looks suspicious.
by j3s | 2025-05-02 17:38:49+00:00
> Gaining weight and keeping it is a choice

for many people, it is not. you have enough free time, energy, and money to fix your weight issue - many people are missing at least one of these factors, oftentimes more.

there are more complicating factors here too - try telling someone taking lithium that gaining weight is a choice. or birth control, or SSRIs... the list goes on.

yeah, it's pretty easy for you - a middle aged wealthy guy - with enough free time to go to the gym 5-6 days a week - to maintain your weight. most people aren't in that situation.
by CommieBobDole | 2025-05-02 17:39:13+00:00
I will say that o3 was a little odd during that time, too - I was giving it some of my own photos to test the limits of its geolocation abilities, and it was really chummy, asking me a lot of overly-cheerful followup questions about my travels, my photography interests, etc. It has since stopped doing that even though I haven't explicitly done anything to make it stop.
by nickperry12 | 2025-05-02 17:39:18+00:00
Location: Vancouver, BC, Canada

Remote: Preferred, but open to on-site and hybrid work as well

Willing to relocate: Yes

Technologies: JavaScript, TypeScript, Node.js, Express, React, Ruby, Python, Kotlin, AWS, Docker, Terraform, Kafka, Debezium, PostgreSQL, MongoDB

Résumé/CV: https://drive.google.com/file/d/1rm4eA9YzkL3LvtyargCc_MpbXaz...

Email: nick.perry604@gmail.com

Hi, I'm Nick! I'm a software engineer with experience developing fullstack web applications. Most recently I worked on Tumbleweed (https://tumbleweed-cdc.github.io/), an open-source framework for creating Change Data Capture pipelines, streaming captured data changes from a connected Postgres database to microservice consumers in real-time. I'm detail oriented and I'm passionate about collaborating with others to tackle complex engineering problems and create impactful software. I strive to continue learning new technologies and skills to that will help me contribute and be successful. If this sounds like a good fit, I'd love to hear from you!
by nataliste | 2025-05-02 17:39:22+00:00
"When I am weaker than you, I ask you for Freedom because that is according to your principles; when I am stronger than you, I take away your freedom because that is according to my principles." likewise isn't a policy stance, it's naked hypocrisy.

It's a free country so people are afforded the right to be hypocrites, but nobody is entitled to receive public funding when doing so.
Show HN: Querymate – Fastapi dynamic SQLModel filtering from querystrings
by banduk | 2025-05-02 17:39:26+00:00
Hi HN! I built Querymate, a small Python library that turns QueryParams into SQLModel filters – including support for: fields, filters, pagination, etc.

It’s inspired by tools like Ransack (Rails) and aims to help Python devs build flexible query interfaces, especially in FastAPI/SQLModel projects.

Would love feedback, stars, ideas, and contributors.
by bkandel | 2025-05-02 17:39:37+00:00
It's an oversimplification of how the body works to the point of not being useful. For example, if you eat 2500 kcal a day and maintain a steady weight of 150 lbs, it is not the case that if you change your diet to 2200 kcal you will consistently lose X pounds per week. You would more likely lose a bit, then plateau at some level that's hard to predict, because now your body adapted to an input of 2200 kcal a day. Add to this the complication that where those calories come from matters a lot, because when you increase your blood sugar, your body increases insulin which builds up body fat, but if you have eat a low-sugar/carb diet, that happens less. And if you eat sugary foods, you will tend to get hungry more quickly than eating protein-based foods. It's all so person-dependent and food-dependent that just saying "eat less calories and you'll lose weight" does not accurately describe most people's reality.
by dragonwriter | 2025-05-02 17:39:38+00:00
> If we have a unitary executive, then the president is over the Supreme Court.

No, the Supreme Court is not part of the executive even under unitary executive theory.

OTOH, the US Marshals Service is part of the executive, and, under unitary executive theory, Congress attempting to dictate who within the executive branch can direct them must fail, as the President has absolute and unconditionally delegable authority within the executive.
by mkhalifa | 2025-05-02 17:40:24+00:00
Github: https://github.com/mukhal/thinkprm

ThinkPRM 1.5B: https://huggingface.co/launch/ThinkPRM-1.5B

ThinkPRM 14B: https://huggingface.co/launch/ThinkPRM-14B

1K training examples: https://huggingface.co/datasets/launch/thinkprm-1K-verificat...
by pjmlp | 2025-05-02 17:40:46+00:00
That was the argument from many Assembly developers against FORTRAN compilers, if you dive into literature of the time.

Also this is already happening in low code SaaS products where integrations have now AI on their workflows.

For example, https://www.sitecore.com/products/xm-cloud/ai-workflow

Which in a way are like high level interpreters, and eventually we will have compilers as well.

Not saying it happen tomorrow, but it will come.
by nickyvanurk | 2025-05-02 17:40:53+00:00
Location: Tokyo, Japan (Dutch national)

Remote: Yes

Willing to relocate: Yes

Technologies: TypeScript/JavaScript, Three.js/WebGL/WebGPU

Résumé/CV: https://nickvanurk.com/resume.pdf

Email: nickyvanurk@gmx.com

Github: https://github.com/nickyvanurk

LinkedIn: https://www.linkedin.com/in/nickyvanurk

Interests: Gamedev, Game engines, Computer graphics, Computational Geometry, 3D Applications, Robotics, Tool development, Digital twins, Simulations, Server Engineer/Online Services, UX/UI, FUI Design

Can rapidly learn new technologies. Game, Web, GIS, robotics development experience. Build my own 8-bit computer: https://nickvanurk.com/8bit.mp4 Optimizing things gets me all excited. Check out these Three.js demos I made: https://nickvanurk.com/capping/ and https://nickvanurk.com/void/ My latest project is a 3D GIS tool: https://nickvanurk.com/prototype/ . Professionally I worked on the moddio (https://www.modd.io/) game engine this last year as their graphics / engine programmer. In my free time I like to tinker with my mmo browser game (http://everwilds.io).

Feel free to contact me by email or LinkedIn!
by kotg | 2025-05-02 17:41:03+00:00
Lottie handles a different usecase. Lottie is used to port animations from after effects to the web as an svg animation. For this Lottie will use a static json file which is generated beforehand. It uses a quite complex structure and is mere impossible to read as a human. Making dynamic manipulations not feasible.

For dynamic animations gasp is great as you just code the animation in js making it a perfect fit for the web. The creation process can be quite cumbersome though.
by switchbak | 2025-05-02 17:41:18+00:00
It's definitely a gray area. Is a DAG traversal algo "math", or is it more computer-sciencey? What if you do it in SQL? Certainly there's a mix of more or less concentrated logic/math vs glue code, and most of that is very dependent on the domain you're working in.

I find this distinction useful in the abstract, that one can engage different parts of the brain for different components of development. This probably explains why a well-written DSL can be so powerful in the right context.
by thebiglebrewski | 2025-05-02 17:41:53+00:00
You can say all you want about NPR or PBS being "left-leaning". But isn't this just a symptom of them telling the truth vs the lies that are spouted out of this administration every single day? If you report the truth now, I guess you're "left-leaning" or "biased" vs reporting whatever the admin says as fact with no comment or fact checking.

NPR and PBS fact check their reporting and have real journalists. Fox News lies all of the time on the air and has media personalities as hosts. Yes, of course, there's no absolutes and some hosts or shows are more biased than others, and people make mistakes. Hosts show their biases unconsciously sometimes too. If your host lives in New York for instance, their views are shaped by that, vs if they live in Kentucky.

But this politicization of National Public Radio and the Public Broadcasting Service is ridiculous and just shows how much this administration is trying to get us into a post-truth world. Facts matter!

Don't succumb to this Culture of Fear.
by RajT88 | 2025-05-02 17:42:00+00:00
Places you go for work are mostly corporate parks in the suburbs. Of course they all feel the same. I had the same experience and that was why - rarely did I get to visit the big cities. I went to places which had Chili's and Target and Outback Steakhouse.

On the odd times I visited DC or SF or Toronto - really amazing and different experiences.
by reverendsteveii | 2025-05-02 17:42:05+00:00
Also checking in as someone with strong language skills. When I was a kid in school a million years ago I was actually rather weak in math and crapped out around trig, but excelled in English, Spanish and C. Now I'm a senior web dev, and I still can't do much math beyond the basics required for everyday living (though 18 years in food service means I'm really quick at estimating percentages to within delta)
Show HN: Blast – Fast, multi-threaded serving engine for web browsing AI agents
by calebhwin | 2025-05-02 17:42:28+00:00
Hi HN!

BLAST is a high-performance serving engine for browser-augmented LLMs, designed to make deploying web-browsing AI easy, fast, and cost-manageable.

The goal with BLAST is to ultimately achieve google search level latencies for tasks that currently require a lot of typing and clicking around inside a browser. We're starting off with automatic parallelism, prefix caching, budgeting (memory and LLM cost), and an OpenAI-Compatible API but have a ton of ideas in the pipe!

Website & Docs: https://blastproject.org/ https://docs.blastproject.org/

MIT-Licensed Open-Source: https://github.com/stanford-mast/blast

Hope some folks here find this useful! Please let me know what you think in the comments or ping me on Discord.

— Caleb (PhD student @ Stanford CS)
by vineyardmike | 2025-05-02 17:42:45+00:00
> we don't need any new apps that do similar things to existing apps"

I’m not a “Googler who may be responsible”, but my understanding is that Apple does this too… and Google App Store has a reputation for being lower quality.

I assume it’s because unoriginal apps at some point are just “polluting” the market and making it harder to find higher quality products. Which is generally what users want. Some things are redundant - how many flashlight apps, weather apps, ChatGPT wrappers, etc are needed? I guess Google doesn’t see value in hosting and distributing such apps.

I’m not sure I agree with this, but I understand it. Target or Walmart don’t need to sell your random trinkets that no one buys, and Google is deciding that the same applies to their store. At least with Android you can generally side load and access alternative stores, so you can build a richer marketplace where different “stores” can serve different customers.
by deeThrow94 | 2025-05-02 17:42:46+00:00
If you define recursion as a symbol referencing itself, either directly or indirectly, and if you define language as a system of relating symbols to each other, recursion is a linguistic concept, it is a concept that describes a relationship between symbols. There are good reasons to define each concept differently, but if you identify recursion empirically, recursion won't "actually" exist outside of the description of the process. It's our characterization of the process that reveals the recursive structure, even if that characterization doesn't actually exist outside of language.
by throwup238 | 2025-05-02 17:43:03+00:00
This is a social media site; people can shoot the shit about whatever they want and there’s nothing wrong with that.

But… what’s the point? It’s like going into a thread about modern chemistry and debating about the four basic elements of ancient Greece. Sure you can have fun shooting the shit about what is essentially a historical novelty, but if you really want to debate about chemistry you need to open a high school textbook and get up to speed on at least the first few chapters.

The only difference is that nerds look down at philosophy and not chemistry; and the former is rarely taught in high school after which the arrested development seems to set in. No one blinks an eye telling flat earthers that they don’t know what they’re talking about.
by godelski | 2025-05-02 17:43:13+00:00
> Most coding doesn't need much of any math past boolean logic and very basic set operations

Coding IS math.

Not "coding uses math", I mean it is math.

Mathematicians do not deal in objects, but in relations among objects; they are free to replace some object by others so long as the relations remain unchanged. Content to them is irrelevant; they are interested in form only. - Poincare[0]

I don't know how you code, but I don't think I'm aware of code that can't be reasonably explained as forming relationships between objects. The face we can trace a program seems to necessitate this.

[0] https://philosophy.stackexchange.com/questions/22440/what-di...
by dragonwriter | 2025-05-02 17:43:21+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.

It's quite clear that the Constitution expressly gives the President command of state militia when called into federal service, and Congress the power to specify the conditions for that, and that the Congress has specified procedures for that in law which rest solely on a Presidential determination. Each of those is black and white in law and has been demonstrated in practice as well.

That's not to say that that constrains what can actually happen in a Constitutional crisis: that's what makes Constitutional crises possible -- the black and white rules are not self-enforcing and require human decisions to align with them, and humans are always free to decide to do something else.
by thomasmg | 2025-05-02 17:43:50+00:00
This is a bit similar to count-min sketch, which can be used to calculate frequencies in a stream.

Also interesting are "Invertible Bloom Lookup Tables" (IBLT), https://arxiv.org/pdf/1101.2245 , which allow to add and remove data, and allow to retrieve the remaining data if "little" data remains. That means, it can be used for error correction: all all the _correct_ data (let's say 1 GB of correct data) into a 1 MB IBLT. Let's say a downloader finds that the checksum doesn't match: he can download that 1 MB IBLT, and remove the data from his (invalid) download. What remains is the delta: the error correction data. I know, there are other ways you could do error correction, but this is very fast, and quite interesting technically.
by simonbarker87 | 2025-05-02 17:43:53+00:00
If you dropped your calories you wouldn’t expect to loose weight forever, you would expect to loose a bit of weight while your body adapted and then stay at that new weight if you stay at the new lower calories. CICO works well for the vast majority of people, it’s just very hard to know what the balance is and the averaging window is weeks not days.
by adrr | 2025-05-02 17:44:06+00:00
Used to fingerprint your TCP packets when i built a large neobank. Could easily tell if you're behind a proxy, falsifying your user agent via syn numbers, and more. We used it to detect bots but it could be easily be used to fingerprint individual users. DNS trick is already used for DNS based CDNs, you can just keep refining it down to more specificity. CDN edge for each individual user.
by ttepasse | 2025-05-02 17:44:21+00:00
Only two parties have been banned in Germany's post-war history. Banning a party is a rightfully a huge hurdle, because it goes both ways: While it can be a part of a self-defence mechanism of democracy it is also a way in which Hitler & Co consolidated their power. Hence it can be only used after a ruling of the Constitutional Court – it is in a way a constitutional question.

> ... right away

Apart from the constitutional hurdles there is also the question of "right away": The AfD of the early 2010s is not the same party as today. Back then they were ... well cranky but not extreme. Banning it in 2013 would have been unjust. Over the decade it moved further and further to the right. Pretty much all the founders and bigwigs of the early generation left the party and distanced themselves from it. But radicalisation is a process not a binary switch from one day to the next.
by bilbo0s | 2025-05-02 17:44:26+00:00
Guy?

I get reminded, with my votes for independent parties, of how big a minority I represent in this nation literally every election. The difference between you and I is that I know I'm in the minority. Conservative and liberal voters feel they are in the majority. You're actually shocked that so many people are vehemently opposed to your policies. You genuinely believe the entire world believes in the policies you believe in because, surprise, surprise, everyone in your world does believe in those policies.

In other words, your "echo chamber" has fooled you.

That is what's dangerous. Getting taken in by your own propaganda. In the military back in the day they called it Incestuous Amplification.

Whatever. Not worth trying to explain. Just try to do yourself a favor and remember that the purpose of your propaganda is to fool the enemy, not yourself.
by diggan | 2025-05-02 17:44:48+00:00
FWIW: EditorConfig isn't a ".net ecosystem" thing but works across a ton of languages, editors and IDEs: https://editorconfig.org/

Also, rather than using GitHub Actions to validate if it was followed (after branch was pushed/PR was opened), add it as a Git hook (https://git-scm.com/docs/githooks) to run right before commit, so every commit will be valid and the iteration<>feedback loop gets like 400% faster as you don't have to wait for Actions to finish.
by daveslash | 2025-05-02 17:44:53+00:00
I learned a long time ago to be very careful with mock, dummy, or test data.... because some people will just push anything to prod, take screenshots during your demo and paste it into the official documentation... you name it.

I was giving a demo on how to set up multiple computers in a federated setup using Active Directory, ADFS, etc... I had about 5 VMs named things like Hank, Peggy, Bobby, Boomhauer, Bill, and a test user HHill, 123 Rainy Street, Arlen, TX -- someone screenshotted and took notes during the demo and now that's in some formal training somewhere material. Thankfully, it's all internal.

When I and doing dev work and I need an available port, just any port, I use 666 -- because it's never used by anything and also DOOM. I gave a sprint demo and I used 660 instead of 666 to demo that the customer can specify the port number of screen X. Someone put that in the internal and also customer facing documentation... so now my company's product is default setup on 660, even thought it's completely user-configurable. Thank God I didn't demo with 666...
by hinkley | 2025-05-02 17:45:13+00:00
I’m old enough to have caught the tail end of CS being an offshoot of the Math department and I had a gaggle of fellow undergrads who were happy ours had been moved to the Engineering college and upset to know other students at other schools who were still in Math.

I don’t know about for learning but definitely for collaborating and mentoring. And it’s difficult to make a definition of mastery that excludes both of those, so I suppose after a fashion it’s right.

Despite being a professed lover of math, I scored higher on the verbal than the math SAT. There’s a lot of persuasive and descriptive writing in software, particularly if you’re trying to build a team that works smarter instead of finding more corners to cut.
by flkiwi | 2025-05-02 17:45:33+00:00
Which is why fully moving the Marshals to a department within the judiciary would be desirable, though I think there's a significant ethical issue for the judiciary to contend with re: having to actually enforce its orders. At a sort of silly level, there's probably concern that "justice is blind" cannot mix with "justice needs to see where it's aiming if it's going to enforce anything." Judge Dredd and whatnot.

But, man, if the executive is fully on board with ignoring law, what is even the point of trying?