Typst: A Possible LaTeX Replacement(lwn.net)

26 points by keks24 1 year ago | 1 comments

Nolibc: A minimal C-library replacement shipped with the kernel(lwn.net)

74 points by matheusmoreira 3 years ago | 15 comments

The use of LLM assistants for kernel development(lwn.net)

63 points by Bogdanp 1 year ago | 23 comments

A new futex API(lwn.net)

71 points by signa11 3 years ago | 36 comments

Asterinas: A new Linux-compatible kernel project(lwn.net)

192 points by howtofly 1 year ago | 64 comments

Next steps for BPF support in the GNU toolchain(lwn.net)

100 points by signa11 1 year ago | 18 comments

Exploring Typst, a new typesetting system similar to LaTeX(blog.jreyesr.com)

515 points by judell 2 years ago | 203 comments

A long blog post reviewing Typst, a typesetting language and tool similar to LaTeX, covering styling, scripting, plugins, and comparisons to LaTeX, Markdown, and Word.

Typst: An easy to learn alternative for LaTex(github.com)

550 points by vogu66 2 years ago | 166 comments

GitHub repository for Typst, a new markup-based typesetting system positioned as an easier-to-learn alternative to LaTeX.

Is legal the same as legitimate: AI reimplementation and the erosion of copyleft(writings.hongminhee.org)

541 points by dahlia 7 months ago | 539 comments

Blog essay arguing that AI-assisted clean-room reimplementation, as with chardet 7.0 relicensed from LGPL to MIT, may be legal but erodes the legitimacy of copyleft.

AI tools are spotting errors in research papers(nature.com)

555 points by kgwgk 1 year ago | 200 comments

Nature news article on a growing movement using AI and large language models to detect errors in research papers, sparked by a flawed black plastic utensils study.

The Lost Atomic Update on Loongson CPU(jia.je)

120 points by jiegec 1 month ago | 6 comments

A blog post investigating a hardware erratum on the Loongson LA664 CPU where an atomic instruction loses updates, causing an infinite loop while packaging normaliz for Debian.

Ty: A fast Python type checker and language server(github.com)

835 points by arathore 1 year ago | 271 comments

GitHub repository for ty, Astral's extremely fast Python type checker and language server written in Rust.