Announcing the ORCHIDE Project: Powering satellite innovation with @tarides_, Parsimoni, Thales Alenia Space France, University Politechnica of Bucharest, KpLabs and Thales Romania! #HorizonEU #EUSpace https://tarides.com/blog/2023-12-29-announcing-the-orchide-project-powering-satellite-innovation/ #OCaml #MirageOS #Security #SpaceOS #Safety
Announcing the ORCHIDE Project: Powering Satellite Innovation

It has been a few months since we announced our new product for both older and newer models of satellites: SpaceOS. Since then, there have…

OCaml: Memory Safety and Beyond by Thomas Gazagnaire @eriangazag https://tarides.com/blog/2023-12-14-ocaml-memory-safety-and-beyond/ @tarides_ #OCaml #Coq #MirageOS #Security #SpaceOS #Safety
OCaml: Memory Safety and Beyond

Your choice of programming language matters. A recent press release from the US National Security Agency (NSA), in tandem with the US…

Photos taken during the visit to Seattle in September 2023 for the International Conference on Functional Programming (ICFP 2023) are now available in my gallery https://gallery.shakthimaan.com/index?/category/148-seattle_september_2023. Browse at your leisure! #Travel #Photography #Seattle #icfp2023 #Multicore #OCaml #Satellite #SpaceOS @icfp_conference @tarides_
Travel / United States / Seattle - September 2023

Travel / United States / Seattle - September 2023

Finding very interesting this deta.space Space OS thingy, curious to see how it develops
#detaspace #spaceOS #detaspaceOs

https://deta.space/

Deta Space

The cloud for doers and dreamers

Deta Space

deta's new #spaceOS features a neat little trick for window management, and the seamless integration of AI-generated apps is well done. it seems a bit congested right now, but definitely worth checking out later.

as the apps seem to be exclusively generated based on user query we might see some unexpected apps become popular quickly.

i am worried about the reliance on cloud AI and impact on power consumption. still, popular apps could simply be cached.

see https://tech.slashdot.org/story/23/10/10/2146230/detas-space-os-aims-to-build-the-first-personal-cloud-computer

Deta's Space OS Aims To Build the First 'Personal Cloud Computer' - Slashdot

An anonymous reader quotes a report from The Verge: Here's how your computer should work, according to Mustafa Abdelhai, the co-founder and CEO of a startup called Deta. Instead of a big empty screen full of icons, your desktop should be an infinite canvas on which you can take notes or watch movies...

Space OS is trying to bring back the personal computer — this time in the cloud

https://www.theverge.com/2023/10/10/23911145/space-os-deta-personal-cloud-computer

#cloud #deltaspace #spaceos

Deta’s Space OS aims to build the first “personal cloud computer”

Space OS reimagines your desktop, your apps, and the way your cloud data works. The Berlin startup behind it, Deta, thinks it could be the future of PCs.

The Verge

Another article about #Deta and #SpaceOS. I feel like it explained more about the concept of “personal cloud computing”, but at the same time increased my cognitive dissonance about its value proposition. 🤔 #tech #computing #cloud

https://www.theverge.com/2023/10/10/23911145/space-os-deta-personal-cloud-computer

Deta’s Space OS aims to build the first “personal cloud computer”

Space OS reimagines your desktop, your apps, and the way your cloud data works. The Berlin startup behind it, Deta, thinks it could be the future of PCs.

The Verge
A Year of SpaceOS: Showing the World the Benefits of OCaml

I have had the pleasure of attending some great conferences over the past year, where I have presented some of the latest and most exciting…

At the 28th ACM SIGPLAN International Conference on Functional Programming (ICFP), Hotel Westin, Seattle, Washington, US! @icfp_conference #icfp2023 #MirageOS #Multicore #OCaml #Satellite #SpaceOS @tarides_
OCaml in Space - Welcome SpaceOS!

Our mission is to build sustainable and secure software infrastructure that will not only work for decades but also positively impact the…