Linki Tools

[Linki Tools @linkitools]

I am consolidating my twitter accounts. For business tweets and more, follow my personal account @pocmatos.

[Racket (& Rhombus) @racketlang]

Registration is open for Racket School 2019 (8–12 July) and ninth #RacketCon (13–14 July)!

https://t.co/hdXsLyJQpV

[Racket (& Rhombus) @racketlang]

Racket 7.2 has been released! Notable changes include:

Collapsible contracts, which can avoid redundant contract wrapping.

Quickscript has been added to the main distribution.

hhttps://blog.racket-lang.org/2019/01/racket-v7-2.html

[Stephen De Gabrielle 🪲 @spdegabrielle]

@ID_AA_Carmack @racketlang For followers of @ID_AA_Carmack interested in creating GUI apps in Racket the GUI guide is at https://t.co/IdO9okmc8J - if you have question there is a mailing list #racket IRC and Slack channel check https://t.co/RedQ4Zy9j4 for details and other documentation.

[Linki Tools @linkitools]

Excited to be sponsoring Racketfest 2019. An event like this in Europe has been long due. Unfortunately, there are no more places left but be sure to register for the waiting list if you are interested. Hint: You should be! https://t.co/TbS4IGrvKg @racketlang

[Paulo Matos @pocmatos]

I will be giving a tutorial on Contracts in @racketlang on March 23, 2019 in RacketFest 2019 in Berlin. https://t.co/1KaFZnkzwB

Join us! Spaces are limited - yes, really!

[Linki Tools @linkitools]

@wallingf @racketlang Forget bash, try rash.

[Paulo Matos @pocmatos]

Interested in hearing me talk about Racket? Join us in the first European After Work Racket in Frankfurt where I will talk about Full Time High Performance Racket. #AfterWorkRacket @racketlang https://t.co/q9aMLibher

[Paulo Matos @pocmatos]

I will be at the first @racketlang meeting in Europe organized by @alamajesse . Join us in Frankfurt on the 8th of November: https://t.co/upfTfawus9
#racket #afterworkracket

[Paulo Matos @pocmatos]

Impressive work was done over so many years, @racketlang more than deserves this one.

[Linki Tools @linkitools]

An absolutely beautiful board, ready for all the work ahead. Thanks @SiFiveInc #riscv #HifiveUnleashed

[Linki Tools @linkitools]

Right now at Linki Tools while unboxing our brand new Unleashed...

[Linki Tools @linkitools]

Did you wonder what was inside the box? It's a brand new @SiFiveInc Hifive Unleashed. Woohoo! #HifiveUnleashed #riscv

[Linki Tools @linkitools]

I feel like there's something exciting inside this box. #WhatsInsideTheBox

[Krste Asanovic @kasanovic]

Grab the popcorn! RISC-V Barcelona Workshop videos are now up on the. @risc_v YouTube channel! https://t.co/I7DFQxPaCJ

[Linki Tools @linkitools]

We have published an overview of S10, our Superoptimization Framework. If you feel your code could be better, let us help you answer that question. Read it here: https://t.co/ZlgnaQ1Gan #s10 #superoptimization #linkitools

[Linki Tools @linkitools]

A special mention goes to the @risc_v and @racketlang communities. Also to the devs of Greenthumb and Rosette, Mangpo and Emina. S10 owes a great deal to them: https://t.co/M0raRRUHnE

[Linki Tools @linkitools]

Our poster presentation of S10 was extremely well received and has seen tremendous interest from people with very different use cases. Thank you all for coming and chatting to us in Barcelona. #riscvworkshop

[Linki Tools @linkitools]

Back from the @risc_v Workshop, in Barcelona. We finally unvealed our S10 Superoptimization Framework. Check https://t.co/M0raRRUHnE and register our newsletter for regular updates. #riscvworkshop

[Linki Tools @linkitools]

In Barcelona with the RISC-V Workshop about to start with half day of tutorials. #RISCVWorkshop #Barcelona #RISCV