ioπŸ„πŸ½β€β™‚οΈ (@astro_erik) header
ioπŸ„πŸ½β€β™‚οΈ (@astro_erik) profile picture

Maverick CEO, husband and human person. πŸ€”πŸ€¦β€β™‚οΈ Posts/RPs are not Endorsements! πŸ‘€πŸŒŽπŸ—‘πŸ”₯ πŸ˜ŽπŸ€™β™₯️

Canada
Joined July 2008
Photo by ioπŸ„πŸ½β€β™‚οΈ (@astro_erik)Photo by ioπŸ„πŸ½β€β™‚οΈ (@astro_erik)Photo by ioπŸ„πŸ½β€β™‚οΈ (@astro_erik)Photo by ioπŸ„πŸ½β€β™‚οΈ (@astro_erik)Photo by ioπŸ„πŸ½β€β™‚οΈ (@astro_erik)Photo by ioπŸ„πŸ½β€β™‚οΈ (@astro_erik)Photo by ioπŸ„πŸ½β€β™‚οΈ (@astro_erik)Photo by ioπŸ„πŸ½β€β™‚οΈ (@astro_erik)Photo by ioπŸ„πŸ½β€β™‚οΈ (@astro_erik)Photo by ioπŸ„πŸ½β€β™‚οΈ (@astro_erik)
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…
55
86
8
1,930
98,746
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.
37
7
2
390
22,867
ioπŸ„πŸ½β€β™‚οΈ retweeted
The new Apple Watch Series 12 helps you better understand your health with the most accurate heart rate sensing in a wearable.

2
6
2
206
12,633,536
ioπŸ„πŸ½β€β™‚οΈ retweeted
One day the entire world will look like this
894
537
300
5,592
491,659
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. )
15
13
3
101
10,688
ioπŸ„πŸ½β€β™‚οΈ retweeted
Math is about to make a phase transition!
πŸ€– Made with AI
1
5
1
16
2,050
The techniques here could be interesting for your work - worth a read.
1
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.
Replying to @tetsuoai
It troubles me greatly that we do not yet see any sign of aliens
73
48
6
672
58,899
ioπŸ„πŸ½β€β™‚οΈ retweeted
A UFO encounters a cruise ship. The captain was filming. Kate McCue recounts her extraordinary encounter with a mysterious object that reportedly descended into the ocean. Original footage begins at 18 seconds. H/T @AshiePowPow
39
197
13
1,368
74,626
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. πŸͺ
2
2
28
1,347
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! πŸ”₯
2
1
35
1,405
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. πŸͺ’
5
1
1
35
2,352
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. ✨
26
58
31
289
51,316
ioπŸ„πŸ½β€β™‚οΈ retweeted
Industrialized mathematics is just ... 🀯
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. ✨
1
2
1
19
2,459
ioπŸ„πŸ½β€β™‚οΈ retweeted
California shoppers freak over popular Canadian supermarket's first city mega-location trib.al/o6EOMrN
66
39
82
544
318,424
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.
4
4
25
2,000
ioπŸ„πŸ½β€β™‚οΈ retweeted
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.
13
53
8
161
9,208
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.
148
849
149
21,209
5,683,942