Nvidia Security Team: “What if we just stopped using C?” (2022)
(adacore.com)
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.
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.
Hard Mode Rust (2022)
(matklad.github.io)
This post is a case study of writing a Rust application using only minimal, artificially constrained API (eg, no dynamic memory allocation). It assumes a fair bit of familiarity with the language.
This post is a case study of writing a Rust application using only minimal, artificially constrained API (eg, no dynamic memory allocation). It assumes a fair bit of familiarity with the language.
Rust in Production: Volvo Ships Memory-Safe ECUs in Production Cars
(corrode.dev)
The car industry is not known for its rapid adoption of new technologies. Therefore, it’s even more exciting to see a company like Volvo Cars embracing Rust for core components of their software stack.
The car industry is not known for its rapid adoption of new technologies. Therefore, it’s even more exciting to see a company like Volvo Cars embracing Rust for core components of their software stack.
Hands-on Assignment – Therac-25 (2007)
(web.mit.edu)
Now that you have had a bit more experience with systems and a better understanding of concurrency issues, we revisit the Therac-25.
Now that you have had a bit more experience with systems and a better understanding of concurrency issues, we revisit the Therac-25.
Five years of React Native at Shopify
(shopify.engineering)
Five years ago, we announced that React Native (RN) is the future of mobile at Shopify. Today, we are excited to share the progress we've made, lessons learned, and what the future holds.
Five years ago, we announced that React Native (RN) is the future of mobile at Shopify. Today, we are excited to share the progress we've made, lessons learned, and what the future holds.
If I Could Wave a Magic Wand
(wilsoniumite.com)
We often talk about rewriting code and almost as often talk about whether big rewrites are even a good idea. Joel Spolsky writes a particularly harrowing story of how netscape rewrote their entire codebase and in so doing perhaps doomed their chances of recovery. In summary, here are some key things you need to keep in mind when considering to rewrite something.
We often talk about rewriting code and almost as often talk about whether big rewrites are even a good idea. Joel Spolsky writes a particularly harrowing story of how netscape rewrote their entire codebase and in so doing perhaps doomed their chances of recovery. In summary, here are some key things you need to keep in mind when considering to rewrite something.
Attacker Has Techdirt Reclassified as Phishing Site
(techdirt.com)
Here on Techdirt, we write a lot about content moderation and even did a whole big series of content moderation case studies. However, here’s an interesting one that involves Techdirt itself from a couple weeks ago. It’s also a perfect example of Masnick’s Impossibility Theorem in action and a reminder of how the never-ending flood of spam and scams provides cover for bad actors to sneak through abusive reports.
Here on Techdirt, we write a lot about content moderation and even did a whole big series of content moderation case studies. However, here’s an interesting one that involves Techdirt itself from a couple weeks ago. It’s also a perfect example of Masnick’s Impossibility Theorem in action and a reminder of how the never-ending flood of spam and scams provides cover for bad actors to sneak through abusive reports.
Treating wounds in pediatrics with medical grade honey: A case series
(nlm.nih.gov)
Medical grade honey (MGH) has antimicrobial and pro-healing properties. We here demonstrate that MGH is an easily applicable, safe, and cost-effective approach for severe wounds. The use of MGH should more often be considered to treat all kinds of pediatric wounds.
Medical grade honey (MGH) has antimicrobial and pro-healing properties. We here demonstrate that MGH is an easily applicable, safe, and cost-effective approach for severe wounds. The use of MGH should more often be considered to treat all kinds of pediatric wounds.
'Headspin hole': an overuse injury among breakdancers
(casereports.bmj.com)
This case report focuses on ‘headspin hole’, a unique overuse injury in breakdancers caused by repetitive headspins.
This case report focuses on ‘headspin hole’, a unique overuse injury in breakdancers caused by repetitive headspins.
Effective Fuzzing: A Dav1d Case Study
(blogspot.com)
Late in 2023, while working on a 20% project with Project Zero, I found an integer overflow in the dav1d AV1 video decoder.
Late in 2023, while working on a 20% project with Project Zero, I found an integer overflow in the dav1d AV1 video decoder.
Why Gumroad Didn't Choose Htmx
(htmx.org)
At Gumroad, we recently embarked on a new project called Helper. As the CEO, I was initially quite optimistic about using htmx for this project, even though some team members were less enthusiastic.
At Gumroad, we recently embarked on a new project called Helper. As the CEO, I was initially quite optimistic about using htmx for this project, even though some team members were less enthusiastic.
A Local-First Case Study
(jakelazaroff.com)
I just got back from a travel sabbatical. While the trip turned out great, the planning process was decidedly… less so. Figuring out six months of travel is a daunting task, and I quickly became dissatisfied with existing tools.
I just got back from a travel sabbatical. While the trip turned out great, the planning process was decidedly… less so. Figuring out six months of travel is a daunting task, and I quickly became dissatisfied with existing tools.
One Year of Rust in Production
(yieldcode.blog)
For the past months, I spent (almost) all of my free time working on my side business — JustFax.
For the past months, I spent (almost) all of my free time working on my side business — JustFax.
UI Design and Implementation Principles from Four Successful Products
(hexmos.com)
In this article, I will explain several design principles adopted from successful products, how these products strictly adhere to these principles, and how to implement these designs efficiently.
In this article, I will explain several design principles adopted from successful products, how these products strictly adhere to these principles, and how to implement these designs efficiently.