Show HN: Dillo 3.1.0 released after 9 years
L: https://dillo-browser.github.io/latest.html
C: https://news.ycombinator.com/item?id=40260035
posted on 2024.05.04 at 16:22:54 (c=0, p=5)

Preview Builds of the Zed Editor Now Available for Linux
L: https://zed.dev/releases/preview
C: https://news.ycombinator.com/item?id=40273243
posted on 2024.05.06 at 07:02:42 (c=0, p=16)

Lix is a modern, delicious implementation of the Nix package manager
L: https://lix.systems/
C: https://news.ycombinator.com/item?id=40271242
posted on 2024.05.06 at 00:55:14 (c=1, p=13)

Vintage Style Mandelbrot Map
L: https://www.mandelmap.com
C: https://news.ycombinator.com/item?id=40264033
posted on 2024.05.05 at 07:30:04 (c=0, p=3)

A 100x speedup with unsafe Python
L: https://yosefk.com/blog/a-100x-speedup-with-unsafe-python.html
C: https://news.ycombinator.com/item?id=40263109
posted on 2024.05.05 at 04:08:13 (c=0, p=5)

Proton Mail Discloses User Data Leading to Arrest in Spain
L: https://restoreprivacy.com/protonmail-discloses-user-data-leading-to-arrest-in-spain/
C: https://news.ycombinator.com/item?id=40280689
posted on 2024.05.06 at 19:34:58 (c=0, p=3)

PCI-Sig Completes CopprLink Cabling Standard: PCIe 5.0 and 6.0 Get Wired
L: https://www.anandtech.com/show/21379/pcisig-completes-copprlink-cabling-standard-pcie-50-60-get-wired
C: https://news.ycombinator.com/item?id=40281315
posted on 2024.05.06 at 21:26:17 (c=0, p=4)

Fortran popularity rises with numerical and scientific computing
L: https://www.infoworld.com/article/3715346/fortran-popularity-rises-with-numerical-and-scientific-computing.html#tk.rss_all
C: https://news.ycombinator.com/item?id=40281321
posted on 2024.05.06 at 21:27:36 (c=1, p=6)

GCC 14.1 Release
L: https://gcc.gnu.org/gcc-14/
C: https://news.ycombinator.com/item?id=40283139
posted on 2024.05.07 at 03:07:34 (c=2, p=4)

Raspberry Pi Connect
L: https://www.raspberrypi.com/news/raspberry-pi-connect/
C: https://news.ycombinator.com/item?id=40284994
posted on 2024.05.07 at 09:07:07 (c=0, p=8)

Jolie, the service-oriented programming language
L: https://www.jolie-lang.org/index.html
C: https://news.ycombinator.com/item?id=40291490
posted on 2024.05.07 at 17:07:33 (c=0, p=3)

New accreting millisecond X-ray pulsar discovered
L: https://phys.org/news/2024-05-accreting-millisecond-ray-pulsar.html
C: https://news.ycombinator.com/item?id=40293128
posted on 2024.05.07 at 20:34:23 (c=0, p=3)

Why Use ECC Memory
L: https://danluu.com/why-ecc/
C: https://news.ycombinator.com/item?id=40293943
posted on 2024.05.07 at 23:02:22 (c=1, p=5)

A brief history of NSA backdoors (2013)
L: https://ethanheilman.tumblr.com/post/70646748808/a-brief-history-of-nsa-backdoors
C: https://news.ycombinator.com/item?id=40295987
posted on 2024.05.08 at 05:28:35 (c=2, p=3)

Cmkr – a modern build system based on CMake and TOML
L: https://github.com/build-cpp/cmkr
C: https://news.ycombinator.com/item?id=40273772
posted on 2024.05.06 at 08:20:19 (c=1, p=4)

Libyear
L: https://libyear.com/
C: https://news.ycombinator.com/item?id=40306449
posted on 2024.05.09 at 05:05:31 (c=0, p=7)

New UUID formats have been approved
L: https://www.ietf.org/archive/id/draft-peabody-dispatch-new-uuid-format-01.html
C: https://news.ycombinator.com/item?id=40307902
posted on 2024.05.09 at 09:15:41 (c=1, p=12)

Most of Europe is glowing pink under the aurora
L: https://www.foto-webcam.eu/webcam/lucknerhaus/
C: https://news.ycombinator.com/item?id=40324179
posted on 2024.05.10 at 17:59:03 (c=0, p=7)

The Foundation of a Generic Theorem Prover (1989) [pdf]
L: https://arxiv.org/pdf/cs/9301105
C: https://news.ycombinator.com/item?id=40316319
posted on 2024.05.10 at 03:41:22 (c=0, p=4)