frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Ironclad – formally verified, real-time capable, Unix-like OS kernel

https://ironclad-os.org/
137•vitalnodo•4h ago•24 comments

Tabloid: The Clickbait Headline Programming Language

https://tabloid.vercel.app/
13•sadeshmukh•38m ago•2 comments

Marko – A declarative, HTML‑based language

https://markojs.com/
224•ulrischa•8h ago•109 comments

Largest cargo sailboat completes first Atlantic crossing

https://www.marineinsight.com/shipping-news/worlds-largest-cargo-sailboat-completes-historic-firs...
144•defrost•7h ago•81 comments

Syntax and Semantics of Programming Languages (1995)

https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/
5•nill0•16m ago•9 comments

Study identifies weaknesses in how AI systems are evaluated

https://www.oii.ox.ac.uk/news-events/study-identifies-weaknesses-in-how-ai-systems-are-evaluated/
316•pseudolus•13h ago•157 comments

Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs

https://www.downtowndougbrown.com/2025/11/debugging-beagleboard-usb-boot-with-a-sniffer-fixing-om...
46•todsacerdoti•5h ago•0 comments

WriterdeckOS

https://writerdeckos.com
136•surprisetalk•8h ago•73 comments

Control structures in programming languages: from goto to algebraic effects

http://xavierleroy.org/control-structures/
108•SchwKatze•5d ago•3 comments

Open-source communications by bouncing signals off the Moon

https://open.space/
74•fortran77•6d ago•16 comments

Avería: The Average Font (2011)

http://iotic.com/averia/
133•JoshTriplett•8h ago•27 comments

IP blocking the UK is not enough to comply with the Online Safety Act

https://prestonbyrne.com/2025/11/06/the-ofcom-files-part-2-ip-blocking-the-uk-is-not-enough-to-co...
196•pinkahd•4h ago•219 comments

He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC

https://www.hackster.io/news/he-chunhui-s-tiny386-turns-the-humble-esp32-s3-into-a-fully-function...
40•HardwareLust•2h ago•5 comments

Cloudflare scrubs Aisuru botnet from top domains list

https://krebsonsecurity.com/2025/11/cloudflare-scrubs-aisuru-botnet-from-top-domains-list/
120•jtbayly•11h ago•27 comments

When a “feature” is worse than a bug

https://medium.com/@egorich42/when-a-feature-is-worse-than-a-bug-hello-sketchfab-b88a10d52511
12•Egorich42•4d ago•2 comments

Judge denies request to exempt Flock footage from Public Records Act

https://www.goskagit.com/news/local_news/court-denies-request-that-it-find-flock-safety-camera-da...
46•p_ing•2h ago•14 comments

My first fifteen compilers (2019)

https://blog.sigplan.org/2019/07/09/my-first-fifteen-compilers/
47•azhenley•1w ago•3 comments

Valdi – A cross-platform UI framework that delivers native performance

https://github.com/Snapchat/Valdi
465•yehiaabdelm•1d ago•193 comments

Why is Zig so cool?

https://nilostolte.github.io/tech/articles/ZigCool.html
494•vitalnodo•1d ago•433 comments

An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]

https://softwarepreservation.computerhistory.org/LISP/MIT/AIM-001.pdf
82•swatson741•12h ago•10 comments

GPS 'kill' switch allows state police cruisers to go dark and disable tracking

https://www.boston25news.com/news/local/25-investigates-gps-kill-switch-allows-msp-cruisers-go-da...
87•harambae•3d ago•36 comments

Humanity's Endgame

https://www.noemamag.com/humanitys-endgame/
17•marojejian•3h ago•8 comments

Ticker: Don't die of heart disease

https://myticker.com/
414•colelyman•12h ago•369 comments

Opencloud – An alternative to Nextcloud written in Go

https://github.com/opencloud-eu/opencloud
52•todsacerdoti•10h ago•8 comments

Judge says Education Dept partisan out-of-office emails violated First Amendment

https://www.npr.org/2025/11/08/nx-s1-5602859/education-department-out-of-office-emails-ruling
103•toomanyrichies•2h ago•84 comments

GPT-5-Codex-Mini – A more compact and cost-efficient version of GPT-5-Codex

https://github.com/openai/codex/releases/tag/rust-v0.56.0
27•wahnfrieden•3h ago•19 comments

Myna: Monospace typeface designed for symbol-heavy programming languages

https://github.com/sayyadirfanali/Myna
381•birdculture•1d ago•169 comments

How did I get here?

https://how-did-i-get-here.net/
347•zachlatta•1d ago•60 comments

