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

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.
I’m really looking forward to Copenhagen next week. It would be great to meet up with other PL folk because, for reasons, I will be missing #pldi itself.

Arm just released the ASL 1.0 specification. https://developer.arm.com/architectures/architecture%20specification%20language

ASL 1.0 is a bunch of changes to the ASL language that is used both for Arm’s executable ISA specification and in Arm’s documentation.

[I contributed to the changes when I was at Arm… and when I was at Google… and also now that I am at Intel and I think 1.0 dramatically improves the language: reducing the potential for confusion and simplifying mechanised uses.]

Here's a schematic of the chip from the Motorola datasheet. The four toggle flip-flops (red) count the 4 bits. To count up, toggle if a carry; toggle if a borrow to count down. The blue gates compute carry/borrow if all 1's or 0's below as appropriate, causing a toggle. 18/20
Ten years ago today #Apple launched the #iPhone 5S and announced the #arm64 CPU inside. It was the first public disclosure of a 64-bit ARM architecture, and it was available for you to buy in a phone. Nobody else was even close to having a chip ready to tape out, much less put in a product, and it was a performance monster.
Obligé de partager
I’m really looking forward to speaking at PLARCH and attending PLDI in Orlando next week.
Ping me if you want to meet up
@b0rk if you want to go even further into history: why are English decimal numbers big endian? (Arabic is written right-to-left, Arabic numbers are little endian, they got copied wholesale into western left-to-right languages which reversed the endianness 😁)

One of the keys to being able to use ISA specifications in many different applications is defining the right module boundaries. The only problem is that each application needs the boundaries in a different place so I reuse techniques I used on component-based OSes in the '90s to remodularize ISA specs.

(Part of a larger project to build a formal spec of the Intel Architecture.)

https://alastairreid.github.io/modular-specs/

Modularizing ISA specifications

Programming languages provide modules as a way of splitting large programs up into small, separate pieces. Modules enable information hiding that prevents one part of the program from using and becoming dependent on some internal detail of how other parts of the program are implemented. Almost every major language designed in the last 50 years has some form of module system.