frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

alpr.watch

https://alpr.watch/
535•theamk•5h ago•265 comments

Prediction: AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
65•evankhoury•1h ago•26 comments

No Graphics API

https://www.sebastianaaltonen.com/blog/no-graphics-api
257•ryandrake•3h ago•40 comments

GPT Image 1.5

https://openai.com/index/new-chatgpt-images-is-here/
213•charlierguo•4h ago•115 comments

Ty: A fast Python type checker and LSP

https://astral.sh/blog/ty
72•gavide•1h ago•11 comments

MIT professor shot at his Massachusetts home dies

https://www.bbc.com/news/articles/cly08y25688o
11•mosura•29m ago•0 comments

40 percent of fMRI signals do not correspond to actual brain activity

https://www.tum.de/en/news-and-events/all-news/press-releases/details/40-percent-of-mri-signals-d...
356•geox•8h ago•156 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

https://blog.mozilla.org/en/mozilla/leadership/mozillas-next-chapter-anthony-enzor-demeo-new-ceo/
358•recvonline•8h ago•524 comments

Thin desires are eating life

https://www.joanwestenberg.com/thin-desires-are-eating-your-life/
223•mitchbob•21h ago•84 comments

The World Happiness Report is beset with methodological problems

https://yaschamounk.substack.com/p/the-world-happiness-report-is-a-sham
66•thatoneengineer•22h ago•84 comments

Writing a blatant Telegram clone using Qt, QML and Rust. And C++

https://kemble.net/blog/provoke/
54•tempodox•6h ago•30 comments

GitHub will begin charging for self-hosted action runners on March 2026

https://github.blog/changelog/2025-12-16-coming-soon-simpler-pricing-and-a-better-experience-for-...
363•nklow•4h ago•142 comments

Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)

https://gamehistory.org/segachannel/
194•wicket•9h ago•27 comments

Chat-tails: Throwback terminal chat, built on Tailscale

https://tailscale.com/blog/chat-tails-terminal-chat
11•nulbyte•1h ago•1 comments

Nvidia Nemotron 3 Family of Models

https://research.nvidia.com/labs/nemotron/Nemotron-3/
99•ewt-nv•1d ago•12 comments

Letta Code

https://www.letta.com/blog/letta-code
12•ascorbic•1h ago•1 comments

Artie (YC S23) Is Hiring Senior Enterprise AES

https://www.ycombinator.com/companies/artie/jobs/HyaHWUs-senior-enterprise-ae
1•j-cheong•5h ago

Context: Odin’s Most Misunderstood Feature

https://www.gingerbill.org/article/2025/12/15/odins-most-misunderstood-feature-context/
24•davikr•1d ago•0 comments

Show HN: Sqlit – A lazygit-style TUI for SQL databases

https://github.com/Maxteabag/sqlit
85•MaxTeabag•1d ago•9 comments

Creating custom yellow handshake emojis with zero-width joiners

https://blog.alexbeals.com/posts/custom-yellow-handshake-emojis-with-zero-width-joiners
43•dado3212•21h ago•1 comments

Show HN: Deterministic PCIe Diagnostics for GPUs on Linux

https://github.com/parallelArchitect/gpu-pcie-diagnostic
6•gpu_systems•1h ago•1 comments

Rust GCC back end: Why and how

https://blog.guillaume-gomez.fr/articles/2025-12-15+Rust+GCC+backend%3A+Why+and+how
149•ahlCVA•8h ago•69 comments

How geometry is fundamental for chess

https://lichess.org/@/RuyLopez1000/blog/how-geometry-is-fundamental-for-chess/h31wwhUX
43•fzliu•4d ago•14 comments

Purrtran – ᓚᘏᗢ – A Programming Language for Cat People

https://github.com/cmontella/purrtran
213•simonpure•3d ago•31 comments

30 Years of <Br> Tags

https://www.artmann.co/articles/30-years-of-br-tags
121•FragrantRiver•3d ago•23 comments

Vibe coding creates fatigue?

https://www.tabulamag.com/p/too-fast-to-think-the-hidden-fatigue
118•rom16384•3h ago•117 comments

Pizlix: Memory Safe Linux from Scratch

https://fil-c.org/pizlix
54•nullbyte808•2d ago•16 comments

Full Unicode Search at 50× ICU Speed with AVX‑512

