skysight-inc/HackerNews huggingface dataset:
No, the title is implying when professors are being targeted that's when fascism is here; because that's sort of historically what has happened(and it has been historically based on political beliefs, race, or physical appearance)

CS Professor arrested today https://www.reddit.com/r/immigration/comments/1jmrtzz/indian...
I can’t speak for true mathematicians, but as a (mostly theoretical) physicist I would hate to write my maths in plain English. Notation is used precisely because it’s easier, more efficient (to write and to read) to use it instead of prose. If you’d like an example, I suggest reading texts on solving quadratic equations that predate modern algebraic notation.
Um.

I don’t know that I would do that if I was a scientist right now.
I Don't Allow AI Notetakers in My Coaching Sessions
Being scientist is ideally a quest for finding truth or at least try that. We are in an era where the truth is considered very political and there are very clear indications that in the US funding science and scientists in general is not welcomed anymore. Calls for dismantling NSF/NIH is not hiding or their proponents are shy from expressing what they are trying to pursue.

The idea that politics and science as a practice is separated is a myth.
It seems that the examples given in the article are about non-US citizens caught in a tangle of sorts but some physicists are wanting to apply it to themselves as a whole.
Trump and his goons hate science and critical thinking. Supposed "gender ideology" or "woke mind-virus" are just dumb pretexts given to suppress anyone who would dare criticize them.
He isn't even using Final Cut. That should tell you how good of a job Apple is doing with FCP.
Report me to OfCom
This is a thinly sourced opinion piece selling FUD.
They do - that’s the point of the Mac Pro. The problem is software. Lots of expensive pcie ports won’t help much when you can’t put a GPU in any of them to use cuda and such.

There’s also so much inefficient, bloated crap that ships with modern macOS that I would never pick it for a proper workstation these days. I have CPU meters in the system tray, and there’s always some stupid process gobbling up all my spare cycles. The other day it was some automatic iPhone backup process. (Why was that using so much cpu, Apple?). Sometimes it’s indexing my hard drive, or looking for faces in photos, or who knows what stupid thing. It’s always something, and its almost always first party software.

In comparison, the cores on my Linux workstation are whisper quiet, and usually idle at 0%. The computer waits for me to give it work.
ArXiv: https://en.wikipedia.org/wiki/ArXiv

ArXiv accepts .ps (PostScript), .tex (LaTeX source), and .pdf (PDF) ScholarlyArticle uploads.

ArXiv docs > Formats for text of submission:
https://info.arxiv.org/help/submit/index.html#formats-for-te...

The internet and the web are the most transformative platforms in all of science, though.
We use this for interactive GPU apps we run on clusters
You seem really intent on not listening to what I'm saying. What do you think my arguments are? I have mentioned the wear and tear of records, lugging them around, and the physical state of the mechanical hardware of the player. This is a core part of my argument because these things can affect the audio quality.

I never said a damn thing about tactility. You did. This is the absolute least important factor in the quality of the performance and any DJ worth their weight can perform just fine on jogwheels. If you are a DJ in 2025 asking people to set up turntables for you solely because of superior tactility, despite their numerous drawbacks and potential hazards, you are a primadonna. Which, if you're popular enough, you can get away with, because "all vinyl" is marketable to some. If you're playing at home or gigging in a bar with your own gear or your buddy's and there's no stakes, do whatever you like, obviously.
https://archive.ph/2025.03.29-160435/https://www.washingtonp...
> It turns out that RDP is one of the best remoting technologies.

I was very surprised by this too. I think it was Windows 8.1, when going from one machine to another, was basically a no-compromise experience for most gaming, except for FPS—the latency was always a little too high.

Nowadays I can use Parsec over WiFi at 4K and almost can't tell the difference. Almost. And only with a controller.
Different leaders believe different things, and both of these guys will say literally anything if they feel its in their interest. I'm sure Musk is pro-globalization if globalization = Grok being the world's preferred LLM.
They could all use an antitrust shakeup.
It is incredibly relevant.

