Quantum physicist @MertonCollege/@UniofOxford. Programming language geek.
Oxford, England (he/ħim)
Joined September 2009
- Tweets333
- Following422
- Followers610
- Likes154
David Nadlinger retweeted
Whilst people often spout out large coherence times with #TrappedIons - what does this mean (and it's associated error) on the timescales of quantum error correction #QEC?
The Lucas group in @OxfordQuantum seems to be very nicely in the all clear zone!
arxiv.org/pdf/1905.06878.pdf
David Nadlinger retweeted
Is it possible to formally verify an FFT core generated using SymbiYosys? Feel free to read about it today here: zipcpu.com/dsp/2018/10/02/ff…
David Nadlinger retweeted
NQIT #Quantum Photography Competition Round 1 Winner congrats to @klickverbot & his single atom in ion trap! nqit.ox.ac.uk/news/nqit-quan…
David Nadlinger retweeted
blogs.scientificamerican.com… – at Manhattan, NY
David Nadlinger retweeted
Congratulations and good luck to the four students who will work with the #dlang Foundation during the Google... fb.me/2zYbRGgYs
David Nadlinger retweeted
Gender is to biology what datetime is to programming: something people think is simple, except those who have to deal with it in depth.
David Nadlinger retweeted
#dconf After a knock-down drag-out discussion of several hours, I think we've agreed on an rvalue reference solution!
David Nadlinger retweeted
DConf 2013, funded on Kickstarted and hosted by Facebook, now accepts registrations. reddit.com/r/programming/com… #dlang #dconf
David Nadlinger retweeted
#d_lang D Conference 2013 date set to May 1-3 in Menlo Park, California.
David Nadlinger retweeted
50 hours and $1571 to go. Will DConf 2013 meet its funding? The answer depends on you! Pledge! Retweet! Share the news! kickstarter.com/projects/208…
David Nadlinger retweeted
DConf 2013 rocks! Three weeks left in the campaign and we're over the 50% mark. Donate now, and tell your friends! kickstarter.com/projects/208…
David Nadlinger retweeted
DConf 2013 has passed the 50% mark. Pledge your contribution now, and let your employer and friends know about it! kickstarter.com/projects/208…
David Nadlinger retweeted
#dlang The D Programming Language conference DConf 2013 is raising funds. Pledge your contribution starting at only $10 kickstarter.com/projects/208…
David Nadlinger retweeted
clang's validation, static if, and concepts overlap a fair bit. Seems like there should be unification theory that eludes us. #GoingNative
David Nadlinger retweeted
#d_lang openssl bindings added to Deimos github.com/D-Programming-Dei…
David Nadlinger retweeted
A Linux terminal emulates an emulation of a terminal of an old DEC VT100 and somehow that's still FAR better than the Windows command prompt
David Nadlinger retweeted
#d_lang Work on D for Google Summer of Code!