https://git.qt.io/cradam/fil-qt #QtWrapper #FilC #Overcomplication #HackerNews #ngated
Fil-Qt: A Qt Base build with Fil-C experience
https://git.qt.io/cradam/fil-qt
#HackerNews #FilQt #QtBase #FilC #Experience #OpenSource #Development #GitQt
How Fil-C Works
https://fil-c.org/how
> Fil-C achieves memory safety for C and C++ code by transforming all unsafe operations in LLVM IR into code that does dynamic checking to catch all violations of Fil-C’s rules.
Very impressive:
“InvisiCaps: The Fil-C Capability Model”, Filip Pizlo (https://fil-c.org/invisicaps).
See Also: “Fil's Unbelievable Garbage Collector”, Filip Pizlo (https://fil-c.org/fugc).
#C #FilC #MemorySafety #Programming #GarbageCollection #GC #InvisiCaps #FUGC
Ooh! DJB seems to be impressed (enough) by #FilC to try it out extensively 🧐:
“Notes By djb On Using Fil-C”, DJ Bernstein (https://cr.yp.to/2025/fil-c.html).
On HN: https://news.ycombinator.com/item?id=45788040
On Lobsters: https://lobste.rs/s/zc73xh/notes_by_djb_on_using_fil_c
“A Note On Fil-C”, Graydon Hoare (https://graydon2.dreamwidth.org/320265.html or https://web.archive.org/web/20251107034852/https://graydon2.dreamwidth.org/320265.html if it 403s 😒).
On Lobsters: https://lobste.rs/s/ywvatn/note_on_fil_c
On HN: https://news.ycombinator.com/item?id=45842494
#FilC #Rust #MemorySafety #Programming #C #ProgrammingLanguages
Fil-C: Thực hiện bộ nhớ an toàn của C, chạy mã C an toàn, không cần chỉnh sửa #FilC #C #BộNhớAnToàn #LậpTrình #Programming #MemorySafe
https://www.reddit.com/r/programming/comments/1ojwnec/filc_a_memorysafe_c_implementation/
“Fil-C: A Memory-Safe C Implementation”, LWN (https://lwn.net/SubscriberLink/1042938/658ade3768dd4758/).
On HN: https://news.ycombinator.com/item?id=45735877
On Lobsters: https://lobste.rs/s/mg0aur/fil_c_memory_safe_c_implementation