🦞🌯 Lobster Roll

Classic PLT book, now free online for borrowing thanks to the Internet Archive. Contains the essay by W. Howard on "The Formula-as-Types Notion of Construction". I haven't found that anywhere else. Special thanks to Mitch Wand for donating the book and to Breandan Considine for supporting the ...

Scientists at Boston College have identified a material known as a dual quantum spin Hall insulator, which offers a promising foundation for investigating exotic quantum phases and electromagnetism. An international team of scientists led by Boston College physicists has reported the discovery of du...

Being distracted while engaging in enjoyable activities such as eating can reduce satisfaction, leading to overcompensation, according to new research. If you tend to do other things or get distracted while eating dinner, you may be running the risk of over-consuming everyday pleasures later, possib...

Scientists have identified a one-dimensional topological insulator that could revolutionize quantum computing and solar cell efficiency. This groundbreaking discovery paves the way for advancements in quantum computing and solar cell efficiency. Researchers have discovered a new topological insulato...

Seismic data from NASA’s InSight lander suggests liquid water may exist beneath Mars’ surface, supporting the potential for microbial life underground. Are subterranean lifeforms possible on Mars? A new interpretation of Martian seismic data by Ikuo Katayama (Hiroshima University) and Yuya Akamatsu ...