Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @druidoftheclaw
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @druidoftheclaw
-
A memorable proof of Cauchy-Schwarz using the /Pythagoras theorempic.twitter.com/pEPnlcKqqG
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Siddharth Bhat proslijedio/la je Tweet
Congratulations Greg on winning the Best Student Paper Award for "Red-Blue Pebbling Revisited"!
#SC19@Supercomputing@CSatETH@thoefler#HPC https://twitter.com/spcl_eth/status/1196920573915324418 …pic.twitter.com/XuZTerd8xm
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Siddharth Bhat proslijedio/la je Tweet
Today I was working with David Spivak and Brendan Fong on our new course, Programming with Categories. It will take place in January at MIT as part of IAP. We'll introduce categorical concepts and teach elements of Haskell to illustrate them. Yes, all 18 lectures will be recorded
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Siddharth Bhat proslijedio/la je Tweet
Now that the cat is out of the bag, I should add that I'm also participating in trying to help
@david_i_spivak and Brendan realize their vision for the Topos Institute, in my case as a board member. Let's put category theory to work.https://twitter.com/johncarlosbaez/status/1194286359285915649 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Siddharth Bhat proslijedio/la je Tweet
Two days of hosting a conference and I'm more certain than ever that people who run lunix with tiling window managers are the vinyl hipsters of the hacker world. "I prefer the lo-fi experience" "can I have 30 mins with the projector so I can figure out the right xrandr args"
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Siddharth Bhat proslijedio/la je Tweet
My (33F) husband's (35M) career in academic philosophy is ruining our marriage. https://buff.ly/2Nu8iRU pic.twitter.com/l0UUCWIpoF
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Siddharth Bhat proslijedio/la je Tweet
What is it like to be an intern at Tweag? Check out Siddharth Bhat’s experience report about his work on the Asterius Haskell to WebAssembly GHC backend at our Paris officehttps://www.tweag.io/posts/2019-09-12-webassembly-internship.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Siddharth Bhat proslijedio/la je Tweet
Issue 13² of
#Haskell Weekly is out now!@druidoftheclaw@james_OWA@serokell@bgamari@GoverRashad@vronnie911@lettier https://haskellweekly.news/issues/169.htmlHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Everything you know about word2vec is wrong: The paper says one thing, while the code does stuff that's _completely different_. Here's the writeup after I lost three months to this:https://github.com/bollu/bollu.github.io#everything-you-know-about-word2vec-is-wrong …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
How does one debug debug info? why, you run GDB in GDB in the program you compile, of course!pic.twitter.com/Ff40nCNite
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Siddharth Bhat proslijedio/la je Tweet
There’s a new way to contribute to open source: GitHub Sponsors
Now you can fund the developers who build and maintain the code you use and love.
#GitHubSatellite https://github.com/sponsors pic.twitter.com/tttLusNpx9
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Siddharth Bhat proslijedio/la je Tweet
Today we remember Socrates, the spiritual father of online. A hideous man who never bathed and was so annoying that the city voted to kill him.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Category theory to explain cantor's diagonal argument! https://arxiv.org/pdf/math/0305282.pdf …: A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Siddharth Bhat proslijedio/la je Tweet
Mathematicians are hailing a discovery about dimensions 8 and 24 as "at the level of the big 19th-century mathematics breakthroughs" and "one of the best things I’ll probably see in my lifetime" -- my latest story for
@QuantaMagazinehttps://www.quantamagazine.org/universal-math-solutions-in-dimensions-8-and-24-20190513/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Siddharth Bhat proslijedio/la je Tweet
I'm running as ACM
@SIGHPC member at large. If you're a member then look through your inbox for your election ballot, if not, join us ;-). I promise to fight for scientific excellence, student programs, and the#HPC community at large. So vote for me :-)!@TheOfficialACMpic.twitter.com/j02ggSlKRy
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
How should one work with arrays in a linear language?pic.twitter.com/0DGFnwzipc
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Siddharth Bhat proslijedio/la je Tweet
Looking forward to seeing everybody at
@composeconf this year!https://twitter.com/composeconf/status/1097291622189096960 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Siddharth Bhat proslijedio/la je Tweet
Tweag Internship Programme 2019: Are you a student interested in Haskell, Nix and/or data science? We are offering paid 1–3 month internships with world-class experts in a vibrant technology firm — for more details, check out https://www.tweag.io/posts/2019-03-11-internships.html …
#haskell#nix#datascienceHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Siddharth Bhat proslijedio/la je Tweet
Towards Lean 4: An Optimized Object Model for an Interactive Theorem Prover Happy to share Sebastian Ullrich's talk at the ETH Zurich Compiler Social! https://youtu.be/Bv0CXyhbJ5s Hosted by
@spcl_eth at@CSatETH@ETHHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Siddharth Bhat proslijedio/la je Tweet
software engineer: linear is fast, quadratic is slow complexity theorist: P is fast, NP-hard is slow verification researcher: decidable is fast, undecidable is slow
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.