Thomas Payne published "Common Sense" anonymously, and had that not happened the United States may not exist. It is a relatively obvious fact that there can be no freedom of speech without anonymous speech. Especially in the face of tyranny.
Encryption is great, but in general it is not really needed, as long as you are not a suspect of a crime.
Rust gaming is picking up.

Veloren's mainline client is built on its own engine.

Tiny Glade uses Bevy ECS, but has it's own graphics stack.

Both Bevy and Fyrox are starting to get pretty capable. They're not Godot yet, but they're getting there. Bevy and Fyrox have very different design goals, so there's something for everyone.

Bevy leans hard into ECS and has a ton of utility crates and third party libraries, such as level builders. Fyrox is not so heavily tied to ECS and tries to build everything in as a complete package. Bevy is the more mature engine, but both are viable.

Both can be easily deployed to the web as WASM bundles, so they're ideal for multi platform targeting.

Rust is shaping up to be a major game programming language. And it's already an incredible web backend / RPC / API service programming language, so you can write your game server in Rust too.
will give that a try next time, thank you!
$10K-per-Person Matchmaking Weekend to Repopulate the Earth
Show HN: Job Application Bot by Ollama AI
JobHuntr.fyi is a macOS desktop app that uses Ollama-powered AI to apply for jobs on LinkedIn—automatically, 24/7. No OpenAI API key required.
Ah, the unbeatable “the lord acts in mysterious ways, not meant for mere mortals to understand” argument.
Untrue. There are specific APIs which require notarization , regardless of usage. Credential autofill is one such API.
Sorry I meant English with maths inside, not to avoid all symbols!
(A classical style proof that you find in any current paper)
Edited.
It is important to realize that the greatest effect and harm of a major disaster is often the result, not of the shaking, but rather in the social unrest that results from a government's inability to cope with the disaster. Given Myanmar's problematic government, that may be the case here. If you want examples, consider the Managua earthquake that led to the overthrow of Somoza or the 1976 Tangshan earthquake which contributed to the cultural turmoil accompanying the death of Mao that led to the end of the Cultural Revolution.
It’s not a good sign if they have the choice to use different tools. But if microsoft can make sure they don’t have a choice it’s a neutral sign!
If you want a vramfs, why would you use GPU VRAM? CPU<->GPU copy speeds are not great.

I have 192GB of CPU VRAM in my desktop and that was cheap to obtain. Absolute best build decision ever.
Final Cut Pro also lets you edit with proxies…………… I think.
What? On prem multi user remote desktop servers used by on prem users are extremely common.
The world needs more 'zines.
Presumably it unlocks if there's a fire alarm. The security team aren't more powerful than the fire marshal.
It is required when you’re the victim of a crime however so it’s a good precaution.

(Had my phone swiped once)

If you have adequate physical security it is less necessary thus my home desktop is not encrypted.
> Aside from using unfamiliar terms, nearly every concept is valuable and familiar

A couple of decades ago I worked on some ideas I had for "test points" in software,
modeled on the kinds of test points that chips and circuits have built in.
My ideas were precursors to some of the observability tools like OpenTelemetry,
but were more passive.
COBOL is also missing most of the QOL aspects of modern languages.
A COBOL system is closer to a bunch of shell scripts coordinated by a master script than anything we might today think of as modular and componentized.
I won't go so far as to say "every variable is global", but it's darn close.
What are you referring to? Microsoft’s developer tools are top notch. I’d pick visual studio over Xcode any day of the week - Xcode is so crazy buggy that I don’t know how anyone at Apple gets work done on it. And VSCode is probably the most popular ide on the planet.
Can you expand on this?

Not sure what your argument is or how this invalidates Trump being a pathological liar.
why would a us company care about Japanese copyright?
To me the question has become somewhat moot - mostly because none of my serious knowledge searching questions are going via search engine anymore.

Search-enabled LLMs fill that role better and google isn't the only game in town for that.

