ioππ½ββοΈ retweeted
what in tarnation
your HDMI cable can leak whatβs on your screen
watch the laptop on the left. it reconstructs the video playing on the monitor beside it from radio signals leaking out of the HDMI connection
this is TempestSDR. an antenna picks up the leakage, a HackRF radio captures it, and software turns it back into an image
researchers took this further with Deep-TEMPEST, using AI to make recovered images and text easier to read. this clip shows the original technique
quality depends on shielding, distance and interference. the picture is imperfect, but recognizable content still gets through
a wired connection can still leave a wireless trace
Readers added context they thought people might want to know
HDMI TEMPEST demos like TempestSDR recover distorted images only in controlled close-range setups often using unshielded or poorly shielded cables; standard consumer HDMI connections and distances prevent practical screen leakage or remote recovery.
rtl-sdr.com/easvesdroppingβ¦
arxiv.org/pdf/2407.09717
techradar.com/computing/cybeβ¦
kaspersky.com/blog/deep-tempβ¦
ioππ½ββοΈ retweeted
Astra solved two audio/video bugs I've been battling for 18 months!!
Problem 1: dropped frames
> Occasionally in my videos, it would look like the video was dropping frame rate. Turns out, there's a setting in OBS called "buffering" which was set to auto. I thought auto would...ya know...automatically turn it on when needed. Astra read the OBS logs and figured out it never turned on, thus causing my camera input to drop frames as it overloaded OBS's ability to capture them.
Problem 2: mic popping
> Again, very occasionally, we'd hear weird mic popping sounds in my videos. It would only happen on Windows machines. Astra tracked down the problem. It turns out there was a very specific driver I needed installed and I had to have a very specific audio capture setup.
What a time to be alive.
ioππ½ββοΈ retweeted
Claude cookbook for implementing "dreaming." platform.claude.com/cookbookβ¦
ioππ½ββοΈ retweeted
Cerebras released a video of Kimi K3.1 running at 2,000+ tokens per second on its wafer-scale engine.
---
(Full video Cerebras 's YouTube channel, link in comment. )
ioππ½ββοΈ retweeted
Admiral Bobby Ray Inman was the director of ONI, DIA, NSA, NURO, SAIC & CIA. He told me multiple times during an exclusive interview I obtained with him:
"I have a HIGH LEVEL OF CONFIDENCE that within our GALAXY there is no other LIVING LIFE"
He also told me privately that although he doesn't believe he gave me the answers I was looking for during the interview, that he hopes I pay very close attention to what he had to say during the interview...
This is a tier-1 spy master of the Cold War era who knows more than he will ever share with the rest of us.
I can't help but wonder if he was dropping some form of a hint with his repeated statement about no other "LIVING" life in our Galaxy.
Not Solar System... Galaxy... how could he know this?
He reiterated that statement, so it wasn't a moment of misspeaking where he meant to say Solar System, so what could be taken from this is that we secretly possess the ability to explore the outer rims of our own Galaxy and that these explorations have yielded no signs of living life.
But "no signs of living life" does not equate to "no signs of life"
This could easily mean evidence of life once existing (ruined civilisations, physical remnants, proof that life was once here etc.)
It could also mean that the only expressions of "life" that have been discovered are inorganic, not fitting into our definition of "living"
But when a man like this tells you to pay close attention to what he had to say, to "read between the lines" so to speak, I think that's worth something.
And when a NASA Mission Specialist (Bob Oechsler) says that Admiral Bobby Ray Inman was the one who personally convinced him that the U.S Government is in possession of recovered vehicles of Non-Human origin... I think that's also worth something.
ioππ½ββοΈ retweeted
Check out the project github: github.com/AxiomMath/Weil/
Read our blog here: axiommath.ai/research/the-weβ¦
ioππ½ββοΈ retweeted
This points to the future of both math and verified software:
Once we engineer a rock-solid, reusable foundation, the marginal cost of verifying complex new theorems -- and complex new systems --drops dramatically.
Everyday, Axiom brings this Jevons Paradox future forward. πͺ
ioππ½ββοΈ retweeted
Without a foundation, formalizing Deligneβs proof would mean building thousands of pages of prerequisites from scratch.
Since our Stacks library has clean abstractions and compatible interfaces, Axiom's swarm formalized the proof rapidly, right on top of it.
Under 24 hours! π₯
ioππ½ββοΈ retweeted
Formulated by AndrΓ© Weil in 1949 - and proved across decades by Dwork, Grothendieck, Deligne - Weil conjectures drove the creation of modern algebraic geometry. πͺ
Proving them requires schemes, Γ©tale cohomology, and Lefschetz trace formulas all working elegantly together. πͺ’
ioππ½ββοΈ retweeted
We shared our formalization of Stacks. Is it reusable?
The true test of a foundational library is what you can build on it.
Now, we release the Lean formalization of the proof of the renowned Weil conjectures (I-IV), one of which gives Riemann Hypothesis over finite fields. β¨
ioππ½ββοΈ retweeted
Industrialized mathematics is just ... π€―
ioππ½ββοΈ retweeted
California shoppers freak over popular Canadian supermarket's first city mega-location trib.al/o6EOMrN
ioππ½ββοΈ retweeted
I trimmed my pstack setup so every runner uses two models, Gemini 4 Argon and Opus 5.5. I don't need Fable in the mix anymore.
Four running in parallel just burns tokens. Add the third model only for the big calls, like architecture.
The DARPA Triage Challenge Systems Competition Finals are officially underway!
At Disaster City in College Station, Texas, teams are competing with autonomous aerial and ground systems designed to help first responders locate casualties, assess injuries, and prioritize care.
ioππ½ββοΈ retweeted
JOE ROGAN: The computing power on your phone today. can you beat your phone at the highest level?
MAGNUS CARLSEN: No. No chance.
JOE ROGAN: Thatβs crazy. Wasnβt Deep Blue basically a whole stack of computers? And your phone is probably more powerful than that today.
MAGNUS CARLSEN: Itβs shocking. I have no chance against my phone.
JOE ROGAN: So how do you even play against computers?
MAGNUS CARLSEN: I rarely play against engines because they just make me feel stupid and useless. I think of them more as a tool.
JOE ROGAN: But have computers actually changed how you understand chess?
MAGNUS CARLSEN: Absolutely. Neural networks have improved our understanding of the game immensely.
JOE ROGAN: What did you learn from them that humans werenβt already doing?
MAGNUS CARLSEN: One big thing was long-term king safety. Humans used to push pawns mainly as an attacking tool. But the engines showed that you could push a pawn and create a weakness 20 or 30 moves later that would make the opponentβs king less safe.
JOE ROGAN: So the computer basically showed you ideas that humans werenβt seeing.
MAGNUS CARLSEN: Exactly. There was a period where you could clearly see which players were using these new neural-network ideas and which werenβt.
JOE ROGAN: And you were one of the guys who figured it out early?
MAGNUS CARLSEN: Yeah. My coach got into it very quickly, and we gained an advantage over almost everybody.
JOE ROGAN: Thatβs insane. The machines arenβt just better at calculating, theyβre actually teaching the best players how to think differently.
MAGNUS CARLSEN: Thatβs probably the biggest impact theyβve had on chess.
