https://ashvardanian.com/posts/search-utf8/
178•ashvardanian•1d ago•69 comments

The Beauty of Dissonance

https://www.plough.com/en/topics/culture/music/the-beauty-of-dissonance
7•tintinnabula•3d ago•0 comments

Confuse some SSH bots and make botters block you

https://mirror.newsdump.org/confuse-some-ssh-bots.html
37•Bender•5d ago•14 comments
Open in hackernews

Pizlix: Memory Safe Linux from Scratch

https://fil-c.org/pizlix
54•nullbyte808•2d ago

Comments

metadope•2d ago
> Pizlix requires you to set up your machine thusly:

  > You must have a /mnt/lfs partition mounted at /dev/sda4.
should say

  > You must have a /dev/sda4 partition mounted at /mnt/lfs.
Pedantic Sunday: Happy Hanukkah!
pizlonator•1h ago
Of course you are right!
hulitu•13h ago
> Supported Systems Pizlix has been tested inside VMware and Hyper-V on X86_64.

Any idea if it runs on real hardware ?

pizlonator•1h ago
I am still just testing it in VMs.

The only thing standing in the way of it working on real HW is just making sure the kernel is configured properly for it. Like right now the kernel config file is the result of enabling those things that work on the virtual devices that HyperV and VMware provide.

The right answer is modular kernel and something like initramfs and modprobe or whatnot. That kind of work has nothing to do with Fil-C; it’s just distro engineering

ndesaulniers•1h ago
> The kernel is compiled with Yolo-C. So that you can compile the kernel, a copy of GCC is installed in /yolo/bin/gcc.

Fil, you can compile the Linux kernel will clang+lld. `make LLVM=1` https://docs.kernel.org/kbuild/llvm.html

pizlonator•47m ago
Gotcha. I am using gcc for building yolo-glibc, and the version I'm building (2.40) requires gcc.

So if I used clang, then I'd have three compilers (yolo-clang, gcc, fil-clang) instead of two (gcc, fil-clang).

ndesaulniers•37m ago
Does fil-clang have `-fno-` flag to control disabling fil-c stuff?

Does the fil-c runtime depend on specifics from glibc, or is it that LFS doesn't support building with musl?

> We need to retain the Yolo GCC for compiling the Linux kernel.

Probably can replace that with s/the Linux kernel/glibc/. glibc maintainers have started upstreaming patches for building glibc with clang, but not sure yet what's the latest on that (large) patch series.

pizlonator•32m ago
>Does fil-clang have `-fno-` flag to control disabling fil-c stuff?

No. I could add a flag like that, but that would make my patch to clang larger, which would make rebasing to new clang versions harder.

So I'm choosing not to add such a flag. For now.

> Do you depend on glibc, or is it that LFS doesn't support building with musl?

I support both glibc and musl.

LFS is glibc-based.

ndesaulniers•24m ago
If you do get around to adding the flag, consider a suggestion for the color of bikeshed: `-fyolo`. (Can't find my April Fool's clang patch for adding `-feverything`; hard to search the phab archive)
pizlonator•20m ago
Love it!!
jabedude•1h ago
Filip, do you plan to support building the kernel with fil-c? What's the limiting factor right now on supporting that?
pizlonator•46m ago
I think the way to do that is via something like l4linux, so that the ultra low level bits of the Fil-C runtime aren't relying - circularly - upon kernel functionality compiled with Fil-C that rely on that runtime.
ndesaulniers•32m ago
Or perhaps a `--target` flag that says "I'm targeting the linux kernel, not userspace, libcall these symbols (existing kernel functionality) rather than those (glibc interfaces)."
pizlonator•32m ago
That won't solve it. Fil-C's memory safety relies on the Fil-C runtime
ndesaulniers•21m ago
Just as the sanitizers have a runtime, the linux kernel has a re-implementation of those runtimes (the linux kernel does not link libgcc/compiler_rt) and IIRC the compiler will work differently (I forget which flags control that). Prior art here.
pizlonator•16m ago
The sanitizer runtime is not nearly as complex as the Fil-C runtime.

Sanitizers don't have to deal with:

- https://fil-c.org/fugc

- https://fil-c.org/safepoints

Oh and it's not clear if the current revision of the capability model would work with memory mapped IO: https://fil-c.org/invisicaps