..and if using LLMs you have to assume at least some of it is dodgy so my guard is naturally up already.

Doesn't leave a whole lot of space for "trust".
A Guide to Bazel Query
The Candid Naivety of Geeks
This is an interesting point because it shows top-level control of output - by allowing one type of infringement rather than all types of infringement, it’s a human based decision. It’s only a matter of time before AI crosses into trademark domain issues and that’s where the big money lawyers will likely step in. As in, it harms the mark and it can be financially damaging unless stopped - and these systems clearly can be stopped from certain outputs.
I've quit jobs for far less than an active fascist takeover of the government.
Swapping Apple's M4 SSD – Faster, Bigger, Cheaper [video]
TLDR - 2TB for $180. Performance 2x original. Video includes interesting technical details
Is this a situation where you are trying to set up a work app on your personal phone? If so, does your employer offer employer-owned phones?
> You're completely missing the reason that all these "hopelessly over-engineered" frameworks were created

They were created in a very different time, to solve very different problems in a very different runtime environment.

Today's browser environment does not have many of the problems these frameworks were created to solve, and the clear majority of usage in the wild solves the existing problems in a way that locks you in to the framework anyway.

When I say over-engineered I don't mean that they were not necessary in the past, I'm saying that right now, in 2025, a lot of what you get from these frameworks is disproportionate to the cognitive burden they bring.

I agree that they solve problems, I'm just saying that perhaps it is time to consider that the point of diminishing returns has passed.
I've been transforming our family images for free.
Really excited about trying this, great job so far!

I think formatting/prettier-type functionality was mentioned as a possibility of this project, is that still in the cards?

(I can’t seem to find a formatter that understands stored procedure; does it even exist?)
It was by the US State Department in 1997.

Those are either some seriously tricky terrorists or this designation was never meaningful to the citizens of this country.
No, it's missing basic things, accepts ungramattical sentences, and is fundamentally flawed by being based off nihongokyouiku grammar.
The power of software is how it 1) moves a lot of work from the domain of the physical to the domain of the written and intellectual and 2) the way it can be replicated at scale. So it really isn't like engineering, more like writing, but industrialized. Well, at the application level at least, where a lot of software work happens. The work that actually allows written software to physically interact with the machines it runs on, that's engineering, but generally not what most "software engineers" work on.

Anyway, it's not really so surprising that there are few hard and fast and replicable rules in "software engineering" as there really aren't in, say, essay writing. There are best practices and tips and techniques that are generally more effective than others. And there _are_ actual constraints around software that don't exist around essay writing as, ultimately, software does have to translate to real physical limitations like available memory and such, but the abstraction away from those physical limits is by and large the point and purpose of software.
By participating in the AI system you are contributing to the progress of the business and though you are not paying currency, you are paying with behavior that they can capitalize upon.
Google search is not the product. Alphabet stock is the product. I'm in the market for a recently printed encyclopedia, a copy of the yellow pages and a subscription to a newspaper... Those were reliable products.
Bad model, bad method or bad paper?
For example, there's probably an under-regognized amount of materials work going into radiation shielding related to current fusion efforts. And there's a huge amount of, perhaps subtle, material science innovation going int consumer products and elsewhere,
I don't have either and travel everywhere. I see no need and have no need.

I don't get bothered and every one is nice to me. But I base my experience on what is in front of me and not what I read online.
What's your experience based on?
Do you work in post production on big projects?

It's their dependency on Blackmagic that's been there biggest problem the past 5 years.

Meridian was light years ahead of the competition. The firewire based adrenaline sucked.

And you won't find anyone complaining about their DX series just to bad they dropped that.

And your really not understanding the way avid nexis works if you think it's just a flag
https://en.wikipedia.org/wiki/First_They_Came