Making Democracy Work: Fixing and Simplifying Egalitarian Paxos

https://arxiv.org/abs/2511.02743
159•otrack•20h ago•47 comments

Immutable Software Deploys Using ZFS Jails on FreeBSD

https://conradresearch.com/articles/immutable-software-deploy-zfs-jails
174•vermaden•1d ago•44 comments
Open in hackernews

Judge says Education Dept partisan out-of-office emails violated First Amendment

https://www.npr.org/2025/11/08/nx-s1-5602859/education-department-out-of-office-emails-ruling
102•toomanyrichies•2h ago

Comments

alfiedotwtf•2h ago
Is a judgement worth the paper it’s written on when it’s ignored with zero consequences?
Normal_gaussian•1h ago
For other parts of the world looking in, yes.
ethbr1•1h ago
Why would it be ignored? Say what you want about the executive branch trying to weasel out of things and get the Supreme Court to lift holds, but they've so far been unwilling to out and out disobey finalized court orders.
c420•1h ago
'We lack the power': Justice Barrett basically admits SCOTUS can do nothing if Trump violates rulings

https://lawandcrime.com/supreme-court/we-lack-the-power-just...

pfdietz•1h ago
All they need to do is rule that violation of court orders is not protected by qualified immunity from civil lawsuits, a principle SCOTUS invented itself.
wl•48m ago
Qualified immunity in no way limits a court’s contempt powers.
pfdietz•32m ago
Civil actions aren't subject to presidential pardon.
ocdtrekkie•1h ago
I suspect many of the more ridiculous rulings come less from Roberts agreeing with Trump, and more fear of actually placing Trump in a position to straight ignore the court, which he will do.

There is likely a pragmatic view that if they appear to remain relevant they might continue to have some power, even though they already don't.

ethbr1•56m ago
It would have precedent in the Supreme Court... https://en.wikipedia.org/wiki/Marbury_v._Madison#Political_d...
Larrikin•48m ago
They could have let him go to jail before the election instead of ruling that the president is a king.
usrusr•1h ago
Ties those who ignore it closer to the group in power: more to lose when they lose it. Every little erosion of law adherence creates more of that cheap loyalty substitute.
binarymax•1h ago
They are adding up. They can ignore them, and when they are out of office, the reckoning will come.
ocdtrekkie•1h ago
Not for the President, unfortunately. Supreme Court precedent has effectively set him as immune from prosecution, and it's not like at his age he'd serve much time anyways.

I expect a lot of his administration to spend their latter years in jail though. Siding with him has basically never paid off for anyone.

staticautomatic•1h ago
There’s always treason
brian-armstrong•1h ago
That's why they're not leaving office. Check out Venezuela for a preview of what's in store for the US.
jfengel•1h ago
They won't ignore it. They'll comply with replacing the partisan message, and move on to dozens of other violations. It's not so much the judgments as that the courts can't keep up.
add-sub-mul-div•1h ago
Not every failure is meaningful on its own but it would at least spiritually be a very different country today if they wasn't such a pattern of sustained opposition and losing in the courts going back 2017.
megamike•1h ago
“the First Amendment is a cheap thing if all it provides is the assurance that one may say what a current majority is willing to hear.” Charles Rembar
getcthbf67•1h ago
As a contrararianI'm silenced a lot. How do you suggest alignment can happen if more persuasive dissenting voices are allowed to be heard?
michael_michael•1h ago
Silenced by whom?
theendisney•1h ago
Even the smallest authority may want to force others back in line.
ceejayoz•1h ago
“Your ideas suck and you should stop espousing them” is free speech too.
epistasis•1h ago
Contrarian on taxes, spending, organizational issues, democracy versus monarchy?

Or it, you know, those contrarian views? You know the ones.

