Dream-HTML – render HTML, SVG, MathML, Htmx markup from OCaml
L: https://github.com/yawaramin/dream-html
C: https://news.ycombinator.com/item?id=40217334
posted on 2024.04.30 at 18:41:54 (c=0, p=4)

Implementing Your Own Garbage Collector in Java
L: https://coderoasis.com/custom-java-garbage-collector/
C: https://news.ycombinator.com/item?id=40206760
posted on 2024.04.29 at 22:49:23 (c=0, p=3)

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)

Apple's New iPad Ad Sparks Loud, Immediate Backlash
L: https://kotaku.com/apple-ipad-pro-hydraulic-press-crush-commercial-ad-1851463729
C: https://news.ycombinator.com/item?id=40300899
posted on 2024.05.08 at 13:42:00 (c=4, p=6)

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)

23% of bachelor's degrees and 43% of master's degrees have a negative ROI
L: https://reason.com/2024/05/10/nearly-half-of-all-masters-degrees-arent-worth-getting/
C: https://news.ycombinator.com/item?id=40333471
posted on 2024.05.12 at 07:08:20 (c=0, p=3)

New WiFi Vulnerability: The SSID Confusion Attack
L: https://www.top10vpn.com/research/wifi-vulnerability-ssid/
C: https://news.ycombinator.com/item?id=40363213
posted on 2024.05.15 at 00:50:01 (c=0, p=6)

Abstract Interpretation as a Programming Language
L: https://arxiv.org/abs/1309.5133
C: https://news.ycombinator.com/item?id=40364604
posted on 2024.05.15 at 04:52:59 (c=0, p=4)

Speculating the entire x86-64 instruction set in seconds (2021)
L: https://blog.can.ac/2021/03/22/speculating-x86-64-isa-with-one-weird-trick/
C: https://news.ycombinator.com/item?id=40353694
posted on 2024.05.14 at 06:42:03 (c=2, p=8)

F* – A Proof-Oriented Programming Language
L: https://www.fstar-lang.org/
C: https://news.ycombinator.com/item?id=40377685
posted on 2024.05.16 at 08:47:07 (c=0, p=8)

CVE-2024-4367 – Arbitrary JavaScript execution in PDF.js
L: https://codeanlabs.com/blog/research/cve-2024-4367-arbitrary-js-execution-in-pdf-js/
C: https://news.ycombinator.com/item?id=40414718
posted on 2024.05.20 at 08:27:11 (c=1, p=13)

Show HN: Adblock for Podcasts
L: https://github.com/jdrbc/podly_pure_podcasts
C: https://news.ycombinator.com/item?id=40435786
posted on 2024.05.21 at 20:01:54 (c=0, p=3)

Safe Terminal Escape Codes
L: https://www.arp242.net/safeterm.html
C: https://news.ycombinator.com/item?id=40444392
posted on 2024.05.22 at 14:31:18 (c=0, p=3)

Why Functional Programming Matters [pdf]
L: https://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf
C: https://news.ycombinator.com/item?id=40446449
posted on 2024.05.22 at 16:57:21 (c=0, p=4)

Cortile – Linux auto tiling manager with hot corner support
L: https://github.com/leukipp/cortile
C: https://news.ycombinator.com/item?id=40446433
posted on 2024.05.22 at 16:56:20 (c=0, p=4)

Common Lisp Is Not a Single Language, but Many
L: https://aartaka.me/cl-is-lots
C: https://news.ycombinator.com/item?id=40453234
posted on 2024.05.23 at 07:14:57 (c=0, p=4)

Recursion, Continuations and Trampolines
L: https://eli.thegreenplace.net/2017/on-recursion-continuations-and-trampolines/
C: https://news.ycombinator.com/item?id=40463626
posted on 2024.05.24 at 03:00:11 (c=0, p=4)

Lapis: A Web Framework for Lua
L: https://leafo.net/lapis/
C: https://news.ycombinator.com/item?id=40474165
posted on 2024.05.25 at 06:56:41 (c=0, p=4)

LuaX – Lua interpreter, REPL, and useful packages
L: https://github.com/CDSoft/luax
C: https://news.ycombinator.com/item?id=40481377
posted on 2024.05.26 at 07:37:02 (c=0, p=3)

Amiga Minimig Ported to Tang Nano 20k FPGA
L: https://github.com/harbaum/NanoMig
C: https://news.ycombinator.com/item?id=40483882
posted on 2024.05.26 at 13:31:58 (c=1, p=5)

LSON: JSON with binary in 260 lines of public domain Lua
L: https://github.com/civboot/civlua/tree/main/lib/lson
C: https://news.ycombinator.com/item?id=40485279
posted on 2024.05.26 at 16:51:22 (c=0, p=3)

Helix: A post-modern text editor
L: https://helix-editor.com/
C: https://news.ycombinator.com/item?id=40487068
posted on 2024.05.26 at 22:15:59 (c=1, p=4)

Run Your Own Mail Server Funded
L: https://mwl.io/archives/23601
C: https://news.ycombinator.com/item?id=40506332
posted on 2024.05.28 at 18:35:48 (c=0, p=4)

Delhi's Mungeshpur records 52.3°C, city's highest-ever temperature
L: https://www.dawn.com/news/1836406
C: https://news.ycombinator.com/item?id=40512220
posted on 2024.05.29 at 10:13:16 (c=0, p=4)

HAProxy 3.0 Released
L: https://www.haproxy.com/blog/announcing-haproxy-3-0
C: https://news.ycombinator.com/item?id=40514367
posted on 2024.05.29 at 13:13:01 (c=0, p=4)

Disassembling Dalvik
L: https://margin.re/2024/05/dalvik-disassembly/
C: https://news.ycombinator.com/item?id=40518525
posted on 2024.05.29 at 19:51:40 (c=0, p=5)

We Stopped Using Signal Messenger
L: https://decodetheworld.substack.com/p/why-we-stopped-using-signal-messenger
C: https://news.ycombinator.com/item?id=40527353
posted on 2024.05.30 at 14:54:25 (c=0, p=4)