Chatcontrol, searching messages for illegal content
On July 6 the EU parliament voted yes to a proposal from the EU\
commission (PDF) on a temporary law to allow services to automatically
search messages for suspicious content with a focus on child
exploitation.
We have quite strict confidentiality laws within EU even when it comes
to electronic communication. Its current basis is the … ⌘ Read more
Wanna learn LaTeX?
Wanna learn LaTeX? What is LaTeX?Basically, it’s how big boys write and format documents.
Every public brief, scientific article, book, cryptocurrency whitepaper or even outline written by people who know what they’re doing is written in LaTeX.
If you want to see examples of documents made with LaTeX, you can see my Master’s thesis here or another paper here that shows some diagrams and other features you can have in LaTe … ⌘ Read more
interesting challenged to remaining decentralized: Challenges in the Decentralised Web: The Mastodon Case http://www.eecs.qmul.ac.uk/~tysong/files/Mastodon.pdf
James Tenney’s Meta Hodos and Meta Meta Hodos are an attempt to derive music theory from first principles: [[https://monoskop.org/images/1/13/Tenney_James_Meta-Hodos_and_Meta_Meta-Hodos.pdf]] #links #composition #musictheory
How to cut PDF pages into tiles ⌘ https://blog.oxplot.com/cut-pdf-to-tiles/
Generate a PDF in Go ⌘ Read more…
Parapsychology in the PRC 1979-1989 https://www.cia.gov/library/readingroom/docs/CIA-RDP96-00789R002600290003-0.pdf
Recommended: McKeever’s book about the 90s https://mipmckeever.weebly.com/uploads/9/4/1/3/94130725/90sbookfinal.pdf
GitHub - pirate/ArchiveBox: $ The open source self-hosted web archive. Takes browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more… https://github.com/pirate/ArchiveBox
This is math-heavy but the idea that ‘keys are meta-taxonomic dimensions’ reminds me of ZigZag & other elements make me think of parallel prolog-likes like mycroft – should re-read carefully later: http://www.vpri.org/pdf/m2009002_qod.pdf
Apparently, when I pitched the idea of replacing backtracking with forking (with lazy side effecting of course) a ~year ago, I was reinventing STEPS work from 2008: http://www.vpri.org/pdf/rn2008003_john.pdf
Some good info about Croquet: http://www.vpri.org/pdf/tr2003001_croq_collab.pdf http://www.vpri.org/pdf/tr2004002_croq_men.pdf
In case anybody wants to implement their own homebrew NeoGeo games: http://www.hardmvs.fr/manuals/NeoGeoProgrammersGuide.pdf
Interesting idea: create a search-by-meaning for functions using the memoization database http://www.vpri.org/pdf/rn2017002_memoization.pdf
I kind of want to use SILE (http://sile-typesetter.org/) for something, but I need a PDF generator like I need a hole in my head.
@metamurks@www.metamurks.org: CEC is solving one problem and introduces hundreds. Way to complex and overengineered https://github.com/floe/CEC/blob/master/extras/CEC_Specs.pdf
Designing Freedom, Regulating a Nation: Socialist Cybernetics in Allende’s Chile https://www.informatics.indiana.edu/edenm/EdenMedinaJLASAugust2006.pdf
Index of /pdf/eth/lilith http://bitsavers.org/pdf/eth/lilith/
paradise_explained/book1_complete.pdf at master · jrladd/paradise_explained · GitHub https://github.com/jrladd/paradise_explained/blob/master/book1_complete.pdf
Alan Kay Thesis: The Reactive Engine http://www.chilton-computing.org.uk/inf/pdfs/kay.htm
403 Forbidden http://www.dtic.mil/dtic/tr/fulltext/u2/a156769.pdf
Index of /pdf/xerox/alto http://bitsavers.org/pdf/xerox/alto/
Apparently, the Bell Labs ‘squeak’ UI language is unrelated to the Smalltalk dialect of the same name, despite both being message-passing systems with strong GUI support http://doc.cat-v.org/bell_labs/squeak/squeak.pdf
Preliminary Poetics of Procedural Generation in Games by @ikarth http://www.digra.org/wp-content/uploads/digital-library/DIGRA_2018_paper_166.pdf
Little Languages http://staff.um.edu.mt/afra1/seminar/little-languages.pdf
A Compendium of Tides by Warren Ellis: http://spiritsofplace.com/files/Compendium-of-Tides.pdf
The biology of disinformation: http://www.iftf.org/fileadmin/user_upload/images/DigIntel/SR-2002_IFTF_Biology_of_disinformation_tk_042618.pdf
The Case Against UI Consistency https://www.microsoft.com/en-us/research/wp-content/uploads/2017/01/the-case-against-user-interface-consistency.pdf
The parallelization of logic languages: https://cliplab.org/papers/partut-toplas.pdf
In case you wanted to know how to implement classes & objects in Postscript: http://donhopkins.com/home/monterey86.pdf
AWS Lambda PDF Generator ⌘ Read more…
Alan Kay Thesis: The Reactive Engine http://www.chilton-computing.org.uk/inf/pdfs/kay.htm
A description of how Aquarius Prolog gets performance comparable to imperative languages: https://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/CSD-90-600.pdf
Converting a PDF to JPG (using ImageMagick) ⌘ Read more…
misc/holzercomic.pdf at master · enkiv2/misc · GitHub https://github.com/enkiv2/misc/blob/master/nanogenmo-2017/holzercomic.pdf
Aho, Kernighan, and Weinberger https://archive.org/download/pdfy-MgN0H1joIoDVoIC7/The_AWK_Programming_Language.pdf
Aho, Kernighan, and Weinberger https://archive.org/download/pdfy-MgN0H1joIoDVoIC7/The_AWK_Programming_Language.pdf
Hydra talk at Inria
Ludovic Courtès gave a talk on Hydra at Inria (which has
its own Hydra instance for building Inria software) entitled “Hydra:\
continuous integration for demanding people”. ⌘ Read more
ISSRE paper on NixOS-based system testing
The paper “Automating System\
Tests Using Declarative Virtual Machines” (by Sander van der
Burg and Eelco Dolstra) has been accepted for presentation at
the 21st IEEE International\
Symposium on Software Reliability Engineering (ISSRE 2010).
It describes how system tests with complex requirements on the
en … ⌘ Read more
NixOS talk at LSM
Ludovic Courtès gave a talk about Nix and NixOS at the Libre Software\
Meeting
in Bordeaux, entitled “NixOS:\
The Only Functional GNU/Linux Distribution” ( slides). ⌘ Read more
DisNix paper accepted at HotSWUp
The paper “Atomic Upgrading of Distributed Systems” (by Sander
van der Burg, Eelco Dolstra and Merijn de Jonge) has been
accepted for presentation at the First ACM Workshop on Hot\
Topics in Software Upgrades (HotSWUp). A draft\
of the paper is available. It describes Sander’s master’s
thesis research on DisNix, an extension … ⌘ Read more
LDTA 2008 paper
Eelco Dolstra presented the paper “Maximal\
Laziness — An Efficient Interpretation Technique for Purely\
Functional DSLs” at 8th\
Workshop on Language\
Description, Tools and Applications (LDTA 2008). It’s about
caching of evaluation results in the Nix expression evaluator as
a technique to make a simple term-rewriting evaluator efficient.
Slides are [here](h … ⌘ Read more
HotOS paper on NixOS
Eelco Dolstra presented the paper Purely\
Functional System\
Configuration Management at the 11th Workshop on\
Hot Topics in Operating Systems (HotOS XI). It gives an
overview of the ideas behind NixOS. The
slides
are also available. ⌘ Read more
PhD thesis defended
Eelco Dolstra
defended his PhD\
thesis on the purely functional deployment model. ⌘ Read more