Alastair Reid

@adreid
199 Followers
69 Following
64 Posts
Researcher at Intel Strategic CAD Labs. Formal methods, security, computer architecture, ... He/him. Tweets are my own. https://alastairreid.github.io
Websitehttps://alastairreid.github.io
GitHubhttps://github.com/alastairreid
@rygorous but it will be “pump up the jam” played on Peruvian pan pipes! Nothing harsh or lively to wake you from your slumber as you sit in the circle of death round the TV in your care home.
@peter_sewell_ @regehr @againsthimself Also, I think it is valid that academia should be interested in issues that affect the industry, not the particularities of one company’s problem. But to extract the underlying problem and test the solution you sometimes have to focus on the problem as seen by one company that wants to work with you or that is a bit ahead of where others will eventually get to. A bit hard to get the balance right…
@peter_sewell_ @regehr @againsthimself I see one of my tasks as an industrial researcher as trying to bridge this gap (with varying levels of success).
In industry, what matters is the whole system, workflow, etc and problems and solutions often involve a scary amount of the whole and take a large team to deploy. But in academia, it is an individual getting the PhD, a modest level of funding, etc
@regehr @secretasianman @dan @steve you’re just confused by the fact that I dialled my accent down to zero the whole time I was in the US. :-)
@regehr congratulations! Happy anniversary!

Wow - evidence that very massive neutron stars may have cores made of deconfined quark matter! The idea of a 'quark star' is not new, but I didn't know it was a serious possibility.

An ordinary neutron star has a core made mostly of densely packed neutrons. A matchbox-sized chunk of this stuff weighs about 3 billion tonnes. But if you squeeze this stuff hard enough, eventually the neutrons break. Each neutron consists of 3 quarks held together by gluons. So when the neutrons break you get 'quark matter' - a sea of quarks and gluons, no longer confined in neutrons.

We've made something similar here on Earth: at CERN and Brookhaven, physicists smack atomic nuclei at each other so hard that the protons and neutrons break and momentarily form a 'quark-gluon plasma'. But the conditions in a neutron star core are different: cooler, but more pressure - and not just temporary.

This new paper tries to take the measured properties of massive neutron stars and see if they fit a model where the inner core is made of deconfined quark matter. They say it does with about 80% probability! I'd take this with a grain of salt, but it's an exciting possibility. It's not every day we find quintillions of tonnes of a new state of matter.

For me, the coolest part is that deconfined quark matter may have an extra symmetry, called 'conformal symmetry'. This means that if you zoom in on it, it looks almost the same. An atom looks like a blob with some specific size. So does a neutron. But a system with conformal symmetry is just a blur spread out everywhere - and if you zoom in or zoom out, you see something very similar. This is crazy.

(1/2)

https://physicsworld.com/a/evidence-grows-for-deconfined-quark-matter-in-neutron-star-cores/

Evidence grows for deconfined quark matter in neutron-star cores – Physics World

New study applies Bayesian inference to multiple observations

Physics World
I searched "habitable planets" cause I needed to drop the name of one in a story and Google gave me some interesting suggestions.
@uucidl @pervognsen i haven’t completely given up on small graphs though. Eg showing all nodes within a small distance might be worthwhile (unless the node is labelled “printf”, “malloc” or “free” :-))
@uucidl @pervognsen every now and then, I forget my previous experience and sit there blocking out the common edges (eg in a callgraph, calls to Malloc, free, printf, error reporting, logging, etc). Then I group by module, then distinguish the entrants to the module, then, …
And before I know it, I have wasted hours and learned not a damn thing except that I should not try to visualise large graphs
@ricci @regehr she was just annoyed by the 100 other people standing just off camera.