 
  		        CommunityNews
CHERI Myths: I don’t need CHERI if I have safe languages
CHERI Myths: I don’t need CHERI if I have safe languages.
There’s a recurring myth that CHERI and safe languages are solving the same problems and that, if you have one, you don’t need the other. When I joined the CHERI project in 2012, my primary motivation was producing hardware that enabled safe interoperability between languages, so I never felt that safe languages and CHERI were in tension. Quite the reverse: My work on CHERI was motivated by a desire to enable safe language adoption and the combination of CHERI and safe languages is far more powerful than either in isolation.
Read in full here:
This thread was posted by one of our members via one of our news source trackers.
Popular General Dev topics
                         
                      
                       
          
                I wired my tree with 500 LED lights and calculated their 3D coordinates… 
If you support me on Patreon at any point in December 2020 I wi...
              
            
            
              
          
            
  
        New
 
          
                Last night I re-read this Steve Yegge article about learning to type as a programmer. I can touch type, but I don’t usually manage to bre...
              
            
            
              
          
              New
 
          
                This Keyboard Lets People Type So Fast It’s Banned From Typing Competitions. 
A new peripheral lets you keep typing without ever lifting ...
              
            
            
              
          
              New
 
          
                Raspberry Pi security alarm — the basics. 
In November last year — I started building a DIY security alarm system, using a Raspberry Pi a...
              
            
            
              
          
              New
 
          
                The pool of talented C++ developers is running dry. 
Highly sought after, rarely provided. 
              
            
            
              
          
              New
 
          
                openai-python/chatml.md at main · openai/openai-python. 
The OpenAI Python library provides convenient access to the OpenAI API from appl...
              
            
            
              
          
              New
 
          
                Declarative GNOME configuration with NixOS. 
I adore tinkering with my machine, trying new tools, extensions, themes, and ideas. When I w...
              
            
            
              
          
              New
 
          
                Why Python is terrible… 
Nice language, but unsuitable for most professional purposes 
              
            
            
              
          
              New
 
          
                To avoid being replaced by LLMs, do what they can’t. 
What LLM’s can’t do yet 
              
            
            
              
          
              New
 
          New
Other popular topics
                         
                      
                       
          
                A thread that every forum needs! 
Simply post a link to a track on YouTube (or SoundCloud or Vimeo amongst others!) on a separate line an...
              
            
            
          
              New
 
          
                No chair. I have a standing desk. 
This post was split into a dedicated thread from our thread about chairs :slight_smile:
              
            
            
          
              New
 
          
                poll
poll
Be sure to check out @Dusty’s article posted here: An Introduction to Alternative Keyboard Layouts It’s one of the best write-...
              
            
            
              
          
              New
 
          
                Rust is an exciting new programming language combining the power of C with memory safety, fearless concurrency, and productivity boosters...
              
            
            
              
          
              New
 
          
                Author Spotlight 
Rebecca Skinner 
@RebeccaSkinner 
Welcome to our latest author spotlight, where we sit down with Rebecca Skinner, auth...
              
            
            
          
              New
 
          
                zig/http.zig at 7cf2cbb33ef34c1d211135f56d30fe23b6cacd42 · ziglang/zig. 
General-purpose programming language and toolchain for maintaini...
              
            
            
              
          
              New
 
          
                Will Swifties’ war on AI fakes spark a deepfake porn reckoning? 
              
            
            
              
          
              New
 
          
                If you’re getting errors like this: 
psql: error: connection to server on socket “/tmp/.s.PGSQL.5432” failed: No such file or directory ...
              
            
            
          
              New
 
          
                Hello, 
I’m a beginner in Android development and I’m facing an issue with my project setup. In my build.gradle.kts file, I have the foll...
              
            
            
          
              New
 
          
                Explore the power of Ash Framework by modeling and building the domain for a real-world web application.
  
Rebecca Le @sevenseacat and ...
              
            
            
              
          
              New
Categories:
Sub Categories:
- All
- In The News
- Dev Chat (202)
- Questions (34)
- Resources (119)
- Blogs/Talks (27)
- Jobs (3)
- Events (15)
- Code Editors (59)
- Hardware (57)
- Reviews (5)
- Sales (16)
- Design & UX (5)
- Marketing & SEO (2)
- Industry & Culture (14)
- Ethics & Privacy (19)
- Business (4)
- Learning Methods (5)
- Content Creators (7)
- DevOps & Hosting (9)
Popular Portals
- /elixir
- /rust
- /ruby
- /wasm
- /erlang
- /phoenix
- /keyboards
- /python
- /rails
- /js
- /security
- /go
- /swift
- /vim
- /clojure
- /emacs
- /haskell
- /java
- /svelte
- /onivim
- /typescript
- /kotlin
- /c-plus-plus
- /crystal
- /tailwind
- /react
- /gleam
- /ocaml
- /flutter
- /elm
- /vscode
- /ash
- /opensuse
- /html
- /centos
- /php
- /deepseek
- /zig
- /scala
- /sublime-text
- /lisp
- /textmate
- /react-native
- /nixos
- /debian
- /agda
- /kubuntu
- /arch-linux
- /django
- /deno
- /revery
- /ubuntu
- /spring
- /nodejs
- /manjaro
- /diversity
- /lua
- /julia
- /c
- /slackware

 
    




