Forwarded from Hacker News
The AdaCore Blog
NVIDIA Security Team: “What if we just stopped using C?”
by Fabien Chouteau – Jan 30, 2023. Today I want to share a great story about why many NVIDIA products are now running formally verified SPARK code. This blog post is in part a teaser for the case study that NVIDIA and AdaCore published today. Our journey…
Forwarded from Hacker News
GitLab
Broken OBS Studio Flatpak presented as official package (#39) · Issues · Fedora / Special Interest Groups (SIGs) / Fedora Flatpak…
The unofficial OBS Studio Flatpak on Fedora Flatpaks is, seemingly, poorly packaged and broken, leading to users complaining upstream thinking they are...
Forwarded from Hacker News
GitHub
tee.exe binary dependency exhibiting illegitimate / unauthorized behavior · Issue #32431 · neovim/neovim
While installing/testing neovim in a Windows 11 sandbox environment for security testing purposes before deploying in a commercial environment, the bundled tee.exe binary was classified as Trojan.M...
Forwarded from Hacker News
The Golioth Developer Blog
NAT is the Enemy of Low Power Devices
If you have ever tried communicating with a device on a private network, you may have encountered Network Address Translation (NAT). Because the number of connected devices has long outpaced the number of unique addresses in the IPv4 address space, public…
Forwarded from Gizchina.com
Realme 14T Leaks Early: 5G, IP69K Rating, and 100W Fast Charging
https://www.gizchina.com/2025/03/22/realme-14t-leaks-early-5g-ip69k-rating-and-100w-fast-charging/
https://www.gizchina.com/2025/03/22/realme-14t-leaks-early-5g-ip69k-rating-and-100w-fast-charging/
#A15 #Unofficial #TD #GSI #GrapheneOS #AOSP
Build Date: 2025 03 22
February 2025 Security Patch
GrapheneOS Beta 3
Notes
Changelog
Donation
Maintainer: Nullvalue
Download
Previous stable release:
[Android 15] GrapheneOS - Beta
Download
Current Release
[Android 15] GrapheneOS - Beta 3
@treblegsis_privacysecure_chat
@treblegsis_privacysecure_channel
Build Date: 2025 03 22
February 2025 Security Patch
GrapheneOS Beta 3
Notes
GrapheneOS is a privacy-focused, de-Googled Android-based operating system designed to enhance security while maintaining usability.
Please, please support the developers of GrapheneOS if you like this firmware!
I would like to note now that this GSI is not hardened the way an official GrapheneOS build is, because it inherits the vendor kernel
Changelog
Beta 3 - What's new?Special Note:
- Default SMS app is gone, use Fossify
- Misc. stability fixes
- Exynos support (I hope!!!)
I'm developing this with @ronnz98.
The whole codebase for this, I will make public as I've finally decided on a firmware to maintain, and I am really hoping that
Donation
GrapheneOS developers
Phh
AndyYan
Maintainer: Nullvalue
Download
Previous stable release:
[Android 15] GrapheneOS - Beta
Download
Current Release
[Android 15] GrapheneOS - Beta 3
@treblegsis_privacysecure_chat
@treblegsis_privacysecure_channel
Forwarded from Hacker News
LinkedIn is the worst social media I've ever seen
Article, Comments
Article, Comments
Forwarded from Hacker News
Krebs on Security
Nearly a Year Later, Mozilla is Still Promoting OneRep
In mid-March 2024, KrebsOnSecurity revealed that the founder of the personal data removal service Onerep also founded dozens of people-search companies. Shortly after that investigation was published, Mozilla said it would stop bundling Onerep with the Firefox…