Trump’s Domestic Use of Military Set to Get Worse, Leaked Memo Shows
Posted on r/politics |
Score: 15546 |
Comments: 1131
A leaked memo from the Department of Homeland Security reveals plans to escalate the U.S. military's role in domestic immigration enforcement, including potential operations in urban centers. Experts warn this could undermine the rule of law and represent an unprecedented militarization of domestic policy.
Key Points:
The memo suggests a significant increase in the military's involvement in domestic immigration enforcement, beyond border operations.
Experts express alarm, comparing the potential scale to Japanese internment and warning it undermines the rule of law.
The memo hints at pressure on Pentagon officials to align with DHS priorities, citing political urgency from the Trump administration.
The document was authored by Philip Hegseth, a key figure in the DHS-Defense Department liaison, indicating high-level coordination.
The memo's secrecy and language suggest officials are aware their actions may be controversial or legally questionable.
""The memo is alarming, because it speaks to the intent to use the military within the United States at a level not seen since Japanese internment," Carrie Lee, senior fellow at the German Marshall Fund, told me. "The military is the most powerful, coercive tool our country has. We don’t want the military doing law enforcement. It absolutely undermines the rule of law.""
MAGA's New Russiagate 'Evidence' Likely Made Up by the Kremlin
Posted on r/politics |
Score: 5749 |
Comments: 137
The article discusses how MAGA Republicans are promoting newly declassified documents from the Durham Report's annex as evidence of a Clinton-led conspiracy to frame Trump, but the documents actually suggest the 'evidence' was fabricated by Russian intelligence. Trump allies are using this to divert attention from the Epstein case scandal.
Key Points:
MAGA Republicans claim the declassified Durham Report annex proves Hillary Clinton conspired to frame Trump with the Russia collusion hoax.
The annex reveals that key emails cited as evidence were likely fabricated by Russian intelligence, not authentic.
Trump and his allies are using this to distract from the administration's mishandling of the Jeffrey Epstein case.
The Durham investigation, initially aimed at finding misconduct against Trump, turned into a fishing expedition against the Clinton campaign.
"Amid heavy redactions, the annex states that two emails — supposedly written by individuals working for billionaire George Soros’ Open Society Foundation — suggesting that Hillary Clinton’s 2016 campaign was interested in carrying out plans 'to demonize Putin and Trump' were 'ultimately a composite of several emails that were obtained through Russian intelligence hacking of the U.S.-based think tanks, including the Open Society Foundations, the Carnegie Endowment and others.'"
Office of Special Counsel launches investigation into ex-Trump prosecutor Jack Smith
Posted on r/politics |
Score: 4425 |
Comments: 442
The U.S. Office of Special Counsel (OSC) is investigating former special counsel Jack Smith for alleged violations of the Hatch Act, following accusations by GOP Sen. Tom Cotton and others that Smith's investigations into Donald Trump constituted illegal political activity. The OSC, an independent agency, can seek disciplinary action but lacks authority to bring criminal charges. Smith, who resigned before Trump's inauguration, had brought two indictments against Trump in 2023.
Key Points:
The OSC is investigating Jack Smith for potential Hatch Act violations related to his investigations into Donald Trump.
Sen. Tom Cotton accused Smith of 'unprecedented interference in the 2024 election' but provided no specific evidence of wrongdoing.
The OSC cannot bring criminal charges but may seek disciplinary action or refer findings to the DOJ.
Smith resigned before Trump's inauguration, leaving his two indictments against Trump unresolved.
Hatch Act violations are rarely referred to the DOJ, as seen in the 2019 case involving Kellyanne Conway.
""Jack Smith’s legal actions were nothing more than a tool for the Biden and Harris campaigns," Cotton wrote on X this week. "This isn’t just unethical, it is very likely illegal campaign activity from a public office.""
Trump gushes over Karoline Leavitt: ‘It’s that face, it’s that brain, it’s those lips, the way they move!’
Posted on r/politics |
Score: 3853 |
Comments: 695
Donald Trump praised his White House Press Secretary Karoline Leavitt in an interview, complimenting her appearance and abilities, while she advocated for him to receive the Nobel Peace Prize. The comments sparked mixed reactions on social media, with some criticizing them as inappropriate.
Key Points:
Trump praised Karoline Leavitt's appearance and performance as press secretary during a Newsmax interview.
Leavitt claimed Trump deserves the Nobel Peace Prize for brokering peace deals and ceasefires.
Social media reactions were divided, with some calling Trump's comments 'creepy.'
Leavitt is Trump's fifth press secretary and the only one in his second term so far.
""She’s become a star. It’s that face. It’s that brain. It’s those lips, the way they move. They move like she’s a machine gun," Trump said."
Seed7: a programming language I plan to work on for decades
Posted on r/programming |
Score: 326 |
Comments: 59
Seed7 is a general-purpose, extensible programming language designed by Thomas Mertes, offering higher-level features than Ada, C/C++, and Java. It supports user-defined statements, operators, and object orientation, with static type checking and automatic memory management. The language is open-source, portable, and includes a database-independent API, running on Linux, Unix, and Windows.
Key Points:
Seed7 is a higher-level, extensible programming language with user-defined statements and operators.
It supports static type checking, automatic memory management, and object orientation where beneficial.
The language is open-source, portable, and includes a database-independent API for various databases.
Seed7 runs on Linux, Unix, and Windows, with licenses under GPL and LGPL.
It features predefined types like array, hash, set, and struct, along with unlimited-size numbers.
"In Seed7 new statements and operators can be declared easily. Functions with type results and type parameters are more elegant than a template or generics concept."
Posted on r/selfhosted |
Score: 226 |
Comments: 138
The article discusses the importance of self-hosted applications that come with companion phone apps, emphasizing the convenience they offer for users who frequently use their phones. The author seeks recommendations for such applications to enhance their self-hosting setup.
Key Points:
Self-hosting is highly valued by the author.
Companion phone apps for self-hosted applications are seen as essential for ease of use.
The author is looking for recommendations of self-hosted applications with phone apps.
The focus is on integrating self-hosted solutions with mobile accessibility.
"Wwe use our phones so much and apps to go with the self hosted applications make it easier."
Developers remain willing but reluctant to use AI: The 2025 Developer Survey results are here
Posted on r/programming |
Score: 135 |
Comments: 73
The 2025 Stack Overflow Developer Survey reveals that while AI tool adoption among developers has risen to 80%, trust in AI's accuracy has declined from 40% to 29%. Developers are frustrated with 'almost-right' AI solutions, which often complicate debugging, and still prefer human assistance for complex issues. The survey also highlights the growing importance of community platforms like Stack Overflow as trusted sources for human-verified knowledge.
Key Points:
AI tool adoption among developers has increased to 80%, but trust in AI's accuracy has dropped to 29%.
45% of developers cite 'almost-right' AI solutions as their top frustration, leading to more time spent debugging.
75% of developers prefer human assistance over AI for complex or high-stakes coding issues.
Community platforms like Stack Overflow remain vital, with 84% of developers relying on them for trusted knowledge.
35% of developers visit Stack Overflow due to AI-related issues, emphasizing the need for human-verified answers.
"Trust but verify? Developers are frustrated, and this year’s results demonstrate that the future of code is about trust, not just tools."
PatchworkOS: A from-scratch NON-POSIX OS strictly adhering to the "everything is a file" philosophy that I've been working on for... a very long while.
Posted on r/programming |
Score: 109 |
Comments: 20
PatchworkOS is a 64-bit monolithic NON-POSIX operating system for x86_64, built from scratch in C, adhering to an 'everything is a file' philosophy. It draws inspiration from Unix, Plan9, and DOS while introducing new ideas, and is currently in early development with known and unknown bugs.
Key Points:
Monolithic kernel with multithreading, SMP, and constant-time memory management.
File-based IPC including pipes, shared memory, sockets, and Plan9-inspired 'notes'.
Custom file system with Linux-style VFS and strict 'everything is a file' adherence.
Modular user space with a shared memory-based window manager and custom C libraries.
High performance with low RAM usage and responsive desktop environment even under heavy load.
"Patchwork is a 64-bit monolithic NON-POSIX operating system for the x86_64 architecture that rigorously follows a 'everything is a file' philosophy."
Posted on r/programming |
Score: 51 |
Comments: 49
The article explains how FastAPI, a modern Python web framework, enhances developer productivity by combining Starlette's web server capabilities with Pydantic's data validation. It details the request lifecycle, routing methods, and dependency injection system, highlighting FastAPI's efficiency and ease of use.
Key Points:
FastAPI leverages Starlette for web server logic and Pydantic for data validation, reducing boilerplate code.
The framework automatically generates interactive docs (Swagger UI and ReDoc) and supports async/await for concurrent requests.
Requests follow a structured lifecycle: middleware, route matching, dependency injection, validation, endpoint execution, and response serialization.
FastAPI offers inline routing for small projects and modular routing with APIRouter for larger applications.
Dependency injection allows reusable logic like database sessions or authentication to be easily integrated.
"The magic of FastAPI is that it uses Python’s type annotations not just for better editor support, but as the foundation for validating inputs, generating docs, and keeping your code clean."
I'm starting to think about Speedtest Tracker v2 and I want your feedback!
Posted on r/selfhosted |
Score: 44 |
Comments: 14
The maintainer of Speedtest Tracker is planning the next version (v2) and is seeking feedback from the community. Users are encouraged to share their ideas via a GitHub discussion linked in the article.
Key Points:
The maintainer is planning Speedtest Tracker v2.
Community feedback is being solicited for the new version.
Ideas can be shared on a specific GitHub discussion.
The maintainer prefers GitHub over Reddit for feedback.
"If you have any ideas feel free to drop them in the GitHub discussion linked below, I'm pretty bad at checking Reddit comments 🤷♂️."
Fully open source Mattermost and Rocket Chat Alternatives?
Posted on r/selfhosted |
Score: 43 |
Comments: 19
The article discusses the need for fully open-source alternatives to Mattermost and RocketChat, which are increasingly moving features behind paywalls. It questions whether Matrix is the only viable option, especially for non-technical users, and seeks other self-hosted, truly open-source chat and collaboration tools.
Key Points:
Mattermost and RocketChat are transitioning to paid models with features behind paywalls.
There is a demand for genuinely open-source, self-hosted chat and collaboration tools.
Matrix is mentioned as a major alternative but may be challenging for non-technical users.
The article seeks other fully open-source alternatives beyond Matrix.
"Aside from RocketChat and Mattermost - what are the best self hosted open source (like really open source, not open source as a marketing ploy) chat and colab tooling?"
This changes everything. Migrated an app in three evenings
Posted on r/ClaudeAI |
Score: 40 |
Comments: 13
The author describes their experience using Claude Code to migrate a Flarum forum to a new stack (Nuxt, Supabase) in just three evenings, a task they initially estimated would take six months. They highlight the efficiency, quality, and integrated knowledge of the AI, which not only replicated but improved upon the original forum, including better SEO and performance.
Key Points:
Migrated a Flarum forum to Nuxt and Supabase in three evenings, far quicker than the estimated six months.
The new forum outperforms the original in SEO, performance, and user experience.
Claude Code demonstrated deep integrated knowledge of tools, databases, and terminal commands.
The author also quickly built a functional internal CRM, questioning the need for paid SaaS solutions.
The technology's current capabilities hint at even more transformative future potential.
"This changes everything. The future of SaaS, the future of coding. You still need to have a very good grasp of what everything is, how everything is coming together, about UX, about products."
Compressing Icelandic name declension patterns into a 3.27 kB trie
Posted on r/programming |
Score: 30 |
Comments: 1
The article discusses the challenges of displaying Icelandic personal names in user interfaces due to declension, where names change form based on grammatical cases. The author developed a JavaScript library that compresses Icelandic name declension patterns into a 3.27 kB trie, enabling efficient case application without significantly increasing bundle size.
Key Points:
Icelandic names have four forms corresponding to grammatical cases, making display in user interfaces complex.
The author created a JavaScript library to apply the correct declension to names stored in the nominative case.
The library uses a trie-like data structure derived from public Icelandic data to compress declension rules.
The solution reduces bundle size to under 4.5 kB gzipped, making it practical for web apps.
The approach leverages the Database of Icelandic Morphology and the Personal Names Register for accuracy.
"When including a name in a sentence, the sentence’s structure determines the grammatical case, and correspondingly, a certain form of the name should be used. Using the wrong form results in a 'broken' feel that native speakers associate with non-native speakers not yet fluent in the language."
The article seeks a simplified explanation of Georgism, an economic ideology advocating for a single tax on land value to replace other taxes, and compares its advantages and disadvantages to other ideologies.
Key Points:
Georgism is centered on the idea of a single tax on land value.
It aims to replace other forms of taxation, promoting economic efficiency and equity.
The ideology is compared to others to highlight its pros and cons.
The article requests a straightforward, digestible explanation of Georgism.
"Like the full rundown of everything in the ideology and how it is better and worse than other ideologies."