Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @GenodeLabs
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @GenodeLabs
-
Martin Stein describes how Spunky can be tested as a live system with minimal efforthttps://genodians.org/m-stein/2020-02-03-spunky-3 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Genode Labs proslijedio/la je Tweet
The Video recording of my FOSDEM talk is now online: https://fosdem.org/2020/Scheduler/event/uk_genode_armv8/ …https://twitter.com/mdecky/status/1223955237754613761 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Genode Labs proslijedio/la je Tweet
Stefan Kalkowski continues the Genode-specific part of the Microkernel devroom by summarizing the experience with ARM and ARMv8 platforms.
#genode#microkernel#arm#armv8#fosdempic.twitter.com/rOGcYHi3Sc
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Genode Labs proslijedio/la je Tweet
Norman of
@GenodeLabs ist currently giving an epic demo of Sculpt OS in the microkernel devroom at@fosdem.pic.twitter.com/UbMLDdpLN3
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
See you in the microkernel devroom
@fosdem todayhttps://genodians.org/nfeske/2020-02-01-sculpt-fosdem …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Genode Labs proslijedio/la je Tweet
this laptop (MNT Reform) and this phone (Purism Librem 5) have the same SoC (CPU/GPU/...), i.MX8M. and both run free and open source drivers and software.
#FOSDEM2020pic.twitter.com/o9kWq7gWof
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Genode Labs proslijedio/la je Tweet
In the Microkernel devroom at
#FOSDEM@AlexSenier talks about our ongoing effort to run Android apps on Genode OS and to confine them using verified#SPARK#Ada components.https://fosdem.org/2020/schedule/event/uk_android/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Genode Labs proslijedio/la je Tweet
How can you structure your trusted software components to facilitate
#FormalVerification?@JK70523 presents our Gneiss framework for portable high-performance#SPARK#Ada components at#FOSDEM on Sunday. https://fosdem.org/2020/schedule/event/uk_gneiss/ …#CyberSecurity#AdaprogrammingHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Norman Feske is going to demonstrate the Sculpt Operating Systemhttps://fosdem.org/2020/schedule/event/uk_sculpt/ …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
@Skalk12 will report about Genode's ARMv8 Playgroundhttps://fosdem.org/2020/schedule/event/uk_genode_armv8/ …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Martin Stein is going to present Spunky: a Genode Kernel in Ada/SPARKhttps://fosdem.org/2020/schedule/event/ada_spunky/ …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
With
#fosdem2020 in a few days, we'd like to announce three talks from@GenodeLabs. We are attending in a group of four and look forward to lots of inspiring technical discussions.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Genode Labs proslijedio/la je Tweet
No need to rewrite all code to benefit from
#FormalVerification. Our Tobias Reiher shows how he replaced all network-facing parser code of a TLS library by verified#SPARK code generated from a RecordFlux specification in the security devroom at#FOSDEM.https://fosdem.org/2020/schedule/event/security_securing_existing_software_using_formally_verified_libraries/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Genode Labs proslijedio/la je Tweet
Unfortunately,
@Puri_sm never respond to any requests from my side.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Genode Labs proslijedio/la je Tweet
Generating decent APIs for your
#SPARK and#Ada code from C++ sounds attractive. But is it realistic?@JK70523 gives a follow-up to last year's talk at#FOSDEM on Saturday. He discusses mistakes, misconceptions and lessons learned.https://fosdem.org/2020/schedule/event/ada_bindings/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Genode Labs proslijedio/la je Tweet
We have just released the first public version of RecordFlux. It can be used to formally specify binary messages, prove the consistency of specifications and generate verifiable
#SPARK#Ada parsers and generators. https://github.com/Componolit/RecordFlux …#cybersecurity#formalverificationHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Genode Roadmap 2020 http://genode.org/news/road-map-for-2020 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Screencasting with Sculpt OS on
#genodianshttps://genodians.org/alex-ab/2020-01-10-sculpt-screencast …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Learn about our Sculpt UI plans in Norman Feske's
#genodians articlehttps://genodians.org/nfeske/2020-01-06-pending-sculpt-ui …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
We are drafting the Genode project roadmap for 2020. Join the discussion on our mailing list! https://lists.genode.org/pipermail/users/2019-December/006987.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.