Fachleute erbost über Polizeieinsatz
Ein US-Polizeieinsatz sorgt aktuell in sozialen Netzwerken und in Wissenschaftszeitungen für heftige Kritik: Bei einer der wichtigsten Diabeteskonferenzen, dem Jahreskongress der American Diabetes Association (ADA), eskortierten offenbar von der ADA herbeigerufene Beamte Spitzenvertreterinnen und -vertreter der Gesellschaft aus dem Konferenzzimmer. Zuvor wurden bei dem Treffen Kopien eines Leitartikels ausgeteilt, in dem Kritik an der Politik von US-Präsident Donald Trump geübt wurde. ⌘ Read more
HP Z6 G5 A Continues Working Out Well For Linux-Friendly, High-End Workstation
In late 2023 I reviewed the HP Z6 G5 A workstation that at the time was built around the AMD Ryzen Threadripper PRO 7000 series and NVIDIA RTX Ada Generation graphics. More recently, HP has revised the Z6 G5 A workstation for the latest Threadripper PRO 9000 series and NVIDIA RTX PRO Blackwell graphics. HP sent over the upgraded Z6 G5 A workstation that I’ve been benchmarking the past few weeks. This workstation remains Linux-friendly down to … ⌘ Read more
@kirschner@kirschner ’s “Ada & Zangemann: A Tale of Software, Skateboards, and Raspberry Ice Cream” was a wonderful surprise – I knew I’d like this book since I’ve heard he had written it, but I’ll admit I only actually read it once I had the actual physical book in my hands… and ended up being surprised by it a couple of times, the book has plenty more depth than I assumed! Sure, it is what I thought it would be, “a book for children about free software”, but it is so much more than that…
@o_sarilho@o_sarilho is a webcomic - and fortunately it is also collected in physical format. There are versions in Portuguese and English, but this is a SciFi comic book from a Portuguese author, and that alone would get my attention… the fact that part of the action happens on the region where I actually live just made it even more interesting! So, well, I knew I would need to read it, and I bought the books, but only in 2025 did I actually started reading it… and, well - all I can say is that I glad I have the rest of the series so far, so I can catch up!
Mobileye Eyeq6Lplus SoC Support Being Worked On For Mainline Linux Kernel
The mainline Linux kernel already supports several different Mobileye SoCs for that company focused on self-driving tech and advanced driver assistance systems (ADAS). Consulting firm Bootlin has been working on bringing their latest SoC, the Mobileye Eyeq6Lplus, to the mainline Linux kernel… ⌘ Read more
GCC Steering Committee Allows New Language Front-End To Land For GCC 16
Joining Ada, C/C++, COBOL, D, Fortran, Go, Modula-2, Objective-C/Objective-C++ and Rust is now another programming language expected to be added for the GCC 16 compiler release due out in the new year… ⌘ Read more
Ironclad 0.7.0 and 0.8.0 released, adds RISC-V support
We’ve talked about Ironclad a few times, but there’s been two new releases since the 0.6.0 release we covered last, so let’s see what the project’s been up to. As a refresher, Ironclad is a formally verified, hard real-time capable kernel written in SPARK and Ada. Versions 0.7.0 and 0.8.0 improved support for block device caching, added a basic NVMe driver, added support for x86’s SMAP, switched from KVM to NVMM for Ironcla … ⌘ Read more
apakah gopay ada wa
Apakah Gopya Ada WA GoPay? · Call Center: WA+62.852.1165.5933 Kamu juga bisa mendapatkan lebih banyak informasi mengenai ⌘ Read more
How to Build a Solar Powered Electric Oven
Image: The insulated solar electric cooker that we build in this manual. Photo by Marie Verdeil. ARTICLE
- Cooking’s high power use
- [How to adapt an electric cooking device to solar power](#ada … ⌘ Read more
Stealing Part of a Production Language Model (2024)
We introduce the first model-stealing attack that extracts precise, nontrivial information from black-box production language models like OpenAI’s ChatGPT or Google’s PaLM-2. Specifically, our attack recovers the embedding projection layer (up to symmetries) of a transformer model, given typical API access. For under $20 USD, our attack extracts the entire projection matrix of OpenAI’s ada and babbage language models. We thereby confirm, for the first time, that these black-box … ⌘ Read more
Ironclad 0.6 released
It’s been a while, but there’s a new release of Ironclad, the formally verified, hard real-time capable kernel written in SPARK and Ada. Aside from the usual bugfixes, this release moves Ironclad from multiboot to Limine, adds x86_64 ACPI support for poweroff and reboot, improvements to PTY support, the VFS layer, and much more. The easiest way to try out Ironclad is to download Gloire, a distribution that uses Ironclad and the GNU tools. It can be installed in both a virtual machine an … ⌘ Read more
Fuzzing the CNCF landscape in 2024
By Chris Aniszczyk (CNCF), Adam Korczynski (Ada Logics), David Korczynski (Ada Logics) CNCF maintains a high level of security for its projects by way of a series of initiatives such as security auditing, supply-chain assessments and… ⌘ Read more
OpenTelemetry Collector completes fuzzing audit
Cross-posted from the OpenTelemetry blog by Adam Korczynski OpenTelemetry is happy to announce the completion of the Collector’s fuzzing audit sponsored by the CNCF and carried out by Ada Logics. The audit marks a significant step in the OpenTelemetry… ⌘ Read more
Keycloak completes fuzzing audit
Community post by Adam Korczynski, ADA Logics The Keycloak has completed its fuzzing audit. The audit was carried out by Ada Logics, a UK-based security firm with deep expertise in fuzz testing, and the audit was… ⌘ Read more
ZOTAC ZBOX PRO Series: External GPU Boxes Featuring NVIDIA RTX Ada Generation Professional-Grade GPUs
ZOTAC ZBOX PRO Series: External GPU Boxes Featuring NVIDIA RTX Ada Generation Professional-Grade GPUs
ZOTAC has recently launched the ZBOX PRO External Graphics Box series, engineered to enhance the graphics and computing performance of Mini PCs and notebooks. The series includes three models, with the EGB AD5000 featuring up to 9728 CUDA core … ⌘ Read more
Cloud Custodian completes audit to strengthen security posture and enable continuous assessment
Project post by Cloud Custodian maintainers The Cloud Custodian maintainers are happy to complete a successful security audit with Ada Logics. The Open Source Technology Improvement Fund (OSTIF) facilitated this audit, which was generously funded by the Cloud… ⌘ Read more
New Aetina MXM GPU Series with NVIDIA Ada Technology
Aetina has unveiled its new MXM GPU series, leveraging the advanced NVIDIA Ada Lovelace architecture. This latest lineup, including the MX2000A-VP, MX3500A-SP, and MX5000A-WP, is tailored to meet the increasing needs for real-time ray tracing and AI-driven neural graphics across various sectors, including smart healthcare, autonomous machinery, smart manufacturing, and commercial gaming. Aetina’s MX5000A-WP, at […] ⌘ Read more
On my blog: Free Culture Book Club — Ada & Zangemann https://john.colagioia.net/blog/2024/01/06/ada-zangemann.html #freeculture #bookclub
Who is the (real) first Computer Programmer?
Because it sure ain’t Ada Lovelace. ⌘ Read more
Ada Lovelace accused of not collaborating well with GNOME Project
Lovelace has not submitted a single line of code to the GNOME project. ⌘ Read more
Ada Lea – partner
Montreal’s Ada Lea shares another gorgeous track from her new album one hand on the steering wheel the other sewing a garden, coming September 24th on Saddle Creek. Watch the Erica Orofino-directed "partner" video below + pre-order the limited cloudy clear + black transparent vinyl "thunderstorm" LP here… Continue reading… ⌘ Read more
Ada Lea – hurt ⌘ Read more…
"Alice‘s Adventures in Artificial Intelligence-land" by Coraline Ada Ehmke - YouTube https://www.youtube.com/watch?v=YBkfjhi-krw
Babbage/Lovelace had their mechanical notation but their work looks to be digital, not analog. (diagrams here: http://blog.stephenwolfram.com/2015/12/untangling-the-tale-of-ada-lovelace/)