Show more
kaiyou boosted

Yesterday I stumbled upon this project which dates back to 2008 (!).

klee.github.io/

KLEE (KLEE #LLVM Execution Engine): Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs doc.ic.ac.uk/~cristic/papers/k

They pointed it at #GNU coreutils and #Busybox and found: "We also used KLEE as a bug finding tool, applying it to 452 applications (over 430K total lines of code), whereit found 56 serious bugs, including three in COREUTILS that had been missed for over 15 years. Finally, we used KLEE to crosscheck purportedly identical BUSYBOX and COREUTILS utilities, finding functional correctness errors and a myriad of inconsistencies."

I am all for automated testing and this looks like a strong companion to fuzzing tools. Seems that no special changes are needed on the target software except the ability to be built for LLVM.

kaiyou boosted
kaiyou boosted

RT @Ikoula

Aujourd'hui le stagiaire a visité nos bureaux et a trouvé une disquette de nos débuts… Il nous a dit "Wow, vous avez imprimé en 3D l'icône Sauvegarder, cool" ! #Jesuisvieux

🐦🔗: twitter.com/Ikoula/status/1106

kaiyou boosted
kaiyou boosted
kaiyou boosted

RT @matrixdotorg@twitter.com: We finally released the implementations for our container-based network simulator (meshsim) and CoAP+CBOR+Noise ultra-low-bandwidth Matrix transport experiment from #FOSDEM - see matrix.org/blog/2019/03/12/bre for all the details!

🐦🔗: twitter.com/matrixdotorg/statu

kaiyou boosted

#Facebook shared a vision about a #privacy. We applaud the idea & goals, with some skepticism.

Meanwhile, it will still be a single platform owned and controlled by a single player - #decentralization is a better way to keep data under control of users.

facebook.com/notes/mark-zucker

kaiyou boosted

J'avais envie de jarter quelqu'un de mes réseaux, et je me suis dis tant qu'à le faire avec panache, autant que ça vous serve aussi. À réemployer sans modération.👌

kaiyou boosted
kaiyou boosted
kaiyou boosted

Heres a little tidbit I learned today:

If you accidentally run
`systemctl reboot apache2`
instead of
`systemctl reload apache2`

#SystemD will joyfully reboot the machine, with no error message whatsoever.

kaiyou boosted
kaiyou boosted
kaiyou boosted

Bref, tout ça pour dire que je vais en sortir un épisode par semaine pendant une dizaine de semaines (il m'en restait deux à écrire, je pense que c'est faisable en 8-9 semaines) et si j'ai le temps et que ça vous plait je continuerait peut-être.

twitter.com/Bouletcorp/status/

kaiyou boosted

Hey Friendica users!

The android app Fedilab now supports Friendica accounts:

fedilab.app

It's available from @fdroidorg and Google Play.

You can follow Fedilab on here at @tom79

Fedilab also supports Mastodon, Pleroma and PeerTube accounts. You can manage many accounts at once from the same app.

#Friendica #Fedilab #Fediverse

kaiyou boosted
kaiyou boosted

RT @SylvainLebas

Fabuleux ! 20 ans de vie économique de la planète en 1min et 9s. Regardez bien l’arrivée des géants de la tech.

🐦🔗: twitter.com/SylvainLebas/statu

kaiyou boosted

Ça, c'est un site Web brutaliste, frugal, décroissant et écologique info.cern.ch/

kaiyou boosted

@sophia Prosody is probably your best bet since lua scripting is a thing (erlang hacking requires some extraterrestrial experience). It already has a custom http auth module and writing a different one should not require more than one or two linea of code: modules.prosody.im/type_auth.h

Also I must intervene and suggest you take a look at Matrix, which is a very nice alternative to XMPP.

Show more
Mastodon

On « Tweet » sur Twitter ; on « Toot » sur Mastodon. Sur ce réseau social plein de libertés, TeDomum met à disposition une modeste instance. N'hésitez pas à nous solliciter pour la modération ou des ajustements de configuration.