Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @nadamin
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @nadamin
-
Nada Amin ندى أمين proslijedio/la je Tweet
The key to good proof reuse and proof repair is in automatic transport, and the key to efficient automatic transport is in adapting the data structures traditionally used in SMT solvers. Let's have a univalent e-graph hackathon!https://taliasplse.wordpress.com/2020/02/02/automating-transport-with-univalent-e-graphs/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nada Amin ندى أمين proslijedio/la je Tweet
The custom checking idea sounds kind of like https://core.ac.uk/display/20886689 … (I didn't listen to the podcast.)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"The problem that I have with it is when I'm working on really hard stuff, I don't exactly know what I'm doing for a long time. And so if the cost of experimentation is driven too high, it actually impairs my ability to get work done." via https://np.reddit.com/r/rust/comments/evgl81/jonathan_blow_on_rust/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Software Foundations in
#Agda looks so pretty: https://plfa.github.io/Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nada Amin ندى أمين proslijedio/la je Tweet
And the dark fairy cursed her saying “you will travel to the most beautiful places all over the world but you will never be allowed to see the landmarks. Instead you will sit in identical lecture halls and listen to people talk about papers they already published”
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nada Amin ندى أمين proslijedio/la je Tweet
When I say “I’m trying to learn X and it’s hard” why do so many people respond with “learn Y instead”? Choosing to learn a new thing is not a decision that’s usually taken lightly. Just because I’m struggling doesn’t mean I should quit! I was looking for empathy & support :-)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nada Amin ندى أمين proslijedio/la je Tweet
Join me! ACM members, sign a petition supporting open access, asking
@TheOfficialACM to withdraw signature from anti-OA letter and make OA available at cost. OA is good for science, and good for ACM!https://www.change.org/p/association-for-computing-machinery-acm-support-open-access …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I like https://www.cs.huji.ac.il/~shais/UnderstandingMachineLearning … (Understanding Machine Learning: From Theory to Algorithms) The mathematics is very clear, making you understand the design behind the theory (PAC, VC-dimension, runtime, ..) and algorithms (convex learning, gradient descent, decision trees, ...).
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nada Amin ندى أمين proslijedio/la je Tweet
A good typechecker doesn't just check your work. It's a chatty companion you can bounce ideas off. It'll suggest new ways of looking at things and give fresh insights. Programming in some languages feels a bit sad by comparison.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nada Amin ندى أمين proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Nada Amin ندى أمين proslijedio/la je Tweet
Interesting insights from
@jeanqasaur speaking about formal software engineering approaches to bridge the “software gap”. This gap is the difference between intent and reality where engineers no longer understand what software is doing and how it uses data (data flow).pic.twitter.com/saWVbVtGKB
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nada Amin ندى أمين proslijedio/la je Tweet
We are looking for amazing colleagues
@ICepfl. Focus areas are systems, programming languages and verification, unconventional computing, and intelligent systems. Ping me (or the chairs) if you have questions! https://www.epfl.ch/about/working/faculty-positions-in-computer-and-communication-sciences-2/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
I've been waiting way too long to do this... Yessss! I am now a proud patron of Sam Aaron on
@patreon, and you should be too:#NewPatronhttps://patreon.com/samaaron?utm_medium=social&utm_source=twitter&utm_campaign=tyshare2 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nada Amin ندى أمين proslijedio/la je Tweet
The infinite gift
is an interesting object where the side of the nth box is 1/√n. As n→+∞, the gift has infinite surface area and length but finite volume!pic.twitter.com/Ckm2KHp1e7
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nada Amin ندى أمين proslijedio/la je Tweet
I'm so thrilled with
@nadamin's and my course flyer design skills. Fall semester is coming!!pic.twitter.com/lKT2e8FY6P
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nada Amin ندى أمين proslijedio/la je Tweet
Here's the whole "Gaspard de la Nuit" played by Ivo Pogorelić, with the score. The score is beautiful even if you can't read music. The first movement, "Ondine", is all about waves of water and shimmering light - and you can see that in the score!https://www.youtube.com/watch?v=hKgcHjq1xKQ …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Nada Amin ندى أمين proslijedio/la je Tweet
The Dome under a blue sky and it’s Friday.
Photo: Jake Belcherpic.twitter.com/VT7wpKpfjK
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cool work from
@TreyIdeker lab at intersection of systems biology and machine learning. https://medschool.ucsd.edu/som/medicine/research/labs/ideker/publications/Documents/Ma%20-%20Using%20deep%20learning%20to%20model%20the%20hierarchical.pdf … The idea is to use deep learning to model genotype to phenotype prediction, and then, the network layers also represent the protein hierarchy so it's interpretable.Prikaži ovu nitHvala. 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.