11th International Conference on Formal Structures for Computation and Deduction
is happening right now, and they have free Zoom streams
https://fscd2026.github.io/
is happening right now, and they have free Zoom streams
https://fscd2026.github.io/
fscd2026.github.io
FSCD 2026@Lisbon
11th International Conference on Formal Structures for Computation and Deduction 20 - 23 July 2026
👍3
Apparently, Ollama can pull GGUFs not only from its catalog, but also directly from Hugging Face:
$ ollama pull hf.co/unsloth/gemma-4-12B-it-qat-GGUF:UD-Q4_K_XL
They used to be called black boards back in the day (https://en.wikipedia.org/wiki/Blackboard_system). Well, that's not politically correct anymore, I guess...
Very impressive system anyway.
Very impressive system anyway.
🥱1
Keep me in the loop, ебло ослиное.
(With any luck, I've just ruined this phrase for everybody.)
(With any luck, I've just ruined this phrase for everybody.)
😁2🤔1🤣1
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