""First They Came" (German: Als sie kamen lit. 'When they came', or Habe ich geschwiegen lit. 'I did not speak out'), is the poetic form of a 1946 post-war confessional prose piece by the German Lutheran pastor Martin Niemöller (1892–1984). It is about the silent complicity of German intellectuals and clergy following the Nazis' rise to power and subsequent incremental purging of their chosen targets. Many variations and adaptations in the spirit of the original have been published in the English language. "

When you see things happening to those outside your circle you might feel safe, but many times you are just further down the list and your time will come.
Religion means very little to most people --- even those who say they believe. Their actions are the proof.
> These are physics/EE PhDs.
> They are not experts in nonlinear optimization.

These are not necessarily in disagreement. You can be both!

No one that is an expert in nonlinear optimization has a PhD in... nonlinear optimizations. Typically their degree is going to be in Mathematics, Computer Science, Electrical Engineering, or Physics. The last 2 are commonly found in any strongly mathematical subfield.

This is kinda like saying a physicist can't program or is terrible. Maybe they can, maybe they can't. My senior undergrad CS students are worse programmers than most graduate physicists I've seen. One of the best programmers I know has a PhD in Mechanical Engineering and works at a national lab. I asked him how it ended up like that and he said to get his PhD work done he had to do a lot of low level stuff, related to what we were doing.

I do agree with your point fwiw, I just thought if we're going to nitpick we should nitpick ;)
> I’m betting it will be so unpopular as to be impossible

People have said the same thing about gutting Social Security, but it seems like that's on the chopping block right now unfortunately.
Textbook one that is usually taught in the first couple of years - yes quite strict and can be deduced to logical patterns. But every-day spoken informal Japanese... no.

And then there are a bunch of nuances that don't follow logic. You just need to learn about them. For example, word "you" is always considered informal, a bit intimate and a bit rude in spoken Japanese, it can be used in formal written Japanese.
I know this from the European perspective. A lot of companies have policies for US travels for a few years now. Even some government employees on official business in the US, need to drop of their business phone and laptop with IT, before traveling to the US. And pick up a freshly wiped one with limited access, and no data on it.

For some countries like Russia it can be even more strict. They only get laptops not connected to the company network at all, and are only allowed to put a few files onto it via a flash drive. The smartphone is replaced by a feature phone without internet.
> Trump and his goons hate science and critical thinking

this is really entirely subjective and I'd be surprised if something like this isn't moderated for being flamebait
Who do you think is paying for the compute?
Minor note that installation via the launcher (Why a launcher!?!) seems a bit broken. Both the direct mac download, and installing from Cargo, installs Airshipper v0.15.0. This says that it's outdated and to install a new version. Clicking the button to do this takes you to the Github releases page, where the latest version is 0.14. There's a december release for v0.16 but it's a tag only and has no artifacts. Quit in frustration.

Edit: Despite having an issues page, the GitHub page of the launcher is apparently only a mirror of the GitLab repository. GitLab has artifacts for the latest version. I am mystified why they send people to the GitHub page on their officially linked and `cargo install` downloads.
The comparison is apt. Things didn't start that bad in Germany either. But day by day, reform after reform... Look back on the past, imagine hearing about a visiting french scientist getting detained at the border for having criticized the president under Obama, and realize how insane that would have been, how normal it seems today, how far this country has gotten and where it is currently headed.
I just asked it "Make an image of a karate fighter in the style of a disney animation" and it did it in distinct Disney style. What it produced did not look like public domain steamboat willy or anything either, more 60s era Disney.

Where are you getting this? It may have been after they reduced refusals recently and it wouldn't do it before?

