« first day (2816 days earlier)   

2:31 AM
I found Wolfgang Pauli and 2 men
 
3:23 AM
Defining the Lagrangian as the integral of the density doesn't place any restriction on the Lagrangian itself does it? Well I mean not as long as you don't want some insane function for your Lagrangian
 
4:03 AM
It's all glyphs
 
@Secret lol is this real?
 
in Mathematics, 59 mins ago, by EnjoysMath
0
Q: Would this suffice in a visual type theory to define a list?

EnjoysMathSee the image. I got that from: wikipedia article. I want to make a visual type theory so that we aren't stuck comprehending pure text for eternity. Also, is the abstract type List a product of some sort? The diagram doesn't indicate this since it's based on a product diagram of $E \times L$...

Visual type theory is not only real, it is not new
 
oh
hmm interesting
 
4:52 AM
@Chair would you mind engaging in a convo about the future of quantum information and quantum computing?
 
@Cows I wouldn't mind at all... They're both pretty interesting topics. But I know very little about them, so you'd be doing most of the talking.
 
Well the talk would not really be technical, unless perhaps in passing in some cases
I am curious as to whether quantum computation and programming will be an in demand occupation in the next 5 years
I am also curious as to whether the future of HEPTh would be in quantum information
I have noticed that a lot of companies are either publicly or secretly investing in quantum computing research and engineering,
and it turns out that I am trying to make sure I not just have fun studying but have a legitimately lucrative option should I choose to advance studies in the future
. . . . some technical thoughts
It seems to me
that the basic idea is that it one abstracts away the physical elements and thinks in terms of signals and computation, you can build an analog language for describing nature, and simulating things
I have some basic knowledge of trivial QC algos
but don't think I understand how to derive one, I don't think there is a set strategy for doing this
@Chair what are your thoughts?
just to be clear, I just try to learn a lot of these things in my free time , and claim no expertise
typically as per my earlier mention . . . . one finds some $U_f$ for a one shot eval
sorry if my lang is a bit abstrus (it's my personal lang ) for this
hmm well I guess I've spoken nonsense let me just retire to my room lol
 
5:51 AM
QC is done in a Hilbert space like in quantum mechanics
 
6:21 AM
Hmm yes
This kid makes makes me wonder my place on this planet lol
Articulate, smart and set for life
His shirt says code, although he talked qm too. I feel like he is sending a message :P
This kid is so good I am not sure how he become this good this young
 
Can somebody say how to write triangular delta in mathjax
 
I think he works at ibm
He is an IBM Q programmer
I have an IBM Q account but the last time I wrote a program on it was several years back . . maybe over 3. . Lost track
I can't seem to understand what people mean when they say a cc can't sim a qc. I think what they mean is that a cc can't sim a qsystem
 
@user187604 \nabla = $\nabla$ or \Delta = $\Delta$
 
there's also \triangle: $\triangle$
 
That kid is increadible. Wow!!! He talks about the high level details naturally and he does have the code up. lol he is running p100 or something in parl to a jupyt session.
Tf to keras then run in ☁️.
 
6:37 AM
@danielunderwood Well, strictly speaking it imposes the requirement that the integral should exist.
 
His epochs < 1s .
 
@JohnRennie is your programming job done ?
 
@user187604 still working I'm afraid
 
@JohnRennie you will do it quickly. I'm sure man. Anyway bye have a nice day.
 
7:23 AM
 

« first day (2816 days earlier)