Professor Peter Müller and his co-author have been awarded the prestigious ETAPS Test of Time Award for their paper “A Basis for Verifying Multi-threaded Programs”. The ETAPS Test of Time Award has ...

New three-dimensional (3D) models of objects in space have been released by NASA's Chandra X-ray Observatory. These 3D models allow people to explore—and print—examples of stars in the early ...

kitty hyprland sddm swaync wofi wofi-emoji rofi rofi-emoji hyprpolkitagent pipewire wireplumber pipewire-audio pipewire-alsa pipewire-pulse sof-firmware wallust waybar wl-clipboard clipse wlogout ...

Pull requests help you collaborate on code with other people. As pull requests are created, they’ll appear here in a searchable and filterable list. To get started, you should create a pull request.