@tetsuo_cpp Have you looked at TRAMP-RPC?
"A high-performance TRAMP backend for Emacs that uses a binary RPC server instead of parsing shell command output."
A Pennsylvania house committee will hear testimony Wednesday, April 29, at 9:30am, regarding two bills and one resolution about Daylight Saving Time and Standard Time. Only invitees can speak during the hearing, but anyone can contact the committee members beforehand. Please ask them to support ditching DST with permanent EST!
👉 Ask committee members to support HB 119, oppose HB 153 & HR 349:
• Contact the chair, Rep David Delloso (D):
— Online form: https://t.co/BfcoHB4fxZ
— Office phone: 717-783-6437
— Email: [email protected]
• Contact the vice chair, Rep Craig Staats (R):
— Online form: https://t.co/K0Y6oWeLpH
— Office phone: 717-783-3154
— Email: [email protected]
• Contact any/all other committee members, listed here: https://t.co/Yv0oH3Fme8
👍 Suggested message:
• Dear Representative, please support HB 119 (by Diamond), and please oppose HB 153 (Mackenzie) and oppose HR 349 (McAndrew). Permanent Standard Time is the only federally approved way to ditch the switch. It’s also naturally best for sleep, mood, health, safety, learning, and productivity. Permanent Standard Time balances sunlight all day, year-round. Morning is when sunlight is biologically needed most (especially for schoolchildren), and permanent Standard Time will not delay sunrise times. Permanent Daylight Saving Time on the other hand would darken our mornings past 8am for 3 months, and past 8:30am for several weeks. Permanent DST increased accidents and disrupted businesses when last tried. Please Ditch DST and Save Standard Time. Yes on HB 119; no on HB 153; no on HR 349. Thank you!
🧠 Notable quotations:
• “An extra hour of light in the evening reduces sleep duration by an average of 19 minutes… Discontinuity in the timing of natural light has significant effects on health outcomes typically associated with circadian rhythms disruptions (eg obesity, diabetes, cardiovascular diseases, and breast cancer) and economic performance (per capita income).”
—Osea Giuntella PhD, University of Pittsburgh, & Fabrizio Mazzonna PhD, University of Southern Indiana
https://t.co/1v1bIL2CN5
• “Standard Time aligns more closely with the sun and natural rhythms, which helps regulate sleep and alertness. During Standard Time, we experience more sunlight in the morning, allowing people to more easily wake and feel energized. Permanent Standard Time would improve well-being, reduce accidents, and support healthy sleep.”
—American Academy of Sleep Medicine
https://t.co/P7iZdr275Q
• “Permanent Daylight Saving Time is un-biological and unhealthy… Standard Time is God’s time.”
—Jack Posobiec, Senior Editor of Human Events, Pennsylvania
https://t.co/88Xf2J2Qlz & https://t.co/el2reoUsas
📺 Related video:
• Last year in March, the Pennsylvania State Senate approved SR 46, a resolution asking Congress to ditch the switch nationwide with either permanent Daylight Saving Time or permanent Standard Time. Watch the discussion and vote on our YouTube (4 minutes). https://t.co/YMdcBEnDRb
Here is an awesome chat with @filpizlo and @cmuratori on Fil-C & memory safety!
It clears up a lot of misconceptions people have on memory related issues, we talk about *weird execution*, crashes being welcome, and, of course, about Fil-C
Before this podcast, I had vague idea how Fil-C worked only after this discussion I am truly astonished, that such a feat was (is!) possible. Hats off to @filpizlo for making it happen - even Filip himself didn't know it was doable in the beginning, just wanted confirmation!
Thank you, @filpizlo for walking me through Fil-C, and @cmuratori for adding helpful commentary and additional explanation!
It was such a treat!
https://t.co/CbwGXj6g73
@WatcherontheWeb If plain Arch doesn't suit you, others have already mentioned CachyOS here (which I have never tested) and Omarchy (which I have tested) is another Arch-based distro. (Personally, when I use anything Arch-type, it's Artix to avoid systemd.)
@thesmartski@LundukeJournal I only edited the Makefile(s) to skip building and testing the rust version and compiled with filcc: all test cases passed.
I noticed that Babylon 5 is having a moment, especially with it now on YouTube.
Do yourself a favor and read the Lurker’s Guide as you finish each episode. It is a fun read as the show unfolded and was a must for any fan waiting a week until the next one:
https://t.co/AdIEOiupka
Plus, it will bring you back to a simpler version of the web.
GNU Guix 1.5.0 is now here, featuring lots of great new features, including ISO-9660 installation images and virtual machine images! https://t.co/s7r6ZIIu0z #GNU#GUIX
@WatcherontheWeb My Aunt made homemade icecream with your vanilla; she was not surprised that it was better than with the grocery store vanilla, but it really was sooooooooo much better. :-)
Veteran's Camp Ponderosa is 100% donor driven...we don't accept money from the VA at the camp. Our veterans that we serve trust US. We offer a place to get in contact with services for the rural homeless or at-risk vets in NW Montana. We represent a neutral ground where service providers can meet veterans safely.
We also offer camping and rest for veterans and like-minded folks (like you) year round. All camping fees go to paying camp expenses and providing services.
Help us out if you can.
https://t.co/wLIZGAMGtP
Summary Of How Fil-C Works (With Links)
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 (https://t.co/5BIErIG0aJ). Most of that is about transforming all operations involving `ptr` type to use InvisiCaps (https://t.co/K8io4VHVpD).
I’ve also written about InvisiCaps using examples of issues that this catches (https://t.co/zzsH9INZN7) and by doing a deep dive into the disassembly of a simple program (https://t.co/V7RliWR1nN).
InvisiCaps could work with a variety of memory management schemes, including sufficiently segregated malloc/free. However, they can produce the best guarantees with a GC. GC allows the `free()` operation to deterministically and atomically disable all pointers to the memory that was freed, so use after free, invalid free, and double free are all guaranteed to panic. (https://t.co/fwKnDQK2yG).
All C implementations rely on a runtime that provides helper functions for those operations that are just heavy enough to warrant outlining. Fil-C differs in that its runtime is bigger and involves a different ABI from Yolo-C (https://t.co/l0NlDozCc5). The runtime’s job is also to provide a safepoint mechanism to support accurate GC and safe signal handling (https://t.co/jT5qLWNesy).
Despite the fact that Fil-C’s implementation strategy differs from Yolo-C’s, it’s possible to compile most C and C++ programs with Fil-C and they will work great with zero or minimal changes (https://t.co/oifMSEP5eJ).
Because Fil-C is not ABI compatible with Yolo-C, installing Fil-C means installing a new ABI slice. Multiple approaches to this exist. The original approach I developed to get my own development bootstrapped is the pizfix (Pizlo’s prefix), which puts all Fil-C libraries into a local directory and the compiler knows to default to that directory for headers and libraries (https://t.co/C2W5iKxkbH). A much more comprehensive approach is to just recompile all of the Linux userland (https://t.co/NUtPscOhmr). My favorite way to install Fil-C is the /opt/fil distribution. I’m currently working on making this include more programs and libraries. You should install this if you want to run a memory safe SSH server (https://t.co/pIRTXaAMdR). Folks have started to contribute their own Fil-C distributions. @meekaale created a Nix package of the Fil-C compiler, called Filnix (https://t.co/H0ZtNNnxaT). @hashbreaker has a lot of notes about using Fil-C including scripts to set up Filian - Debian with a Fil-C variant (https://t.co/nl90ZFHsOk).
Finally, Fil-C exposes a lot of power that you won’t get in Yolo-C, like for introspecting pointer capabilities and using advanced GC features. That api is easy to include and well documented (https://t.co/9q97vnR906).
Hope this helps you get started on your memory safe C and C++ journey!