(Personally, I'm a contrarian about the presence of fire in crowded theaters, and boy have I been silenced)

fnordpiglet•33m ago
Why is alignment necessary? In our system compromise is the typical alignment sought where no single view dominates the decisions or direction. With enforced alignment no compromise is more than not necessary it’s not possible. That’s the dysfunction of the present because there’s a perception that holding office entails enforcing alignment, and opposing voices not only need not be heard but are forcefully silenced. However the system we have in the US doesn’t allow for that, and explicably, it’s even more dysfunctional than normal. Sooner or later they have to stop and compromise, over throw the system, or be removed. That’s precisely how it’s designed to work.

So, you shouldn’t be silenced, your opinions should be heard, and to the extent they’re reasonable, they should be considered proportional to your ability to influence. The more to which this is prevented or ignored the more unstable the system is.

mpalmer•30m ago
What exactly do you think you deserve that you're not getting?
theendisney•1h ago
I wouldnt have imagined at the time that the worse part of electronic messages is that they could one day legaly be written in your name. I thought things coudnt be worse than not being allowed to speak (which was already normal at the time)
jfengel•1h ago
They also had their own messages removed.

It's not clear to me that they're guaranteed a platform on their work email, but having been allowed to set a message and then having it removed and then replaced with a different one is not a good look for free speech.

bofadeez•58m ago
I think we can all agree on this. It would just be nice if there was consistent enthusiasm for the first amendment when it comes to actual taboo ideas. Are you quoting this when you hear about right wing extremists being canceled or jailed in Europe? In the 1970s, Jewish lawyers at the ACLU defended the American Nazi Party’s right to march in Skokie. Not out of support, but to uphold the principle of free speech for all. What happened to intellectual honesty?
SilverElfin•55m ago
> What happened to intellectual honesty?

It’s gone. The ACLU itself is pretty anti free speech these days and happily looks the other way when censorship on private social media platforms aligns with their ideological views. People have been writing about free speech issues at the ACLU for about a decade now:

https://www.tabletmag.com/sections/news/articles/is-the-aclu...

FireBeyond•23m ago
Sadly, agreed. The ACLU used to be known as a stalwart on this, fighting for the right of the KKK to hold marches etc. The "their speech might be reprehensible, but we need to fight for all free speech" perspective.

Now, they're uninterested in a lot of these issues.

And I say this as someone very liberal.

You can also separately debate where the line is on the topic of say "absolute free speech", but whatever the ACLU used to fight for, it fights for a distinct subset only, now.

FridayoLeary•21m ago
Yeah. It died during COVID.
bediger4000•13m ago
Come, come, my good sir! US citizens know that censorship on private social media platforms is NOT a First Amendment issue! While it may be censorship of a sort, it's not done by the US government, and therefor is allowable. This is middle school civics in the USA, old boy! There's nothing, nothing, in the US constitution that says anyone else must pay to promulgate your opinions. Freedom of speech is freedom of government suppression in the USA. But like almost everything else in the USA, it's up to you to pay for it.
terminalshort•8m ago
It is a 1A issue when they are censoring due to government pressure
gusgus01•46m ago
I mean it depends on what we are talking about. The case you mention was about the right to peacefully assemble, and that the swastika does not count as "fighting words" and thus not grounds to say the assembly isn't allowed. In the case of Europe, they don't have the same constitution as the USA so I'm not sure how to compare that, and if those extremists are merely being silenced over swastikas or calls for the deaths of people since you didn't specify.

Plus the comparison to Europe and that specific case is especially untenable because if the specific case in Europe was in Germany, then they have a special relationship with the swastika.

bofadeez•43m ago
People in Europe are also human beings and so they also have a natural right to free speech. They just happen to live in oppressive governments willing to use violence against them for expressing their natural right to speak their opinion.
SilverElfin•35m ago
Exactly. It’s interesting that despite many countries sharing classic liberal political attitudes don’t have constitutional protections for free speech that go as far as the US. In my view free speech is the most fundamental requirement for any free society and democracy can’t work without it. But as we see with the UK right now and others, speech is impeded frequently.
throw101010•13m ago
People in Europe live in actual democracies (for the majority). The laws restricting speech were born through democratic processes.

Who do you think you are to pretend to know better than these citizens? You seem to want to impose some unbridled "free" speech that seem to have pretty disastrous effects in the only country where it supposedly exists... is this your idea if "freedom"?

We have tested the limits of tolerence at the cost of literal tens of millions of deaths during the last World War in Europe, I don't think we need any lesson on how we should run our societies regarding free speech because we have done a lot of painful learning.

Looking at the direction/unstability of the American system currently it's not impossible that its people will do the same kind of learning soon unfortunately, might be better to focus on this rather that trying export ideas that we democratically rejected, with purpose.

bofadeez•8m ago
People in USA live in a constitutional republic based on self-evident natural rights given by god. We just have (somewhat) democratically elected representatives.

In an "actual democracy" with no constitutional rights, the majority can (legally) genocide the minority - and that's happened more than a few times in "actual democracies" in Europe in the very recent past.

You should probably think deeper about what you're advocating for.

singpolyma3•31m ago
Free speech is out of vogue
danaris•4m ago
> In the 1970s, Jewish lawyers at the ACLU defended the American Nazi Party’s right to march in Skokie.

Well, that doesn't mean that

a) they were right to do so then, or

