Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @IlanGodik
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @IlanGodik
-
Ilan Godik proslijedio/la je Tweet
New blog post! https://bartwronski.com/2020/02/03/separate-your-filters-svd-and-low-rank-approximation-of-image-filters/ … In this post, I explore separable convolution image filters: how can we check if a 2D image filter is separable, and how to use SVD and linear algebra to compute separable approximations to any filter represented in a numerical form.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ilan Godik proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Ilan Godik proslijedio/la je Tweet
Me: so I got these Jira tickets Him, a non-tech cutie: where/when they playing at? Are they any good?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ilan Godik 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 -
Ilan Godik proslijedio/la je Tweet
It's not every day that a read-after-write makes a server spend 4% of its CPU cycles in one instruction. Wrote that one up here: https://pvk.ca/Blog/2020/02/01/too-much-locality-for-store-forwarding/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ilan Godik proslijedio/la je Tweet
Really like how Nim has a built-in that breaks up a closure into a function and environment pointer. Makes it 100x easier to pass a Nim proc as a C callback compared to Haskell. Yes I know StaticPointer and StablePtr exist
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ilan Godik proslijedio/la je Tweet
“Tell me again, what instrument do you play?”pic.twitter.com/NqEvh9xMih
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ilan Godik proslijedio/la je Tweet
Will Project
#Loom obliterate#Java Futures?https://blog.softwaremill.com/will-project-loom-obliterate-java-futures-fb1a28508232 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ilan Godik proslijedio/la je Tweet
we have an update to DTrace on Windows. with the latest 20H1 insider build, no more KD required to use dtrace on windows. plus arm64 MSI.https://techcommunity.microsoft.com/t5/windows-kernel-internals/dtrace-on-windows-20h1-updates/ba-p/1127929 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ilan Godik proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Ilan Godik proslijedio/la je Tweet
Come read about the latest compiler backend improvements in Visual Studio 2019: better code generation, faster builds, and exciting new tools!https://devblogs.microsoft.com/cppblog/msvc-backend-updates-in-visual-studio-2019-versions-16-3-and-16-4/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ilan Godik proslijedio/la je Tweet
I just published my initial devcontainer setup for
@code, allowing you to install a Haskell environment (via HIE) with zero effort! Please try it, and send PRs to make it better (I really have no idea what I'm doing
)https://github.com/hmemcpy/haskell-hie-devcontainer …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ilan Godik proslijedio/la je Tweet
PL, compilers, systems jobs at DeepMindhttps://twitter.com/dominikgrewe/status/1221749870895210496 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ilan Godik proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Ilan Godik proslijedio/la je Tweet
I think this is approximately the optimal way to play the job search process as a candidate: https://www.utsavahuja.com/p/d2039b6a-2592-4ef6-8740-a03076fd315e/ … Note in particular being organized, treating it as a sales pipeline, pursuing multiple offers in parallel, and practicing for interviews.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ilan Godik proslijedio/la je Tweet
If you are after optimizing development, look at how developers read, not write, code. Code reading is the single largest expense in software development, and very few even talk about it.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ilan Godik proslijedio/la je Tweet
One step closer... https://twitter.com/ndm_haskell/status/1221735285790257152 …pic.twitter.com/HLSGdmoyRm
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ilan Godik proslijedio/la je Tweet
Haskell-ide-engine and Ghcide teams are joining forces to work on a single Haskell IDE. See https://neilmitchell.blogspot.com/2020/01/one-haskell-ide-to-rule-them-all.html … for details. With
@cocreature,@alan_zimm and many contributors from both sides.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ilan Godik proslijedio/la je Tweet
Blogged: Best of 2019 in tech talks Topics include: - Linux - concurrency - Lots of malloc and mesh - performance - large scale computing - serverless - Spectre This is also the first year I’ve included presentations from academic conferences.https://link.medium.com/nw50nEyvz3
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ilan Godik proslijedio/la je Tweet
A very cool video explaining why functional programming matters!https://youtu.be/Fi83KOAqWb4
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.