"The Conversation" film as part of the #HaveTheConversation campaign sponsored by Artists United for Social Justice.
Now you can easily add a consistent signature to all of your blog posts on Write.as (and soon, WriteFreely). [Get the Write.as add-on here](https://write.as/extend/signature).
Some recent updates to [Write.as](https://write.as) and [Submit.as](https://submit.as): * Team management * Schedule submission prompt publishing * Archive prompts * Per-blog submission notification settings * Filter submissions by current state
**Little Richard** – _Lucille_ _Lucille_ is a 1957 rock and roll song originally recorded by American musician [Little Richard](https://en.wikipedia.org/wiki/Little_Richard). Released on Specialty Records in February 1957. It was composed by A...
A short demonstration of the Australian COVIDSafe app and how its Bluetooth connectivity is affected by putting the app in the background.
-> [Version française](https://videos.ahp-numerique.fr/videos/watch/85491958-378e-4f7e-a8b8-bcb63d4f6b34) La Philo en petits morceaux est une série de films d’animation sur des questions de philosophie des sciences à destination d'un public trè...
Conférence plénière du 26 juillet - CLMPS 2011 / Plenary lecture, Tue. 26 July - CLMPS 2011 *Dag Prawitz, Stockholm University (Sweden)* Notions of formal proofs are usually proposed as attempts to capture truth or provability within a cert...
Conférence plénière du 21 juillet - CLMPS 2011 / Plenary lecture, Thu. 21 July - CLMPS 2011 *Huw Price, Centre for Time, University of Sydney (Australia)* Some writers argue that retrocausality offers an attractive loophole in Bell’s Theorem...
Conférence plénière du 19 juillet - CLMPS 2011 / Plenary lecture, Tue. 19 July - CLMPS 2011 *Wilfrid Hodges, Okehampton (UK)* The first International Congress of Logic, Methodology and Philosophy of Science took place in 1960. So this prese...
Conférence plénière du 25 juillet - CLMPS 2011 / Plenary lecture, Mon. 25 July - CLMPS 2011 *Jeremy Gray, The Open University (UK)* I argue that for Poincaré the uninteresting part of proof is rigour, and that the interesting part is the ro...
Conférence plénière du 23 juillet - CLMPS 2011 / Plenary lecture, Sat.. 23 July - CLMPS 2011 *Marco de Baar, FOM-Institute for Plasma Physics Rijnhuizen, Nieuwegein (The Netherlands).* In this paper a comparison is made between engineering a...
Conférence plénière affiliée (EPSA) du 22 juillet - CLMPS 2011 / Affiliated plenary lecture (EPSA), Fri. 22 July - CLMPS 2011. *Philippe Mongin, CNRS, École des hautes études commerciales (France).* Bayesianism is a pervasive doctrine in cu...
Providing desktop applications to multiple Linux-based target systems (distributions) can be cumbersome. Whereas upstream application authors have always had the possibility to offer downloads for Windows and macOS, distributing packages for Linux...
A fun quirk of TCP/IP is that you can create a connection without a listening socket. In this video we briefly review how that works, then write a Rust program to trigger the unusual behaviour on real Linux hosts. Code: [https://github.com/thom...
ontodot is a SWI Prolog library. It creates a dot formatted graph from a Turtle (or RDF) file. This video shows how to load and use it to create the dot and a PNG file from a simple .ttl file. Repositories: - Bitbucket: https://bitbucket.o...
ontodot-el usage example for Emacs. Repositories: - Bitbucket : https://bitbucket.org/cnngimenez/ontodot-el/ - Gitlab: https://gitlab.com/cnngimenez/ontodot-el ---- Listening at that moment: Law' - Terre de coluleurs (Lic. CC-By-SA) [...
A gentle exploration of building a identd for Linux using async/await and tokio 0.2. This part demonstrates halting an await after a configurable time limit, both using tokio's timeout() helper and with the select! macro from the futures crate.