Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @rudolfwinestock
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @rudolfwinestock
-
Prikvačeni tweet
John Gilmore: The Net interprets censorship as damage and routes around it. Rudolf Winestock: The Internet interprets the absence of censorship as weakness and attacks it. N.B.: The above two statements do not conflict with each other.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je Tweet
You would literally not believe how much fun I'm having improving the League of Legends game client using * checks notes * * Ember? Is that right?? Huh * Ember! Anyway, in 2020 pretty much any modern web dev tech stack is fine so stop fucking worrying and ship something cool.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je Tweet
Ruining a person's career because of a single bad joke.... This cancel-culture social panic is a sickness. We're fallible creatures and we make mistakes.https://twitter.com/BarrettWilson6/status/1223058230508650496 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je Tweet
When I got the chance to interview Roger Penrose, I had a choice: spend the time making it understandable or trust my audience to come together. Using a Discord server, they are now annotating the entire episode as an actual community. Love these folks: https://drive.google.com/drive/mobile/folders/1Op26GQYUVIG5hQ79Upb2mJmUW-QifWUp/1RSauX3eHGC982diYjdOISXOzh3ShgQpy/1QOpI-u1oQZjn6-6KN7vPT5I26AIYAyvx?sort=13&direction=a …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je Tweet
Last year it was proved that in a constructive setting the Cantor–Schröder–Bernstein theorem implies the law of excluded middle (LEM). https://arxiv.org/abs/1904.09193 and so while there is a proof of SCB that doesn't use the Axiom of Choice, one *must* use LEM.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je Tweet
A visual proof A square inscribed in a semicircle has 2/5 the area of a square inscribed in the circle of the same radius.
pic.twitter.com/f3hG51CYhm
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je Tweet
Do you want your own PDP-10? Of course you do! The closest thing is the upcoming PiDP-10, which you can discuss here:https://groups.google.com/forum/#!forum/pidp-10 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je Tweet
difficult to explain, but: newLISP = differentLISP, Racket = nolongerSCHEME, Clojure = incompatibleLISP, Common Lisp = oldLISP, Maclisp = notMacosLISP, SBCL = NewLisp
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Rudolf Winestock proslijedio/la je Tweet
"Why do you look extra cute to me today? Oh, it's because I'm ovulating." "That study did not survive the replication crisis." "Listen, I said I'm ovulating! I'm having a reproducibility crisis!"
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je Tweet
This page (via
@gregvardyza) has one of the highest ratios of value to production values on the web. http://worrydream.com/refsHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je Tweet
Let’s be 100 percent clear:
@mozilla betrayed the Open Web and it’s values by explicitly supporting DRM at#W3C. Only within last few years have Mozilla taken privacy and security seriously. The future is@brave - I hope everyone laid off keeps fighting for the Open Web there!https://twitter.com/TechCrunch/status/1217537903280238592 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je Tweet
Calculus students know that lim [f(xo+h) - f(xo)]/h as h -> 0 is the derivative of f) at xo. However, if we let x = qxo, where q is a fixed number not 1, and h a fixed number and do NOT TAKE THE LIMIT, we enter the fascinating world of quantum calculus ->https://bit.ly/3855z7R
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je Tweet
A delightful combination of Common
#Lisp hacking and William Gibson's work. Hope@GreatDismal still has the original somewhere! (h/t@gerikson )https://www.robertxiao.ca/hacking/agrippa/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je Tweet
What if instead of submitting papers to journals, academics just posted on http://arXiv.org or an equivalent open preprint server, and then journals proactively bid for the rights to publish the best papers? (Might be less meritocratic, if journals favored big names.)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je Tweet
Sabine on Twitter:
@skdhHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je Tweet
Condensed matter physics is full of exciting revolutionary ideas that are being confirmed by experiment. So-called "fundamental" physics - the search for fundamental new laws - is not. Why not? Sabine Hossenfelder has a new article on that: (1/n)https://iai.tv/articles/why-physics-has-made-no-progress-in-50-years-auid-1292 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je Tweet
167k users who installed the Chrome "TestForSpeed" extension, were actually installing just a spam extension owned by http://Ask.com group // Why are extensions still allowed to set multiple domains for permissions? This is an ad fraud extension @ https://chrome.google.com/webstore/detail/testforspeed/pmflcnpokmelkodfihkkoclmokblpmki …pic.twitter.com/WvbebaQsTy
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je Tweet
Want to know FACTS and LOGIC? The first *serious* theorem is completeness of first order logic (Gödel's completeness theorem), from there you can easily get compactness and the Lowenheim-Skolem theorems. The other big theorem I'd suggest is cut elimination (Gentzen's Hauptsatz)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Rudolf Winestock proslijedio/la je Tweet
Questions like this keep me up at night:pic.twitter.com/sTzlHee4gk
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Č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.