EGA website is now live at https://ega.fppf.site (still very much in testing). Built thanks to @stacks_project tools (https://gerby-project.github.io/ )!
-
Prikaži ovu nit
-
Odgovor korisnicima @ryankeleti @stacks_project
next step: a dedicated ega hotline where you can call, state a section number, and an automated voice reads you the corresponding lemmas and proofs
1 reply 0 proslijeđenih tweetova 6 korisnika označava da im se sviđa
You are joking, but it's a near triviality to implement this I think using https://developer.mozilla.org/en-US/docs/Web/API/Web_Speech_API … (this wouldn't be hooking it up to an actual telephone though)
0 replies
0 proslijeđenih tweetova
1 korisnik označava da mu se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.