b) a better understanding can't have been reached since then.

The Paradox of Tolerance is a very real thing. If you want to make free speech absolutism a religious principle within your own beliefs, go wild, but for those of us who just want to make this world the best place we can to live in, we have to consider what the consequences of different kinds of speech are.

And the consequence of being tolerant of hate speech is that the speech of those being hated diminishes. Their freedom diminishes. Their safety diminishes. Sooner or later, they are driven out of communities that permit hate speech against them.

"Free speech for all", in the sense that absolutely anyone is fully free at any time to say anything they want, and everybody remains equal in this, is a fantasy. And American jurisprudence has rejected that level of "free speech" since very early on—there are laws against libel, incitement to violence, false advertising, and other forms of speech.

tptacek•1h ago
It's the right call, but really, those notices were probably doing the administration more harm than good. One of the sweatier message campaigns we've seen in the recent history of US politics.
wredcoll•56m ago
I mean, you'd think so, but the past dozen years have repeatedly demonstrated that there's quite a few people who don't seem to realize that this sort of thing is, in fact, bad.
tantalor•26m ago
I think you overestimate how anyone cares very much, in comparison to more important matters.
jfengel•1h ago
I suppose the First Amendment takes precedence over the Hatch Act, but it's more blatantly a violation of the latter.
SilverElfin•56m ago
I find partisan messaging on government sites to be sleazy. But also I don’t understand how this is a violation of government employees’ rights. When people are employees of the government, they don’t have rights to use the resources of their job as if they own the same resources as a private citizen. Their speech is restricted to some degree as part of doing their job, and they are employed to do their agency’s bidding. How is their private right to free speech violated here?
apical_dendrite•47m ago
This is not a case where the government is telling employees that they cannot say certain things while on the job. That would be reasonable (see the Hatch Act, for instance, which the Trump administration violates constantly). It is compelled speech. They are sending out a message from that person without that person's knowledge or consent. The first amendment prohibits the government from forcing someone to say something that they do not want to say. That is true even for government employees (see https://en.wikipedia.org/wiki/Janus_v._AFSCME)
solid_fuel•43m ago
> Their speech is restricted to some degree as part of doing their job

There are at least two kinds of speech restriction - not being allowed to say something, and being compelled to say something. To analogize, it's one thing to be told "you're not allowed to rant about the CEO on social media". It's another thing entirely to be told "you have to make 3 posts a day about how great the CEO is".

These federal employees were not just restricted from publicly criticizing the administration - which is fairly typical for federal employees - but they also had their out of office messages changed without consent to point partisan blame for the current shutdown. That's essentially compelled speech, especially since Out Of Office messages still include the employee's name as the From line.

terminalshort•34m ago
> It's another thing entirely to be told "you have to make 3 posts a day about how great the CEO is".

This is perfectly legal and not a violation of any rights. Companies literally have entire departments dedicated to promotion of their products. If you say "I hate this product and don't want to work on promoting it" you will just be fired for refusing to do your job.

raddan•26m ago
The rules are different for the government. Protection for private employees are weaker. The government has the force of law (literally force) on its side, so what it is allowed to do is different. A private company cannot truly compel an employee because the employment contract is at-will: either side can terminate the arrangement without cause.
terminalshort•13m ago
By that same logic the government can't truly compel either as long as they only fire the employee. Obviously the government would be in violation of 1A if they took it further by charging the employee with a crime.
terminalshort•53m ago
I fundamentally don't understand the rights of government employees. They are supposedly there to execute the will of the political branch that controls them whether or not they agree with it, which is why they are given immunity from firing by each incoming administration. So how do they also have the right to personalized communication from their work email addresses (a right that no private sector employee has)? How can they have the right to exercise government authority without being democratically elected, or at least accountable for their actions to someone who is?
icedrop•50m ago
Can you explain what you mean, in more direct or simpler terms?
terminalshort•46m ago
So the judge's quote from the article is "and they certainly do not sign up to be a billboard for any given administration's partisan views."

I thought that's exactly what you signed up for when you become a government employee.

carefulfungi•38m ago
"... to the best of my ability, preserve, protect and defend the Constitution of the United States."

I missed the part where government service wasn't about upholding and implementing the law but was instead about support for a particular party.

raddan•30m ago
There’s a difference between being required to perform the normal functions of the government and being required to espouse a political philosophy. The Hatch Act makes it clear that you can have a political opinion, but that it occurs on your own time. So the rationale of the court is “nobody is allowed to use their office for politics” and “by putting words in government employee mouths, their right to free speech is being abridged.”

