|
Adrian Rueegsegger
@
Kensan42
|
|
Disciple of Tsundoku 📚, 🇨🇭🇯🇵, High Assurance Software, Muen Separation Kernel, Ada/SPARK
|
|
|
8.205
Tweetovi
|
288
Pratim
|
780
Osobe koje vas prate
|
| Tweetovi |
|
Adrian Rueegsegger
@Kensan42
|
16 h |
|
The quintessential origin story of load bearing workarounds.
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
16 h |
|
What gave it away? Ah yes, I am not a Mac user... 😬
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
16 h |
|
Some sacrifices one has to make for the greater good ¯\_(ツ)_/¯
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
16 h |
|
There are RISC-V CPUs given as examples, e.g. Flute (5-stage in-order pipeline) github.com/bluespec/Flute
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
16 h |
|
Been there... You have to look all business-y and do work so they won’t give you side-eye... pic.twitter.com/G2v6FERvt4
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
16 h |
|
That is great, thank you! Please, no apologies necessary.
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
16 h |
|
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.” twitter.com/rsnikhil/statu…
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
18 h |
|
I like Martin’s plans :) twitter.com/genodelabs/sta… pic.twitter.com/XYewZQ17Dg
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
18 h |
|
We are all here, exactly because we *want* to see how this ends up! pic.twitter.com/8cne895Tfp
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
18 h |
|
“Uber, but for Yeets.”
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
18 h |
|
I propose the name Yeethub for this platform: share your recipes for Douche/TechBro cratering.
|
||
|
|
||
| Adrian Rueegsegger proslijedio/la je tweet | ||
|
Doha Debates
@DohaDebates
|
23 h |
|
Roya Mahboob sat down with us at Doha Forum to talk about the importance of technology as a tool of empowerment and success. pic.twitter.com/rC4MgMSaAJ
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
19 h |
|
My thoughst exactly! Guess need to up the NixieTube game... 🤔
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
19 h |
|
Also, apparently a company stamp is required to appear like an official company and I am not even kidding... 🤦♂️
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
19 h |
|
+1 would tune in to that.
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
20 h |
|
Hah, I have witnessed such stories myself. “Chume nöööd druuus!” works if used consistently... and there’s other... eh turn of phrases :D
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
20 h |
|
Seconded! #OnFleekPaper
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
20 h |
|
Smart as in Smartcard ;)
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
20 h |
|
👍 Will you be on site?
|
||
|
|
||
|
Adrian Rueegsegger
@Kensan42
|
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.” twitter.com/AdaCoreCompany…
|
||
|
|
||