Disney is also the Ghibli distributor in the US aren't they?
You can use mocks, however, I found in practice that hand written fake implementations (aka Nullables) are much easier to maintain.
The accessibility and reflowability of HTML content, not to mention the ability to customize color schemes, fonts, line spacing, and similar are not possible with PDF, even using Adobe software. Even using the latest PDF 2.0 standard, you are ultimately expected to convert it to HTML if you need all that flexibility (such as via https://ngpdf.com/).
Do you distribute OSS software which requires notarizing? If so, have you found a way to let the community build the software without a paid developer account? I would be very interested in a solution which allows OSS development, relying on protected APIs without requiring that anyone who builds the app to have a paid developer account.
There is no reason to care about this. There's two or three different mechanisms that stop background processes from having any effect on actual work you're doing.

(Namely background QoS, it only runs on the efficiency cores, and more expensive activities stop when the user is active.)

If you're having an actual specific problem report it with Feedback Assistant. If you aren't, I recommend removing all that useless monitoring stuff and getting an outdoor hobby.

As an actual performance engineer I've basically never in my life gotten a useful report from someone looking at those every day. Although other vibes based bugs like "I feel like my battery life is bad lately" often do find something.
Ghibli films have been localized for and released in America.
Keynote and Numbers are interesting apps.

Both are designed to replicate the same functionality as Concurrence and Quantrix (itself a clone of Lotus Improv) both by Lighthouse Design, who made lots of apps for NeXTSTEP and were purchased by Sun.

Steve Jobs used Concurrence on a ThinkPad and also a Toshiba laptop to make presentations prior to Keynote (which I believe was created internally for him at first) even while back at Apple.
Regarding #3, you can already do this with Jinja2 template functions perfectly well. You can also do it with template tags, but it isnt as nice.

100% agree with #5, the diaspora of Django's community, dev process, and lack of a single decision maker when consensus isn't quickly reached, makes it virtually impossible to correct past mistakes.
EKFs work by 'learning' the covariance matrix on the fly, so I don't see why not?
Show HN: Non Interactive ZKP with Fiat-Shamir Heuristic and ECC in Go
Non-Interactive Zero-Knowledge Proof implementation using Fiat-Shamir Heuristic and Elliptic Curve Cryptography
Though people may use CPUs several years old, they generally weren't at the moment they were bought, and the decision came from comparing with the competition. This argument of "my software will be faster when computers are faster" does not hold given that the competition is also benefiting from Moore's law. Nothing changes in relative terms, which is what matters, until you actually improve your slow software.

And while a possibility may exist to improve software on the user's end, do people not base their decisions on benchmarks involving existing (not potential) software? They find comparisons using the provided kernels, find AMD to be slower, unaware that they could (maybe, at that) find a 30% speedup to be had. Even if they stumbled on this article, would they trust they could pull it off, or simply go with the GPU that has the best performance with existing libraries?

These are machines sold for crunching numbers, they might as well crunch numbers as best they can...
Incorrect. I just asked ChatGPT to show an image in the style of Disney/Pixar, and another in the style of a Marvel superhero. Both worked without complaint.

I would share the conversation but it's not generating a link ("Sharing conversations with user uploaded images is not yet supported.")
there's a chinese version of every popular website you know. sometimes multiple
And now you're getting bumped down to 3 images per day. https://x.com/sama/status/1905296867145154688
>CS Professor arrested today

So? Does being a professor give you some kind of immunity against crimes?
Oh it has optional parentheses? Into the trash it goes.

I'm guessing because "it's cleaner/simpler", but that's a shallow understanding of those words. Just because there are two characters fewer on the screen doesn't make the code simpler. Simple semantics are what you should aim for and inconsistencies like these throw a wrench into that.

For example, strings in JSON vs YAML. Isn't it "simpler" to not have to quote every string? So long as your string isn't "no" that may be true. So now instead of a simple mental model of "every string must be quoted" it's "strings don't need quotes except for these specific exceptions that cause issues: <list>". So much simpler... sigh.
> Source for such claims please?

There have been many such cases in the news recently: Mahmoud Khalil, Rumeysa Ozturk, Yunseo Chung, Momodou Taal...

According to US Sectary of State Marco Rubio, the Trump administration is currently seeking to deport over 300 students, purely for criticizing Israel. None of them has been accused of any crime. The Trump administration calls anyone who protests against Israel a Hamas supporter and terrorist, cancels their visa, and tries to deport them.