5 U.S.C. § 7323(a)(1): “An employee may take an active part in political management or in political campaigns, except an employee may not — (1) use his official authority or influence for the purpose of interfering with or affecting the result of an election.”

There’s a lot more after that.

https://www.law.cornell.edu/uscode/text/5/7323

terminalshort•22m ago
How can your job be to both implement policy set by the politicians currently in office (presumably decided by their political philosophy) without regard to your own opinions and also to not espouse a political philosophy?
singpolyma3•30m ago
It's actually mostly forbidden if you're a government employee. You serve the people not the politics
elicash•39m ago
You're correct that you don't understand how those rights work.

I think you're actually struggling more with the idea that the First Amendment is a restriction on government, not on employers generally.

But the most relevant thing that you don't understand is that government employees are NOT supposed or allowed to act in partisan ways. Your suggestion seems to be that's the point of the job. In fact, that type of activity is prohibited in their official functions and can even be illegal.

SilverElfin•31m ago
You’re not actually refuting the argument of the person you’re replying to. They’re saying that when you’re employed by the government, you’re paid to do a job and you’re at the service of the agency and leaders you work for. Your rights as a private individual do not apply when you’re paid to do a certain job.

As an example, if an agency wanted to perform a marketing campaign, and you decide to do go off script as an employee, you can be fired. There is no legal right to say whatever you want in the context of the job.

elicash•25m ago
This case wasn't about workers saying "whatever they want."

This was about partisan speech being compelled by government, which in fact most government employees aren't even allowed to engage in on the job. They are legally required to act in a nonpartisan way.

Failing to act in a nonpartisan way can result in Hatch Act violations, ethics investigations, or even criminal penalties. So yes, having the federal government compel them to engage in partisan speech is a problem.

SilverElfin•23m ago
Hatch Act is different from the first amendment.
elicash•19m ago
That is both true and irrelevant. The decision itself quotes from SCOTUS on the Hatch Act in making its point about the First Amendment violations.

"[I]t is not only important that the Government and its employees in fact avoid practicing political justice, but it is also critical that they appear to the public to be avoiding it, if confidence in the system of representative Government is not to be eroded to a disastrous extent."

terminalshort•19m ago
I guess the part I don't get is how having a message in the email signature of your work email can be construed as expressing a personal opinion.

As for the Hatch Act I believe that the administration is 100% in violation, but it doesn't seem like a 1A violation.

elicash•13m ago
> I guess the part I don't get is how having a message in the email signature of your work email can be construed as expressing a personal opinion.

If that were the entirety of your argument, I'd actually be in agreement with you. It wouldn't surprise me if this decision got overturned on those grounds.

But on your second point, the current Court expressed its views on compelled speech and the First Amendment as applied to government workers in the Janus decision and this judge is merely following that precedent. It is stated very clearly in the decision.

terminalshort•25m ago
But government employees obviously do not have 1A rights in their role as employees. e.g. if a government employee feels like wearing a nazi uniform to the office every day, they will be fired, even though 1A prevents the government from punishing private citizens for doing the very same. Firing the employee is not violating 1A but charging them with a crime would be.

And how do you define "partisan" here? How can your job be to implement the policies set by politicians, but not be "partisan."

elicash•21m ago
It's irrelevant how I define partisan. More important is how DOJ defines it. https://www.justice.gov/jmd/political-activities

This case wasn't about a worker making statements themselves. It's about compelled partisan speech by the government.

FireBeyond•18m ago
Leaving aside the partisan aspect - you have to acknowledge that there is a difference between a statement that "The DOE is shutdown because X" and an email that says "I am unable to work because X". You made a statement before "organizations have entire departments intended for this" - yes, and those individuals are quotes as spokespeople, "A spokesperson for the department said xyz" not "I want to tell you xyz".
terminalshort•4m ago
There is a huge difference, but both are compelled speech. The difference is that when it is a message in support of one political party the government is violating the Hatch Act (as they clearly are in this case), not the first amendment.
jmull•9m ago
The US government can exert control over aspects of employee communications related to their job function.

The US government cannot require employees to express political views unrelated to their job function.

The US constitution places restrictions on the government that don’t necessarily apply to private sector employers (or that don’t apply in the same way).

dataflow•49m ago
Is there no federal defamation law that could apply here? I would've thought this would fall under something like that, rather than 1A. Even without 1A, you could still be defaming someone by misrepresenting that they hold a certain view, right? I know states have laws against this regardless of the constitution, but is there no such thing at the federal level?