Python solver:
Generate all positive/negative combinations for b, d, e
For each, calculate the value of a given that their sum must be -5
Compare the calculated value of a to its acceptable value (+/- 3, +/- 6)
Any combination that passes that test is a good solution.
Doing a four-way (set-inclusion) test, we can solve this by only considering eight possibilities:
This gives only one solution,
a = 6
b = 9
c = -3
d = -25
e = 5
f = -1
g = -7
h = -2
i = 8 โ
29.05.2025 18:47 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0
All combinations are valid, which gives us 16 possible sign-solutions;
applied to the two number-solutions we already had gives us a grand total of 32 possibilities. ๐
Now we just have to find put which fulfil the grey-box condition.
4/
29.05.2025 18:32 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0
... er, the opposite (XNOR) ๐
Let's label our cells as
a b c F
d e f T
g h i T
T F T
c = not xor(a, b)
f = xor(d, e)
g = xor(a, d)
h = not xor(b, e)
i = xor(not xor(a, b), xor(d, e))
So we only need to consider the independent variables a, b, d, e.
3/
29.05.2025 18:20 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0
Next we have to find possible placements of negative factors.
We can solve this as a parity problem, encoding +ve as True and -ve as False.
If we look at possible combinations,
T โข T = T
T โข F = F
F โข T = F
F โข F = T
which matches the XOR operator ๐
2/
29.05.2025 18:09 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0
Puzzle in progress:
blue numbers are factors whose position is forced,
red are factors whose position is optional,
purple are final cell values,
green are sets of possible alternative final values.
First row:
(3 or 6), 9, (6 or 3): product is 162
Second row:
25, 5, 1: product is 125
Third row:
(14 or 7), 2, (4 or 8): product is 112
Ignoring negatives for the moment, factorization and comparison gets us two base solutions:
1/
29.05.2025 17:57 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0
Proposed BEAD Changes Could Delay Deployment by Two Years
How BEAD delays could impact broadband network rollout
Republicans are rewriting the infrastructure bill to make sure Elon Musk gets a fatter chunk of $42.5 billion in broadband subsidies and to kill requirements that the resulting broadband would be affordable.
This could delay broadband deployments by an additional two years:
29.05.2025 13:09 โ ๐ 67 ๐ 25 ๐ฌ 1 ๐ 0
I had a simple question: Has President Trump increased has net worth since taking the White House? And if so, by how much?
The answer was more surprising than I anticipated. Simply put, he has more than doubled his net worth in 4 months.
Here's how:
29.05.2025 13:08 โ ๐ 885 ๐ 406 ๐ฌ 28 ๐ 36
The US Is Storing Migrant Childrenโs DNA in a Criminal Database
Customs and Border Protection has swabbed the DNA of migrant children as young as 4, whose genetic data is uploaded to an FBI-run database that can track them if they commit crimes in the future.
NEW: The US government has collected DNA samples from 133,000+ migrant children and teenagers and uploaded them into CODIS, a national criminal database originally built for convicted sex offenders and violent criminals, according to documents reviewed by WIRED.
29.05.2025 12:49 โ ๐ 3264 ๐ 2096 ๐ฌ 231 ๐ 393
Ingenious ๐
FFS
29.05.2025 12:12 โ ๐ 6145 ๐ 1242 ๐ฌ 276 ๐ 138
No kings, masters, overlords or any of that bullshit. Time to take the country back.
28.05.2025 17:12 โ ๐ 12222 ๐ 3509 ๐ฌ 241 ๐ 109
Kamala Harris on โthe big, beautiful bill:โ
โItโs an agenda...a narrow, self-serving vision of America...where they punish truth tellers, favor loyalists, profit from their power, and leave everyone else to fend for themselves.โ
Nailed it!
๐ฅ
28.05.2025 17:28 โ ๐ 14097 ๐ 3879 ๐ฌ 241 ๐ 110
Politico screenshot:
โBy the numbers: A quick trawl through the archives suggests Trump 2.0 has done media on 111 of his 138 days back in office โ an 80 percent hit rate that includes weekends and must put him on course to being just about the most-accessible president in modern history. And aside from the lamentable attempt to ban AP, heโs basically taken questions from all-comers. Itโs impressive stuff.
And it matters: In case anyone still needs this hammering home for them, the Joe Biden experience shows just how important it is that leaders are held up to regular scrutiny. Trumpโs answers may sometimes be rambling, erratic โ or even downright unpleasant โ but every American voter can see where heโs at.โ
The Trump regime has gutted the govt; assaulted the constitution; apprehended immigrants off streets w/o due process sending them to foreign gulags; blown up alliances as economy hurtles towards uncertainty.
Yet here is POLITICO fawning over his media appearances while throwing shade at Biden.
28.05.2025 12:56 โ ๐ 1027 ๐ 234 ๐ฌ 133 ๐ 128
Her stats line up with CDC dataโฆ
27.05.2025 17:40 โ ๐ 26733 ๐ 9478 ๐ฌ 622 ๐ 394
RFK Jr. says he may bar scientists from publishing in top medical journals
Health Secretary Robert F. Kennedy Jr. took aim at reputed journals such as the Lancet and said the agency will create โin-houseโ publications instead.
Health and Human Services Secretary Robert F. Kennedy Jr. said that he could bar government scientists from publishing in the worldโs leading medical journals, instead proposing the creation of โin-houseโ publications by his agency.
28.05.2025 11:16 โ ๐ 5390 ๐ 2150 ๐ฌ 1850 ๐ 773
The last solution I found was
1/12 + 1/20 + 1/30 + 1/72 + 1/90 + 1/110 + 1/156 + 1/182
+ 1/210 + 1/240 + 1/272 + 1/306 + 1/342 + 1/380 + 1/420
+ 1/462 + 1/600 + 1/650 + 1/702 + 1/756 + 1/812 + 1/870
+ 1/930 + 1/992 + 1/1056
= 1/4 ๐ฅณ
24.05.2025 21:36 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
or on one machine across 10,000 different sessions.
What would *really* help would be a better algorithm; but I can't picture what that would look like, I think I've got this one pretty well cinched down tight. ๐ค
4/
24.05.2025 21:34 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0
I can get around that by making the solver reentrant; that would let me parallelize it across time or hardware.
I could run the basic solver until my state-table is ie a million entries, then split it into hundred-entry chunks and restart each on 10,000 different machines,
3/
24.05.2025 21:32 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0
I can try porting it to a different language (Julia or Rust) - but I suspect that 98% of the memory consumption is simply a huge table of partial solutions, which is a basic necessity for the solver.
2/
24.05.2025 21:28 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0
I rewrote my program on my desktop machine, refactored it, and tried to minimize memory usage.
That ran for 11 minutes and got me up to 188 solutions before locking my machine (Python using 28.3 GB of RAM) ๐.
1/
24.05.2025 21:23 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0
"Dumbest" isn't a huge problem - Americans survived Dubya mostly intact.
Unfortunately Trump is also the law-breaking-est president, and surrounded by idiot goons happy to break the law for him.
24.05.2025 17:49 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0
A new analysis finds that projected growth from the GOP budget's tax cuts would only cover 2.7% of their $3.8T cost.
That's nowhere close to the cuts "paying for themselves."ย
Notice how nobody ever asks, "but how will we pay for it" when it comes to trickle-down economics?
23.05.2025 20:00 โ ๐ 7360 ๐ 2278 ๐ฌ 214 ๐ 80
I need this monopoly version...
23.05.2025 18:25 โ ๐ 16023 ๐ 2410 ๐ฌ 274 ๐ 71
Muskโs team was caught using a customized version of the Grok chatbot, without approval, to sift through sensitive government data inside the Department of Homeland Security. They used a modified version in an attempt to hide the fact that they were doing it.
24.05.2025 00:19 โ ๐ 6663 ๐ 2404 ๐ฌ 193 ๐ 163
The worst part is (the usual) skewing benefits for the rich: Yes, everybody gets a tax cut, but the tax cuts for the poor are peanutsโand the rich are getting not just personal income tax relief.
Republicans have thrown all kinds of things in that help those at the top.
https://trib.al/TOX5eu9
24.05.2025 01:47 โ ๐ 163 ๐ 58 ๐ฌ 17 ๐ 2
(they/them)
I do a lot of things and it's statistically unlikely that I'm bad at all of them. ๐๐ฅ๏ธ๐ป๐ธ ๐ญ๐ณ๏ธโ๐โพ๏ธ
Eppur si muove! -and yet it moves. Something Galileo probably never said, but what a beautiful retort in defiance of religious oppression it would have been.
The official "Resistance" team of U.S. National Park Service. Our website: www.ourparks.org
Dad, husband, President, citizen. barackobama.com
Political theorist studying democracy, ethics, & institutions. Author of Democracy for Busy People (https://press.uchicago.edu/ucp/books/book/chicago/D/bo194847654.html); more at kevinjelliott.net. Generally poasting my way through this thing
A new media company focused on the biggest story of our time: climate change. Subscribe to our newsletter at https://heatmap.news.
Conceptual corvid currently fixated on organizational topology, design systems as languages, structured content as embodied doctrine, and shitposting as a service.
My views do not represent those of my employer, no matter what they claim
Scholar of religious violence and apocalypticism from the Crusades to contemporary America, living and teaching on occupied Baxoje, Meskwaki and Sauk land. Joyful swearbear. He/him.
Founder @conversationalist.org. Host of Unbreaking Media. Lapsed lawyer and historian. Writing on authoritarianism, rule of law, human rights, feminism. She/her.
the punk rock kim petras. ceo of moonenergy. i write about climate change and renewable energy. โthe fightโ newsletter @heatmap.news. also in the band @ekkoastral.bsky.social. stream "pink balloons". email jael @ heatmap dot news
Comm tech & social media research professor by day, symphony violinist by night, outside as much as possible otherwise. German/American Pacific Northwestern New Englander, #firstgen academic, she/her, ๐ณ๏ธโ๐
https://anne-oeldorf-hirsch.uconn.edu
Writer challenging the myths that shape religion and politics. Uncovering uncomfortable truths from the Bible to the ballot box.
writer/photojournalist/loves movies
Member: NPPA, NWU and NPC
Writing: VisuNews.substack.com
Portfolio: ZDRoberts.com
Movie Talk: ECVPodcast.com
Signal: @ZDRoberts.81
Candidate for U.S. Senate | Michigan State Senate Majority Whip | Notre Dame โ๏ธ | Ray Wertโs ginger half | Noa's mom |
Progressive Masorti/Conservative Jew. Statistician and US policy wonk recently laid off from the US government workforce. Married aroace with kids.
extremely alive cartoonist. I won an award once โข http://amultiverse.com โข http://goats.com โข http://patreon.com/jonrosenberg โข http://linktr.ee/mrjonrosenberg โข he/him
Now I am become sarcasm, destroyer of worlds. Cogito ergo sumbitch ipso facto vis a vis hold deez.