Adrian Rueegsegger

@Kensan42

Disciple of Tsundoku 📚, 🇨🇭🇯🇵, High Assurance Software, Muen Separation Kernel, Ada/SPARK

codelabs.ch
Vrijeme pridruživanja: svibanj 2010.
884 fotografije ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @Kensan42

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @Kensan42

  1. Prikvačeni tweet
    2. sij

    4 korisnika označavaju da im se sviđa
    Poništi
  2. prije 16 sati

    There are RISC-V CPUs given as examples, e.g. Flute (5-stage in-order pipeline)

    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  3. prije 16 sati

    Bluespec compiler has been published: “This is a compiler, simulator, and associated tools for Bluespec High Level Hardware Design Language (HL-HDL), supporting the two optional syntaxes, BSV and BH.”

    It's ready! Enjoy! Apologies for the few-day delay, and thanks for your patience!
    1 reply 1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  4. prije 18 sati

    I like Martin’s plans :)

    1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    prije 23 sata

    Roya Mahboob sat down with us at Doha Forum to talk about the importance of technology as a tool of empowerment and success.

    Roya Mahboob: Tech as a Toll for Success
    8 proslijeđenih tweetova 35 korisnika označava da im se sviđa
    Poništi
  6. 5. velj

    “The GNAT-LLVM project provides an opportunity to port Ada to new platforms, one of which is WebAssembly. We conducted an experiment to evaluate the porting of Ada and the development of bindings to use Web API provided by the browser directly from Ada applications.”

    Using GNAT-LLVM to target to -
    2 proslijeđena tweeta 6 korisnika označava da im se sviđa
    Poništi
  7. 4. velj

    Does anybody have a link to the release? The announcement said it was going to be released on January 31.

    TIL that Bluespec is going to open source BSV: . This is exciting news that I hope will accelerate formal hardware verification.
    1 reply 1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    4. velj

    Read this "Die hat sich bei -Stiftungslehrstuhl chinesischem Recht unterworfen [..] "Verursachen von Problemen" strafbar, Regimekritiker werden so ins Gefängnis gesperrt. Bislang geheimen Vertrag erhielt ich über -Anfrage"

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  9. 4. velj

    “The people trying to yeet TwatBros into oblivion are trying to yeet TwatBros into oblivion because education failed.”

    Odgovor korisnicima @pvineetha @marypcbuk i sljedećem broju korisnika: 5
    Chances are, the people trying to yeet TwatBros into oblivion are trying to yeet TwatBros into oblivion because education failed. We do not need allies coming in and: 1) Validating TwatBro ignorance as a valid excuse to twat. 2) Repeating the same work. https://t.co/SQhx8LCcAJ
    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. 4. velj

    Recoding is up. You should go watch in particular for the fun/immediate delivery-style of Norman!

    Finally, the recording of Norman Feske's Sculpt OS demo at went online
    5 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    4. velj
    Odgovor korisnicima

    Stealing secrets is only part of the industrial espionage pipeline. You have to know what to steal, from where, and then get it to the right places that can take advantage of it. That’s not a straightforward operation. There needs to be a feedback loop as well. It’s impressive

    1 reply 3 proslijeđena tweeta 6 korisnika označava da im se sviđa
    Poništi
  12. 3. velj

    Looks like Ada DOIM III will soon see a major update! \@/

    Github push coming soon??? ; )
    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    2. velj

    I heartily recommend: NYT has a published a mesmerising long read on that latter issue by

    6 proslijeđenih tweetova 28 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  14. 2. velj

    „99 second hand smartphones are transported in a handcart to generate virtual traffic jam in Google Maps.Through this activity, it is possible to turn a green street red which has an impact in the physical world by navigating cars on another route to avoid being stuck in traffic"

    Performance artist generates virtual traffic jams in Google Maps by pulling a wagon full of smartphones
    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    2. velj

    The full set of my 2019 graduate-level computer architecture course lectures at ETH Zurich is online, along with all lecture videos, slides, and course materials: Course schedule: Youtube playlist: First…

    75 proslijeđenih tweetova 259 korisnika označava da im se sviđa
    Poništi
  16. 2. velj

    Giving a demo which contains rebooting the demo system and carrying on is fearless! Talk about reeling in the audience through suspense :D It’s astonishing how far has pushed Genode. It is hard to appreciate how much hard work was put into making it look so seamless!

    Norman of ist currently giving an epic demo of Sculpt OS in the microkernel devroom at .
    1 reply 1 proslijeđeni tweet 16 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    2. velj

    The entire nation has been struggling with in recent weeks, and there are new things emerging never happened in the past: 1. open source collaboration platform for information gathering and relieve effort:

    1 reply 11 proslijeđenih tweetova 24 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  18. 1. velj

    Remember the theme music from Monkey Island? Did you ever hear it played by 8 floppy drives? Yes, exactly like that.

    1 korisnik označava da mu se sviđa
    Poništi
  19. 1. velj

    Wow, the site has floppy images of Epyx Winter games and many others!

    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  20. 1. velj

    /cc , you might also get a kick out of this.

    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  21. 1. velj

    TIL “Welcome to The Oldskool PC, a website dedicated to old PC gaming-related nostalgia and resources. If it's too old, you're too young.”

    1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi

@Kensan42 još nije objavio nijedan Tweet.

Č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.

    Možda bi vam se svidjelo i ovo:

    ·