1983 — Christopher Walken stars in David Cronenberg's "The Dead Zone". In the opening scene, his character — a school teacher — tells the students to read "The Sleepy Hollow" where, he says, a headless monster hunts a school teacher.
1999 — Christopher Walken stars in Tim Burton's "Sleepy Hollow" playing the headless monster.
1999 — Christopher Walken stars in Tim Burton's "Sleepy Hollow" playing the headless monster.
👍7
AlexTCH
1983 — Christopher Walken stars in David Cronenberg's "The Dead Zone". In the opening scene, his character — a school teacher — tells the students to read "The Sleepy Hollow" where, he says, a headless monster hunts a school teacher. 1999 — Christopher Walken…
It's kinda funny how much a movie from 1983, based on a novel from 1979, is politically relevant in 2026. 😏
https://www.youtube.com/watch?v=lzroKpIM5RQ
The 001 part was really good. Kickstarter for the next one starts in a week.
The 001 part was really good. Kickstarter for the next one starts in a week.
https://palomar-registry.org/about
A sorta "beefed up" https://isa-afp.org/ for Lean 4 (and possibly other provers in the future).
A sorta "beefed up" https://isa-afp.org/ for Lean 4 (and possibly other provers in the future).
palomar-registry.org
About — Palomar
About Palomar and submitting machine-checked formal mathematics.
👏1
https://www.linkedin.com/posts/tscharnowski_rehosting-firmwaresecurity-embeddedsecurity-ugcPost-7496178697327079424-m3Di/
In short, hackers can infect a Tesla charging station with a worm, which then hacks cars parked nearby through WiFi and Bluetooth. Not necessarily Tesla cars, other brands too. They don't have to connect the charging cable. Swell.
Cyberpunk we've deserved.
In short, hackers can infect a Tesla charging station with a worm, which then hacks cars parked nearby through WiFi and Bluetooth. Not necessarily Tesla cars, other brands too. They don't have to connect the charging cable. Swell.
Cyberpunk we've deserved.
LinkedIn
#rehosting #firmwaresecurity #embeddedsecurity #firmware #rehosting #fuzzing #testing #blackhat #blackhatusa #blackhatusa2026 #pwn2own…
Our Black Hat USA slides and demo video are now available! We plugged into a Tesla Universal Wall Connector and showed how an attacker could walk out with a worm that crosses four vendors, with no human in the loop after launch.
The short version of the…
The short version of the…
😢1
Powering helicopters in space with NASA
I'm 100% certain that AI could not write a sentence like that.
А можно мне, пожалуйста, не быть goal-oriented, top performer, great team player и rockstar?
❤8😁5👍2👏1😢1
Вы тейлорист или клиентократ?
Вы чё пишете?! Вам там ЛГБТ+ давно запретили, алё!
😁1
https://www.kickstarter.com/projects/darkmathfilms/scp-academy-part-002
SCP Academy part 002 campaign needs more love... and more money!
Part 001 is there on YouTube, freely available. And it's really good. Production quality is among the best SCP short films. Solid direction and performance. Highly enjoyable.
SCP Academy part 002 campaign needs more love... and more money!
Part 001 is there on YouTube, freely available. And it's really good. Production quality is among the best SCP short films. Solid direction and performance. Highly enjoyable.
Kickstarter
SCP Academy | Part 002: A Live-Action SCP Foundation Series
Newcomers to the SCP Foundation have a lot to learn about working with dangerous scientific anomalies-- and each other.
👎2
Waterfall was one-shot generation before it was cool. Agile is an agentic loop.
💯4
It's funny how "AI startups" with their LLMs made pure math fancy and newsworthy. Two years ago nobody gave a flying fuck to weird Navier-Stokes solutions or The Fermat Theorem.
Very few actually do, but now thousands are talking.
Very few actually do, but now thousands are talking.
👍8😁2🤬1
NVidia officially has adopted Rust and exposes CUDA through Rust libraries (WIP):
https://developer.nvidia.com/blog/introducing-cuda-rust-two-tracks-for-writing-gpu-kernels/
https://developer.nvidia.com/blog/introducing-cuda-rust-two-tracks-for-writing-gpu-kernels/
NVIDIA Technical Blog
Introducing CUDA Rust: Two Tracks for Writing GPU Kernels
In September 2026, NVIDIA announced it is leaning into native GPU programming in Rust. CUDA C++ and CUDA Python are mature, enterprise-grade toolchains, and NVIDIA will be growing and maturing CUDA…