N/A (@DesChips) profile picture
Joined January 2012
Photo by N/A (@DesChips)Photo by N/A (@DesChips)Photo by N/A (@DesChips)Photo by N/A (@DesChips)Photo by N/A (@DesChips)Photo by N/A (@DesChips)Photo by N/A (@DesChips)Photo by N/A (@DesChips)Photo by N/A (@DesChips)Photo by N/A (@DesChips)
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/…
1
6
268
Let me tell you about my Gear Fabrication Syndrome: weenoisemaker.com/blog/2023/… @LOOKMUMNOCMPUTR I'm pretty sure you can relate.
1
107
Wee Noise Maker- PS1 simulator (teaser #6) youtu.be/m3ukM1HIzwc #synthesizer #reverb
1
3
188
Wee Noise Maker - PS1 simulator (teaser #4) youtu.be/-PioG_VWQqA #Synthesizer #GrooveBox #Open
1
1
140
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
1
6
1
54
The interactive graphs in this post are based on the excellent: blog.thea.codes/the-design-o… by @theavalkyrie
1
5
Join us to talk about Ada and SPARK at @OSXP_Paris !
1
1
5
NVIDIA Security Team: “What if we just stopped using C?” blog.adacore.com/nvidia-secu…
2
3
5
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 😁👍
1
1
4
I'm also looking for accounts to follow.
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
This is a good opportunity for me to thank everyone who contributed to this effort, and/or who believed in our vision for the future of the Ada/SPARK community. There is still a lot to do obviously.
1
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/…
1
3
1
7
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
Hi @rustwasm, can you help me find the right point of contact?