03:03 <GitHub97> [migen] sbourdeauducq pushed 5 new commits to master: http://git.io/vh_-mw

03:03 <GitHub97> migen/master 7e77254 Robert Jordens: vivado: make tcl a list of commands, add reporting

03:03 <GitHub97> migen/master 6036fff Robert Jordens: Signal.__getitem__: raise TypeError and IndexError when appropriate

03:03 <GitHub97> migen/master b3d6991 Robert Jordens: Signal.like: pass kwargs

06:04 <sb0> https://forthsalon.appspot.com/

12:35 <sb0> rjo, from http://ultracold.ust.hk/: "lower the temperature of the atomic gas down to nano-kelvin [...] High-Tc superconductivity are expected" - how do you get high-Tc superconductivity at nanokelvin temperatures?!

12:36 <sb0> does the laser cooling change some properties that persist after heating?

15:08 <GitHub30> [ARTIQ] sbourdeauducq pushed 14 new commits to master: http://git.io/4rYm-A

15:08 <GitHub30> ARTIQ/master fc9cf67 Sebastien Bourdeauducq: compiler/ir: use new infrastructure

15:08 <GitHub30> ARTIQ/master 65566ec Sebastien Bourdeauducq: compiler/ir_ast_body,ir_infer_types: support syscalls

15:08 <GitHub30> ARTIQ/master 15c78df Sebastien Bourdeauducq: devices/runtime: new syscall API

15:13 <GitHub87> [ARTIQ] sbourdeauducq pushed 3 new commits to master: http://git.io/vdbVdQ

15:13 <GitHub87> ARTIQ/master 3a6bed4 Sebastien Bourdeauducq: examples/time_test: RPC does not support int64 yet, cast to int

15:13 <GitHub87> ARTIQ/master 24544f2 Sebastien Bourdeauducq: compiler/tools/eval_constant: raise NotConstant on calls

15:13 <GitHub87> ARTIQ/master b3b61d8 Sebastien Bourdeauducq: compiler/fold_constants: fix int/round

15:17 <GitHub10> [ARTIQ] sbourdeauducq pushed 1 new commit to master: http://git.io/iQqaSg

15:17 <GitHub10> ARTIQ/master f6bbcb6 Sebastien Bourdeauducq: examples/coredev_test: use booleans

15:19 <ysionneau> that is productivity

15:49 <GitHub91> [ARTIQ] sbourdeauducq pushed 3 new commits to master: http://git.io/ooqN7g

15:49 <GitHub91> ARTIQ/master 7d8dc4e Sebastien Bourdeauducq: runtime: support 64-bit RTIO timestamps

15:49 <GitHub91> ARTIQ/master 7a90f4f Sebastien Bourdeauducq: runtime: start RTIO counter at first rtio_set

15:49 <GitHub91> ARTIQ/master f8e9f1f Sebastien Bourdeauducq: examples/coredev_test: use augmented assignments

15:54 <GitHub111> [ARTIQ] sbourdeauducq pushed 1 new commit to master: http://git.io/UUMlyg

15:54 <GitHub111> ARTIQ/master 62b872a Sebastien Bourdeauducq: devices/dds_core: use new compiler features to compute tuning word trivially

16:59 <rjo> sb0: "high-Tc" is high Tc relative to Tf (the Fermi temperature) which is in the nK range.

17:00 <rjo> sb0: in "real materials" Tf is on the order of thousands of K.

17:01 <rjo> sb0: thus a Tc of 70K is considered high there.

17:02 <rjo> sb0: also the particles in question are neutral. thus conductivity is does not even refer to electrical current.