Johan Sivertsen (@johanvts) header
Johan Sivertsen (@johanvts) profile picture

Johan Sivertsen

@johanvts

Ph.D. student at the IT-University. Copenhagen.

 Copenhagen
itu.dk/~jovt
Joined April 2009
  • Tweets181
  • Following215
  • Followers84
7Media
Photo by Johan Sivertsen (@johanvts)Photo by Johan Sivertsen (@johanvts)Photo by Johan Sivertsen (@johanvts)Photo by Johan Sivertsen (@johanvts)Photo by Johan Sivertsen (@johanvts)Photo by Johan Sivertsen (@johanvts)
My colleague Thomas started blogging. wp.me/s71AiI-test via @wordpressdotcom
1
At #hack4dk today
Image from Johan Sivertsen (@johanvts)
1
Google patents classification: freepatentsonline.com/201501…
Afgifter på engelske ord i reklamer? Joke? Computer og jazz? Grænsebom, engelsk-forbud på udd. Smil til Verden Tulle. bit.ly/1dg3UQ0
5
12
24
Johan Sivertsen retweeted
Robin Neatherway (@rneatherway) profile picture
Robin Neatherway@rneatherway26 May 2015
#emacs mode for #fsharp 1.5.3 is out with multiple bugfixes for Windows. Any issues please report at github.com/fsharp/emacs-fsha…
GitHub - fsharp/emacs-fsharp-mode: F# Emacs mode

GitHub - fsharp/emacs-fsharp-mode: F# Emacs mode

F# Emacs mode. Contribute to fsharp/emacs-fsharp-mode development by creating an account on GitHub.

github.com
10
9
#fsharp async tasks running in parallel inside async tasks running in parallel -> CPU utilization drops to ~1%. Any good ideas or sources?
1
Johan Sivertsen retweeted
ITUScalableSimSearch (@ERC_SSS) profile picture
ITUScalableSimSearch@ERC_SSS1 May 2015
@ERC_SSS is 1 year old!
1
1
Johan Sivertsen retweeted
Todd (@toddanglin) profile picture
Todd
@toddanglin23 Apr 2015
Forget startup name generators. This generates everything. “A random startup generator" tiffzhang.com/startup
2
15
17
Johan Sivertsen retweeted
ITUScalableSimSearch (@ERC_SSS) profile picture
ITUScalableSimSearch@ERC_SSS20 Apr 2015
Ilya Razenshteyn, MIT, visiting @ERC_SSS this week. Talk Tuesday 10.30, 3A08: Optimal Data-Dependent Hashing for Approximate Near Neighbors
1
Razenshteyn speaks about Optimal Data-Dependent ANN next week: itu-algorithms.github.io/eve…
@jonharrop I'm a firm believer in that second last 'misconception'. Maybe not good as an IDE in many cases, but what can beat it for latex?
Construction time O(n log n), Storage O(n), Query O(log n)
Trying to build an #fsharp Left leaning r/b search tree, finding nothing but sorrows. Has anybody ever survived that quest?
1
Johan Sivertsen retweeted
Xah Lee (@xah_lee) profile picture
Xah Lee
@xah_lee28 Mar 2015
History of #Emacs ＆ #vi Keys (Keyboard Influence on Keybinding Design) xahlee.info/kbd/keyboard_har…
Image from Xah Lee (@xah_lee)
12
5
Johan Sivertsen retweeted
NASA (@NASA) profile picture
NASA
@NASA28 Mar 2015
Hatches opened at 11:33pET & the @Space_Station crew is all together now. go.nasa.gov/1ByAqkG #YearinSpace
Image from NASA (@NASA)
47
692
1,156
Johan Sivertsen retweeted
NASA (@NASA) profile picture
NASA
@NASA28 Mar 2015
Waiting for @StationCDRKelly & crew to open @Space_Station hatch to begin #YearInSpace Watch: nasa.gov/nasatv
Image from NASA (@NASA)
21
324
560
Any good #fsharp implementation of Fortunes algorithm out there?
Johan Sivertsen retweeted
ITUScalableSimSearch (@ERC_SSS) profile picture
ITUScalableSimSearch@ERC_SSS25 Mar 2015
Just gave keynote at EDBT/ICDT on large-scale similarity joins. Conference is a great mix, from theory to industry! itu.dk/people/pagh/papers/IC…
1
Johan Sivertsen retweeted
Rasmus Pagh (@RasmusPagh1) profile picture
Rasmus Pagh@RasmusPagh119 Mar 2015
My student Morten Stöckel defends his PhD thesis
Image from Rasmus Pagh (@RasmusPagh1)
1
1
Hi @ggailey777. Do you know what set of credentials would help? Application keys or SQL logins get me nowhere. Thx.
Image from Johan Sivertsen (@johanvts)
1
1
Load more