mathstodon.xyz

https://mathstodon.xyz/@iblech.rss

01.
(5/6) The new technology which allows us to construct this explicit counterexample is stateful realizability. There a...
mathstodon.xyz · /@iblech.rss
▲ 0 · Jul 21
02.
(4/6) Now here is a fantasy of how to construct an explicit counterexample. We build two equivalence relations 𝑅 and...
mathstodon.xyz · /@iblech.rss
▲ 0 · Jul 20
03.
(3/6) ... there is a *formal space* of functions ℕ → 𝑋. This space has as its points the functions ℕ → 𝑋, whatever ...
mathstodon.xyz · /@iblech.rss
▲ 0 · Jul 15
04.
(2/6) On first sight, the definition of streamlessness looks like a clean ∀∃ condition. No pesky negations in sight, ...
mathstodon.xyz · /@iblech.rss
▲ 0 · Jul 15
05.
(1/6) Here is an example of how recent mathematical technology (2019) helped solve a decades-old (1993) problem in co...
mathstodon.xyz · /@iblech.rss
▲ 0 · Jul 14
06.
The level I'm currently playing exceeds the capabilities of my old laptop. So I rented the best gaming rig my hos...
mathstodon.xyz · /@iblech.rss
▲ 0 · Jul 13
07.
Yes :-) Do you have a question about that? Perhaps I or someone here can answer :-)
mathstodon.xyz · /@iblech.rss
▲ 0 · Jul 4
08.
A quick follow-up to this key wiping bug: Ondrej Kozina from the cryptsetup team was very quick to pick this up. Ondr...
mathstodon.xyz · /@iblech.rss
▲ 0 · Jul 2
09.
Excited about this one-day meeting on constructive and synthetic mathematics organized by Daniel Misselbeck-Wessel an...
mathstodon.xyz · /@iblech.rss
▲ 0 · Jul 1
10.
Enjoy: a short and constructive proof that it's possible to patch the popular feature-rich and privacy-friendly N...
mathstodon.xyz · /@iblech.rss
▲ 0 · Jun 29
11.
I still remember how disturbed I was on first encountering the standard solution to the Tower of Hanoi puzzle. (New t...
mathstodon.xyz · /@iblech.rss
▲ 0 · Jun 24
12.
@ nixos_org @ leah @ identical9213 Announcing experimental secure suspend-to-RAM for NixOS Normally (and somewhat emb...
mathstodon.xyz · /@iblech.rss
▲ 0 · Jun 21
13.
So. For the past few days I've been deep in a fun and very rewarding, but also extremely scary debugging saga. To...
mathstodon.xyz · /@iblech.rss
▲ 539 · Jun 18 · 227 comments on HN
14.
(3/3) Now, what have I learned today? In my paper introducing the geometric Nullstellensatz ( https:// rawgit.quasico...
mathstodon.xyz · /@iblech.rss
▲ 0 · Jun 8
15.
(2/3) A corollary is that every reduced ring secretly wants to be anonymously Noetherian in that every ideal is not n...
mathstodon.xyz · /@iblech.rss
▲ 0 · Jun 8
16.
(1/3) I love it when formalizing mathematics tells me something new about the mathematics. Today this happened again,...
mathstodon.xyz · /@iblech.rss
▲ 0 · Jun 8
17.
RE: https:// mastodon.functional.computer/@ samir/116651692093487153 Prompted by a post by @ samir at https:// mathst...
mathstodon.xyz · /@iblech.rss
▲ 0 · Jun 2

Recent polls

when	ms	items	status
Jul 23	534	10	ok
Jul 23	544	10	ok
Jul 22	576	10	ok
Jul 22	626	10	ok
Jul 21	533	10	ok