knuckledragger/src/kdrag/contrib/fast/__init__.py at main · philzook58/knuckledragger
A Low Barrier Proof Assistant. Contribute to philzook58/knuckledragger development by creating an account on GitHub.GitHub
Tech policy when the AI bubble bursts
IT'S MONDAY, AND THIS IS DIGITAL POLITICS. I'm Mark Scott, and I'm writing this newsletter on a Eurostar train to Brussels with patchy internet. Bear with me.
If you're interested in understanding what digital policymaking trends will likely dominate the agenda next year, please join me for a dinner in Brussels — in cooperation with YouGov and Microsoft — on Dec 10. Sign up is here, and invites will go out by the end of the week.
— Fears are growing that the artificial intelligence boom is about to pop. There are significant policy implications if that happens.
— Brussels is readying itself for a major revamp of the European Union's digital rulebook. Here's what you need to know.
— A look inside which publishers' content is served up when people use ChatGPT.
Let's get started:
Interested in processor architectures, gateware design?
Coreblocks is looking for new contributors!
It is a modular RISC-V out-of-order processor, written in Amaranth (a powerful python-based HDL) and our transactional hardware library, making it a rather unique design.
Our teams dream goal is a fully open-source, usable processor, manufactured in the EU - and you can be part of it!
Larger contributions are planned to be funded from the Coreforge Foundation, starting in next months.
(1/n)
New blog post!
Decompression is up to 30% faster in CPython 3.15
This blog goes over a journey to find an optimization in some lower-level code in CPython that yields a speedup of 10-30% when decompressing more than 1MiB of data.
21 anni di Firefox: una storia di innovazione e indipendenza
📌 Link all'articolo : redhotcyber.com/post/21-anni-d…
Il 9 novembre ha segnato il 21° anniversario di Firefox 1.0. Nel 2004, è stata la prima versione stabile del nuovo browser di #Mozilla, che si è subito posizionato come un’alternativa semplice e sicura a Internet Explorer.
Inizialmente, vantava la navigazione a schede, il blocco dei pop-up, un #sistema di estensioni flessibile e impostazioni di #privacy intuitive, attirando rapidamente sia il pubblico che la stampa. Prima del suo rilascio, il browser subì diversi cambi di nome.
A cura di Redazione RHC
#redhotcyber #news #firefox #mozilla #browser #internetexplorer #navigazioneaschede #sistemaestensioni #storiadelfirefox #anniversariofirefox #ricorsivo #tecnologia #storico #web
21 anni di Firefox: una storia di innovazione e indipendenza
Il browser Firefox compie 21 anni: dalla sua nascita come alternativa a Internet Explorer, alle innovazioni tecnologiche e di privacy.Redazione RHC (Red Hot Cyber)
Good evening
Yes, I love this one
Yes - Leave It (Official Music Video)
iTunes: https://itunes.apple.com/artist/yes/id154011/Amazon: http://amzn.to/1bnX3yBLEAVE ITI can feel no sense of measureNo illusions as we takeRefuge in you...YouTube
Jodie Foster e Robert Downey Jr, lo scontro
🛑 L’ aveva quasi salvato👇wp.me/pey833-4ZH
#boomerissimo #jodiefoster #robertdowwningjr #cinema #film #UnoCinema
boomerissimo.it/2024/04/22/jod…
Jodie Foster, lo scontro con Robert Downey Jr: così l’ha salvato, o quasi - Boomerissimo
Jodie Foster e Robert Downey Jr, due personalità opposte. Un giorno si sono scontrate e quello che ne è nato merita di essere raccontato.Antonio Pintér (Boomerissimo)
Violazione dati HAEA, sussidiaria di Hyundai: informazioni sensibili a rischio
📌 Link all'articolo : redhotcyber.com/post/violazion…
#redhotcyber #news #cybersecurity #hacking #malware #ransomware #hodaev #hyundaimotorgroup #databreach #informazioniutenti #sicurezzainformatica #protezionedatidigitali #furtoidentita #hAEA
Violazione dati HAEA, sussidiaria di Hyundai: informazioni sensibili a rischio
La sussidiaria di Hyundai, HAEA, subisce una violazione dei dati. Informazioni sensibili dei dipendenti e potenzialmente dei clienti a rischio.Redazione RHC (Red Hot Cyber)
#CyberSecurity
insicurezzadigitale.com/landfa…
LANDFALL: la nuova spia commerciale Android e la catena di exploit che colpisce i dispositivi Samsung - (in)sicurezza digitale
Era solo questione di tempo. Dopo le rivelazioni di agosto su una sofisticata catena di exploit zero-click che sfruttava vulnerabilità nella elaborazioneDario Fadda (inSicurezzaDigitale.com)
Supreme Court declines to hear marriage equality case
https://19thnews.org/2025/11/supreme-court-marriage-equality/?utm_source=flipboard&utm_medium=activitypub
Posted into The latest LGBTQ+ news @the-latest-lgbtq-news-19thnews
Supreme Court declines to revisit landmark same-sex marriage case
For the second time, the Supreme Court rejected Kentucky clerk Kim Davis’ attempt to challenge Obergefell v. Hodges.Kate Sosin (19th News)
Democrats responded to anti-trans attacks this year — and won
https://19thnews.org/2025/11/election-2025-democrats-winning-trans-protections/?utm_source=flipboard&utm_medium=activitypub
Posted into The latest LGBTQ+ news @the-latest-lgbtq-news-19thnews
Democrats responded to anti-trans attacks this year — and won
LGBTQ+ rights organizations and party strategists point to wins in gubernatorial races in Virginia and New Jersey as a template heading into the 2026 midterms.Amanda Becker (19th News)
LANDFALL: la nuova spia commerciale Android e la catena di exploit che colpisce i dispositivi Samsung
@Informatica (Italy e non Italy 😁)
Era solo questione di tempo. Dopo le rivelazioni di agosto su una sofisticata catena di exploit zero-click che sfruttava vulnerabilità nella elaborazione di immagini DNG su iOS, era inevitabile che qualcosa di
Ouimé j'étais bloqué par un criminel caché sous sa couleur rouge.
Clues by Sam
A daily logic puzzle where you deduce who are criminals and who are innocent!cluesbysam.com
Дайджест новостей из мира науки за прошедшую неделю
Телескоп Джеймса Уэбба создал первую трёхмерную карту атмосферы инопланетной планетыГазовый гигант WASP-18b, изображённый на этой иллюстрации, находится в прилив...Вячеслав Голованов (Habr)
⚡️‘Destroying our memory’ YouTube wipes Ukrainian memorial channel, erasing stories of the fallen kyivindependent.com/memorial-o…
🐦🔗: nitter.oksocial.net/KyivIndepe…
[2025/11/10 15:37]
‘Destroying our memory’ — YouTube wipes Ukrainian memorial channel, erasing stories of the fallen
The nature of the mass reports' accusations, unrelated as they are to the channel's actual content, is a clear sign of a coordinated Russian operation, according to the project's deputy editor.Francis Farrell (The Kyiv Independent)
10 November 1941 | A Dutch Jewish girl, Frederika Madeleine van Coevorden, was born in Amsterdam.
In July 1942 she was deported to #Auschwitz and murdered in a gas chamber after the selection.
---
A short video about gas chambers and crematoria of the Auschwitz camp: youtu.be/-A05i25j9Ck
Video history | Gas chambers and crematoria at Auschwitz II-Birkenau
The first crematorium at Auschwitz I was already in operation since August of 1940, and the first gas chamber since the fall of 1941. The number of planned c...YouTube
reshared this
‼️ Kharkiv OTU ridiculed the absurd fakes of the Russians about the advance in Vovchansk.
"Having taken a calculator in hand and carefully reviewed the report of the propagandists, in the end we got stunning numbers. In September on the left bank of Vovchansk they advanced by 6,600 meters, and in October - by another 10,400, and in just two months - by 17 km."
In the latest episode of Ukraine This Week, The Kyiv Independent’s Anna Belokur reports on a deadly Russian strike on an alleged military ceremony, prompting outrage and an internal investigation into security lapses. https://piped.video/watch?v=ECSgSeAOyig&t=22s
🐦🔗: nitter.oksocial.net/KyivIndepe…
[2025/11/10 14:46]
‼️ In the Kupyansk direction, the Russians are pressing in small groups and with drones, trying to disrupt Ukrainian logistics and advance from the south and east.
In Vovchansk, fighting is taking place among completely destroyed buildings, and along the border the Russian army is trying to create a "sanitary zone".
🇺🇦 7th Corps of DSHV about the situation in Pokrovsk and Myrnohrad:
Over the past week, 7th Corps have eliminated 236 Russians, another 136 were wounded. Our soldiers also hit 1 tank, 3 armored combat vehicles, and 23 units of automobiles and motorcycles.
The enemy continues to increase the number of assaults on Ukrainian positions in the Pokrovsk agglomeration. Last week, the Russians attacked our units 132 times. This is almost 20% more than the previous week.
🇪🇺 The European Union will on Thursday discuss two main ways to raise financial support for #Ukraine - borrowing the money, or the more likely option of using frozen Russian assets, a senior EU official said.
🇺🇦 #Ukraine's Kyivstar is ramping up measures to keep its network online as Russian strikes strain the country's power grid, CEO Oleksandr Komarov said on Monday.
Timur Mindich, a businessman who is reportedly at the center of a major corruption probe, is a close associate of President Volodymyr Zelensky with interests in multiple industries. kyivindependent.com/who-is-tim…
🐦🔗: nitter.oksocial.net/KyivIndepe…
[2025/11/10 13:47]
Più sei ignorante, più ti ascoltano (e qualcuno ci fa miliardi)
Ecco come funzionano i social e come vengono premiati i contenuti ignoranti su @internet:
youtube.com/watch?v=vYkBIhSmQ4…
Calza la citazione di Umberto Eco: "I social media danno diritto di parola a legioni di imbecilli che prima parlavano solo al bar dopo un bicchiere di vino, senza danneggiare la collettività. Venivano subito messi a tacere, mentre ora hanno lo stesso diritto di parola di un Premio Nobel. È l’invasione degli imbecilli"
Più sei ignorante, più ti ascoltano (e qualcuno ci fa miliardi)
VUOI SAPERNE DI PIÙ SULL'INTELLIGENZA ARTIFICIALE? ISCRIVITI GRATUITAMENTE AL MIO CORSO "CONTENT MARKETING ... SENZA LIMITI":"https://join.marcomontemagno.co...YouTube
Got the screen replaced on my phone: now it doesn’t recognize me anymore.
This is a true sentence about my life. It also sounds like something from a cyberpunk horror story. In addition? My phone is *haunted*— phantom typing … (Like a damn Ouija board. ) spontaneous sentences, I keep telling myself it is just autocorrect.
I’m still mostly delighted that it could be fixed at all— but, I thought this was the digital age? Why do my problems have an analog texture?
A program taking kids out of class for Bible study tests boundaries in public schools
https://19thnews.org/2025/11/lifewise-big-red-bus-bible-study-public-schools/?utm_source=flipboard&utm_medium=activitypub
Posted into The 19th @the-19th-19thnews
LifeWise’s big red bus tests church and state boundaries in public schools
LifeWise’s $35 million organization and fleet of big red buses is driving thorny questions about church and state.Linda Jacobson, The 74 (19th News)
The fight over SNAP benefits continues — and so does the mom guilt
https://19thnews.org/2025/11/snap-benefits-mom-guilt-food-insecurity/?utm_source=flipboard&utm_medium=activitypub
Posted into The 19th @the-19th-19thnews
The fight over SNAP benefits continues — and so does the mom guilt
The worry over long-term access to food collides with the reality that children and their families face detrimental health effects when they experience food insecurity.Barbara Rodriguez (19th News)
Malware come Bombe ad orologeria! La minaccia per i PLC Siemens S7 parte dal 2027
📌 Link all'articolo : redhotcyber.com/post/malware-c…
I #ricercatori hanno scoperto diverse librerie nel registro pubblico NuGet contenenti codice che si attiverà nel 2027 e nel 2028. I pacchetti infetti prendono di mira tre noti motori di #archiviazione #dati .NET (Microsoft #SQL #Server, PostgreSQL e #SQLite) e un componente è specificamente mascherato da #libreria per funzionare con i controller Siemens S7.
#redhotcyber #news #cybersecurity #hacking #malware #nuget #dotnet #siemens #codiceDannoso #database #componenti #sicurezzaInformatica #minacceInformatiche #vulnerabilita
Malware come Bombe ad orologeria! La minaccia per i PLC Siemens S7 parte dal 2027
Scoperta una serie di librerie NuGet contenenti codice sabotaggio programmato per attivarsi nel 2027 e 2028, minacciando i sistemi IT e industriali.Redazione RHC (Red Hot Cyber)
I accidentally rented an actual medieval castle off-season last week for the price of a cheap motel room. Great views, but we peasants don't often appreciate how inflexible and cramped and cold medieval castles are. Anyway one oddly proportioned room was outfitted with a rig much like this. We were absolutely enamored with it and now I want one.
yankodesign.com/2021/06/11/thi…
This slim wall cabinet opens into a sleek, modern, functional workspace!
As a child, every time I opened a wall cabinet or wardrobe I expected to find an entry to Narnia. As an adult who is working from home for over a year, I expectChi Thukral (Yanko Design)
securityaffairs.com/184411/sec…
#securityaffairs #hacking #China
Denmark and Norway investigate Yutong bus security flaw amid rising tech fears
Denmark and Norway probe a security flaw in Chinese-made Yutong buses, deepening EU fears over reliance on Chinese tech and potential risksPierluigi Paganini (Security Affairs)
Le spine nel cassetto della TV
Ogni volta la stessa storia... (solo che i miei alla fine rimangono nel cassetto, sono un sentimentale)
youtube.com/watch?v=3ERkF9h0Tq…
Le spine nel cassetto della TV
Le spine dentro a quel cassetto del mobile della tv dove sono tenute le batterie, le penne e i manuali di istruzioni della lavatrice.Tutti i rifiuti con comp...YouTube
Bonfire sta per lanciare la versione 1.0 e apre una raccolta fondi su Indiegogo
Bonfire, una piattaforma libera per creare comunità federate sta per arrivare alla versione 1.0 e lancia una raccolta fondi su Indiegogo!
Apps for note taking.
cross-posted from: lemmygrad.ml/post/9715658
I'd love suggestions for apps for note taking that comrades use, ideally just free/open source ones that work on multiple platforms and can sync between devices.
Get syncthing, which works on every platform, and syncs folders.
Keep all your files in markdown, and use any markdown editor for desktop or mobile you like. Markor or Obsidian(not open source unfortunately) for android are good ones.
Lemmings over 30 who try to stay active, what are you doing to accommodate for your incredibly decrepit bodies to avoid boo-boos?
Go for a walk (outside) every day. I used to try different posture exercises, running, sprinting interval training, but as you get older, nothing is healthier and easier on your body than just daily walks.
We kinda are walking machines anyway:
Bonus points for mental health if you walk in nature, without any headphones or entertainments.
Also do strength training (you can get hand barbells very cheap if you don't have a gym close by), starting very light at first, and working up to whatever feels comfortable.
La Diffusione Illecita di Immagini Intime: Una Minaccia alla Libertà Femminile
📌 Link all'articolo : redhotcyber.com/post/la-diffus…
#redhotcyber #news #violenzaonline #nonconsensualsharingofintimateimages #ncsii #art612ter #reatoinformatico #cybercrime #sicurezzainformatica #violenzadigenere #donneevittime #abusoonline #privacyviolata #imaginintime #diffusionenonconsensuale
La Diffusione Illecita di Immagini Intime: Una Minaccia alla Libertà Femminile
La diffusione non consensuale di immagini intime è una violazione della libertà femminile. L'articolo analizza il fenomeno e la normativa italiana.Paolo Galdieri (Red Hot Cyber)
NEW: I tried to explain why there are so many victims of spyware, despite the fact that its makers have been telling us for years that the tech is only intended to be used in limited cases.
There are several reasons, including how the spyware systems are designed, how powerful and easy to use they are.
techcrunch.com/2025/11/10/why-…
Why a lot of people are getting hacked with government spyware | TechCrunch
Government surveillance vendors want us to believe their spyware products are only used in limited and targeted operations against terrorists and serious criminals.Lorenzo Franceschi-Bicchierai (TechCrunch)
EU Commission about to wreck core principles of the GDPR
EU Commission about to wreck core principles of the GDPR
The EU Commission has secretly set in motion a potentially massive reform of the GDPR. noybs first overview of the proposed changes.noyb.eu
❗️🇺🇦 Belgium, Slovakia and Hungary are blocking the "reparations loan" to Ukraine, the basis of which is to be confiscated Russian assets, - journalist Tsaplienko
🇧🇪 Belgium is afraid of legal consequences.
🇸🇰 Slovakia found an excuse and calls the loan "heating up the war" that will prolong the conflict.
🇭🇺 And only Hungary is not inventing anything, but simply constantly blocking everything that should help Ukraine.
➡️ That is, there is no common solution.
Over 600 russian soldiers in the Central Military District died off‑battlefield in 2024‑25, mainly from neglect, alcohol/drug overdoses, fights and unsanitary conditions. Suicides rose to 71 in 2024 and 86 in early 2025; drug deaths hit 112.
☢️🇺🇦 "The situation after Russia’s latest massive attack remains difficult," Deputy Energy Minister Kolisnyk said. He informed that Ukraine has appealed to IAEA to urgently convene a Board of Governors.
The goal is to form mechanisms to prevent Russian attacks on critical infrastructure and increase international pressure on nuclear and radiation safety issues.
Nowe zasady w internecie - sprawdź, co zmieni DSA - Ministerstwo Cyfryzacji - Portal Gov.pl
Dzięki wdrożeniu Aktu o usługach cyfrowych (DSA) użytkownicy zyskają większą ochronę, a platformy - jasne zasady odpowiedzialności za treści publikowane w sieci. To szansa na bezpieczniejszy i bardziej przyjazny internet.Ministerstwo Cyfryzacji
Writing a 2D scrolling shoot-em-up, and the bullet-vs-baddy collision is proving surprisingly expensive, since it's an N*M test.
Considering adding the baddies pointers to a grid and then bullets just test the ones in their grid square.
Should work, I'm just surprised this is such a cost. 2D shooters are ancient tech - is there something cleverer I'm missing, or have other people had to do this?
🇷🇺 St. Petersburg police detained 18-year-old singer Diana Loginova and guitarist Alexander Orlov for a third❗ time in a month, media outlets reported on Monday, coming immediately after the two musicians completed their latest jail sentences.
🇷🇺🛢️📉 Lukoil has declared force majeure at Iraq's giant West Qurna-2 oilfield, after Western sanctions on the Russian oil major complicated its operations.
Iraq has halted all cash and crude payments to Lukoil, Reuters reports.
🇮🇳 Indian refiner HPCL-Mittal Energy Ltd has issued a rare spot tender seeking two cargoes of naphtha for November delivery after its Russian supplies of the petrochemical feedstock were hit, Reuters reports.
🇷🇺🇮🇳 The Kremlin said on Monday it was "actively preparing" for Putin to visit #India before the end of the year and hoped it would be a substantive trip.
Putin is due to visit India in December according to the Kremlin.
🇺🇦 Ukraine's anti-corruption bureau said on Monday that it was conducting a large-scale investigation into the country's energy sector, alleging kickbacks in transactions involving #Ukraine's state nuclear power operator Energoatom.
The Kyiv Independent embedded with a small unit from the 3rd Army Corps to document how FPV pilots chase targets at over 250 kilometers per hour, and how the crew identifies, pursues, and destroys incoming threats close to the front. Watch here: piped.video/watch?v=2ZOKB97Ta-…
🐦🔗: nitter.oksocial.net/KyivIndepe…
[2025/11/10 12:05]
⚡️ Ukraine war latest updates: Kyiv denies Pokrovsk encirclement again, admits logistics difficult. The Ukrainian military denied once again on Nov. 10 that Russian troops had managed to encircle the embattled city. kyivindependent.com/ukraine-wa…
🐦🔗: nitter.oksocial.net/KyivIndepe…
[2025/11/10 11:38]
Ukraine war latest live: Kyiv denies Pokrovsk encirclement, 7th Rapid Response Corps releases drone strike footage
Major Andrii Kovalev, a spokesman for Ukraine's General Staff, told Ukrainian newspaper Ukrainska Pravda that logistics to Pokrovsk still exist, and the troops, including wounded soldiers, are being rotated in and out.Asami Terajima (The Kyiv Independent)
10 November 1921 | A Dutch Jew, Samuel Berclouw, was born in Amsterdam.
In #Auschwitz from 17 July 1942.
No. 47971
He perished in the camp on 30 September 1942.
---
Online lesson about Jewish prisoners at KL Auschwitz: lekcja.auschwitz.org/29_zydzi_…
🇺🇦‼️ NABU and SAP publish recordings of conversations of those involved in a large-scale corruption scheme in Energoatom.
A criminal organization has been exposed. They received 10–15% of Energoatom's contracts, forcing suppliers to pay "kickbacks".
The scheme was headed by a businessman, and former advisor to the Minister of Energy and the executive director for the company's physical protection.
They managed a strategic enterprise with an annual income of over UAH 200 billion.
CF Bolz-Tereick
in reply to Philip Zucker • • •Philip Zucker
in reply to CF Bolz-Tereick • • •CF Bolz-Tereick
in reply to Philip Zucker • • •ah. Yeah I misunderstood, I thought you maybe just want to call some Z3 functions that aren't exposed by default.
cibuildwheels isn't so bad for building wheels, I think? But I've never maintained a library, so I don't actually have firsthand experience