Ask an Astronaut: 333 hours of Q&A footage with astronauts

Find your question among hundreds of astronaut interviews aboard the International Space Station

A Good Lemma Is Worth a Thousand Theorems (2007)

Why is Google Maps back to showing old satellite images of Altadena?

GenCAD

GenCAD

The SGI Buyer's Guide (2003)

Majix Obsolete Stuff

Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely

All four crew members ejected safely after two Navy jets collided and crashed on Sunday during an air show at the Mountain Home Air Force Base, officials said.

Profunctor Equipment in Haskell

Previously: Profunctor Equipment. To make things more palatable for programmers, I decided to provide a toy implementation of some of the equipments in Haskell. The advantage of this encoding is that it can be verified by the compiler, and I still trust the compiler more than I trust the AI. A more adequate implementation would…

Prolog Coding Horror

Prolog Coding Horror

The foundations of a provably secure operating system (PSOS) (1979) [pdf]

Jank now has its own custom IR

Crystals found inside wreckage from the first nuclear bomb test

The Trinity bomb test left behind a unique form of matter, and now, scientists have discovered a new chemical structure inside it

Tesla Solar Roof is on life support as it pivot to panels

Tesla promised 1,000 Solar Roofs per week by 2019. It installed roughly 3,000 total, stopped reporting numbers, and is now pivoting to conventional panels.

WriteUp: 16 Bytes of x86 that turn Matrix rain into sound

It is time to give up the dualism introduced by the debate on consciousness

Consciousness is not separate from the physical world — our “soul” is of the same nature as our body and any other phenomenon of the world.

Magical Realism: “Northern Exposure” 25 Years Later (2015)

An appreciation of the influential CBS series 25 years after it premiered.

Germany goes from labour shortages to hiring freezes

Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep

Fast and Accurate Code Search for Agents. Uses ~98% fewer tokens than grep+read - MinishLab/semble

I turned a $80 RK3562 Android tablet into a Debian Linux workstation

Contribute to tech4bot/rk3562deb development by creating an account on GitHub.

Multiple commencement speakers booed for AI comments during graduation speeches

Former Google CEO Eric Schmidt was booed multiple times Sunday while discussing artificial intelligence during a commencement speech at the University of Arizona. Other commencement speakers faced similar backlash for their AI comments, as new graduates face a daunting job market. NBC News’ Valerie Castro reports.

kharp – k version 3 Language Interpreter in C#

Vector calculator and language inspired on K. Contribute to ERufian/ksharp development by creating an account on GitHub.