Raphael Amiard

Software developer & musician

[Raphael Amiard @notfonk]

@PoliceNat64 [#PassVaccinal]
Elle usurpe le pass écologique d'une autre pour allumer sa voiture au diesel pour aller au travail. ‼
Vendredi soir, nos 👮‍♂️ ont verbalisé la délinquante ‼

▶ 10 ans de camp de redressement écoconformance 😍

[Raphael Amiard @notfonk]

https://t.co/28UdL6Z1z3

ACID JAM!

Using @DesChips fantastic Pico-Keys <3

[Raphael Amiard @notfonk]

@carlmoon awesome!

[Raphael Amiard @notfonk]

@carlmoon BBC NEWS!!!

https://t.co/ivkBIxXV5b

[Raphael Amiard @notfonk]

@carlmoon Awesome!

[Raphael Amiard @notfonk]

@carlmoon BBC NEWS!!!

https://t.co/zsM2ua4BJ0

[Raphael Amiard @notfonk]

@Madisonkanna Once you know how to build stuff, if you have an idea that you believe should exist in the world, you can pick your tools and build it.

I'm continually struck by how cool this is.

Coding is nothing special ;)

[Raphael Amiard @notfonk]

@prefpolice Vous en avez pas marre de mentir

[Chris Lu @ChrisLu44]

Obama didn’t brag half as much about winning a Nobel Peace Prize as Trump is about passing a dementia test.

[Raphael Amiard @notfonk]

@hugoamnov I think this is better handled at the level of ABI. Or in other words, this is needed because C++ has a shitty ABI. If your language has a good one, pimpl is useless. Check https://t.co/VELgRDyjwZ for a great write up on this

[Raphael Amiard @notfonk]

@pkell7 @adaprogrammers We might have considered collaborating but you don't look very friendly toward us😶

[Raphael Amiard @notfonk]

@pkell7 @adaprogrammers More seriously nothing was copied. Your plug-in is a (pretty good looking) syntax highlighter.

Ours is a complete solution based on a custom developed language server and Ada intelligence engine that involved several man-years of work. And our highlighter is not that good.

[N/A @DesChips]

@msftsecresponse @rustlang The blog post says "a new blog series we will highlight Microsoft’s exploration of safer system programming languages", what other programming languages are you going to explore?

[Raphael Amiard @notfonk]

@DesChips @msftsecresponse @rustlang @msftsecresponse Yes that's an interesting question. For the moment you mention Rust in every blog post, but not much else !

[N/A @DesChips]

I'm very proud to be in final of #HackadayPrize 2018 with my Noise Nugget project! Thanks @notfonk for synth library :) @adaprogrammers @hackaday https://t.co/WksmZzF5ch

[Raphael Amiard @notfonk]

@johnregehr https://t.co/v6GdpCSoHm is an amazing piece! At @AdaCoreCompany we're interested in proof & formal semantics for safety&security reasons. Never envisioned the automatic optimization part of it :) Thanks for the enlightenment!

[Hugo Am @hugoamnov]

A week later, toy now officially supports the #Wren language !
Make games in the browser with a neat little class based language :) (thanks @munificentbob)
Web demo: https://t.co/YFKyZ2DR1q
Github link: https://t.co/9vdR4QE9d3
#programming #gamedev #indiedev

[Raphael Amiard @notfonk]

@_tomekw @AdaCoreCompany @adaprogrammers @Microsoft @pkell7 @code Libadalang is a bit lower level than that. It could (and will) be used as a base to make an implementation of LSP for Ada though!