Once again we are looking for an intern eager to explore the future of #WebAssembly in Ada/SPARK! You will be working with myself and Yannick Moy to develop and prove a WASM run-time in SPARK! More details here: app.hellotalent.com/vacancy/…
Let me tell you about my Gear Fabrication Syndrome: weenoisemaker.com/blog/2023/…
@LOOKMUMNOCMPUTR I'm pretty sure you can relate.
1
107
Want to know how digital audio synthesis works? In this blog post I explore the code of Braids from Mutable Instruments.
weenoisemaker.com/blog/2022/…
#Synthesizer #DigitalSynthesis #Eurorack #Braids #WeeNoiseMaker
The interactive graphs in this post are based on the excellent: blog.thea.codes/the-design-o… by @theavalkyrie
1
5
NVIDIA Security Team: “What if we just stopped using C?”
blog.adacore.com/nvidia-secu…
Today I released the first version of an Ada audio synthesis library called Tresses. At this point it's mostly a translation of Mutable Instruments' Braids from C++ to Ada. Install Alire and give it a try: github.com/wee-noise-maker/t…
1
So, I will probably use my #Mastodon account a bit more. mamot.fr/@DesChips Don't hesitate to follow and will follow back 😁👍
I am honored to receive an @TheOfficialACM #SIGAda award for my contribution to the Ada
community.
It's been a blast working towards the broader adoption of Ada/SPARK, improving the ecosystem, and seeing the community evolve along the years.
🧵...
2
10
AdaCore is looking for an intern eager to explore the future of #WebAssembly in Ada/SPARK! I opened this position (and will be supervising it) because I believe wasm will bring so many exciting possibilities for Ada/SPARK. Formally verified Web
anyone? app.hellotalent.com/Vacancy/…
Discover Amphibios presented by Sylvain Wodey on KissKissBankBank kisskissbankbank.com/en/proj… via @Kissbankers
PicoProbe PCB kits are back in stock at @pimoroni ! 🏴☠️ Turn your @Raspberry_Pi Pico into a debug probe.
shop.pimoroni.com/products/p…
3
Hey WasAssembly Twitter, I am looking for up-to-date info on GCC wasm backend. Is there something in the pipe ? Are there people working on it? Are there people interested to make it happen ?
CC @WebAssemblyEU @WasmWeekly @mozilla @ChromiumDev
1
1




