https://pinboard.in/u:Vaguery/public/ recent bookmarks from Vaguery 2026-06-10T17:21:31+00:00 https://arxiv.org/abs/2405.21047 Vaguery computer-science neural-networks natural-language-processing LLMs grammar constraint-satisfaction hey-I-know-this-guy GPTP2026 consider:genetic-programming https://pinboard.in/ https://pinboard.in/u:Vaguery/b:bff828266dd3/ 2026-02-25T22:06:02+00:00 https://dl.acm.org/doi/full/10.1145/3674634 Vaguery computer-science symbolic-analysis formal-languages functional-programming to-understand computational-complexity efficiency consider:Push https://pinboard.in/ https://pinboard.in/u:Vaguery/b:e124ca6a05b6/ 2026-01-01T01:00:43+00:00 https://arxiv.org/abs/2309.07932 Vaguery origami computer-science turing-completeness proof cellular-automata indistinguishable-from-magic to-write-about https://pinboard.in/ https://pinboard.in/u:Vaguery/b:1349898c7d78/ 2025-04-16T18:56:40+00:00 https://arxiv.org/abs/2210.13873 Vaguery program-synthesis type-theory computer-science the-other-kind-of-learning-from-data to-understand mathematical-programming consider:representation https://pinboard.in/ https://pinboard.in/u:Vaguery/b:c061e6eb7ae8/ 2024-11-01T19:14:15+00:00 https://arxiv.org/abs/2212.04320 Vaguery algorithms computer-science architecture to-understand unconventional-computing acceleration computational-complexity consider:genetic-programming https://pinboard.in/ https://pinboard.in/u:Vaguery/b:c7c2b27eeb14/ 2024-06-24T12:06:14+00:00 https://norvig.com/lispy.html Vaguerylearning-by-doing parsing computer-science basics https://pinboard.in/u:Vaguery/b:9568e60dc05f/ 2024-06-18T10:44:06+00:00 https://manim-data-structures.readthedocs.io/en/latest/guides/arrays.html VagueryManim animation documentation explanation to-use plugin computer-science https://pinboard.in/ https://pinboard.in/u:Vaguery/b:62954927dbf8/ 2021-10-26T13:54:59+00:00 https://alarmingdevelopment.org/?p=1570 Vaguery computer-science version-control rather-interesting data-structures user-experience archives to-understand consider:visualization consider:DAG-of-a-book https://pinboard.in/ https://pinboard.in/u:Vaguery/b:2595566926a8/ 2021-07-11T20:39:53+00:00 https://arxiv.org/abs/1901.01930 Vaguery distributed-processing to-understand computer-science formalization programming-language computational-complexity https://pinboard.in/ https://pinboard.in/u:Vaguery/b:f3379ddde585/ 2021-06-27T12:21:17+00:00 https://arxiv.org/abs/2010.12338 Vaguery computer-science programming-language representation asynchronous-dynamics to-understand consider:ReQ consider:interpreter-design https://pinboard.in/ https://pinboard.in/u:Vaguery/b:3f76028e7837/ 2021-06-27T10:20:34+00:00 https://arxiv.org/abs/1904.11121 Vaguery machine-learning databases representation rather-interesting SQL computer-science the-tools-at-hand to-write-about to-simulate consider:partial-sim consider:embedding https://pinboard.in/ https://pinboard.in/u:Vaguery/b:b008d7aaadce/ 2021-05-23T11:42:46+00:00 http://vldb.org/pvldb/ Vaguery journal databases rather-interesting computer-science short-papers https://pinboard.in/ https://pinboard.in/u:Vaguery/b:89aa4189b1ce/ 2021-05-22T12:48:08+00:00 https://rise.cs.berkeley.edu/ Vaguery machine-learning computer-science interpretability usability rather-interesting https://pinboard.in/ https://pinboard.in/u:Vaguery/b:ed40653240ec/ 2021-04-28T12:17:39+00:00 https://arxiv.org/abs/1812.02243 Vaguery computer-science history-of-science rather-interesting explanation https://pinboard.in/ https://pinboard.in/u:Vaguery/b:5c1948e4d449/ 2021-04-28T10:57:24+00:00 https://www.youtube.com/user/Computerphile/videos Vaguery computer-science video to-watch rather-good https://pinboard.in/ https://pinboard.in/u:Vaguery/b:dabfbf84c220/ 2020-12-07T21:41:46+00:00 https://arxiv.org/abs/1608.03960 Vaguery computer-science concurrency data-structures rather-interesting to-understand to-implement consider:ReQ-concurrency consider:worst-cases https://pinboard.in/ https://pinboard.in/u:Vaguery/b:c1b77ce94a20/ 2020-11-25T20:47:10+00:00 https://arxiv.org/abs/2011.04483 Vaguery via:cshalizi machine-learning computer-science information-theory to-understand in-theory-and-in-practice https://pinboard.in/ https://pinboard.in/u:Vaguery/b:9fae184e05bc/ 2020-11-08T23:13:35+00:00 https://rowman.com/ISBN/9781538147061/Contingent-Computation-Abstraction-Experience-and-Indeterminacy-in-Computational-Aesthetics Vaguery books computer-science philosophy representation to-read nonstandard-computational-frameworks https://pinboard.in/ https://pinboard.in/u:Vaguery/b:73dc8198f1bd/ 2020-11-01T12:09:49+00:00 https://dl.acm.org/doi/abs/10.1145/3385412.3386037 Vaguery computer-science representation number-theory rather-interesting API to-understand to-write-about mathematics philosophy-of-engineering https://pinboard.in/ https://pinboard.in/u:Vaguery/b:e018a87cf481/ 2019-12-29T10:45:04+00:00 https://arxiv.org/abs/1905.03694 Vaguery representation hashing computer-science rather-odd machine-learning to-understand indirection https://pinboard.in/ https://pinboard.in/u:Vaguery/b:aec3f4c4b442/ 2019-09-07T11:38:52+00:00 https://arxiv.org/abs/1611.05513 Vaguery number-theory computer-science define-your-terms constraint-satisfaction to-write-about to-simulate consider:looking-for-pairs consider:classification-of-pairs https://pinboard.in/ https://pinboard.in/u:Vaguery/b:a69a50c803ed/ 2019-06-12T14:15:49+00:00 https://dl.acm.org/citation.cfm?id=3290320 Vaguery type-theory to-understand can't-wait-to-understand pi-calculus concurrency formal-languages computer-science abstraction-kisses-the-neck-of-necessity https://pinboard.in/ https://pinboard.in/u:Vaguery/b:2c1710be0c6f/ 2019-04-25T15:26:14+00:00 https://www.cl.cam.ac.uk/~afb21/ Vaguery computer-science system-of-professions homepage to-talk-to see-paper no-really-bad-a11y https://pinboard.in/ https://pinboard.in/u:Vaguery/b:58771a939876/ 2019-04-17T11:57:21+00:00 https://disorderlylabs.github.io/ Vaguery computer-science testing distributed-systems heuristics rather-interesting algorithms to-understand https://pinboard.in/ https://pinboard.in/u:Vaguery/b:10ddf6d7716c/ 2019-04-13T11:17:02+00:00 https://dl.acm.org/citation.cfm?id=3302515&picked=prox Vaguery computer-science programming-language formal-languages to-try-to-understand-some-day rather-interesting https://pinboard.in/ https://pinboard.in/u:Vaguery/b:93db73e5e316/ 2019-04-10T11:05:12+00:00 https://arxiv.org/abs/1902.03568 Vaguery computer-science representation grammars rather-interesting compression rewriting-systems computational-complexity https://pinboard.in/ https://pinboard.in/u:Vaguery/b:c220f5b47e0d/ 2019-03-02T13:05:58+00:00 https://arxiv.org/abs/1506.04349 Vaguery computer-science theorem-provers no-free-lunch performance-measure looking-to-see rather-interesting multiobjective-optimization it's-more-complicated-than-you-think https://pinboard.in/ https://pinboard.in/u:Vaguery/b:c2a1f0c0837d/ 2019-02-14T02:04:06+00:00 https://arxiv.org/abs/1901.04911 Vaguery computer-science rewriting-systems formal-languages computability algorithms to-understand https://pinboard.in/ https://pinboard.in/u:Vaguery/b:fcd6115f4c84/ 2019-02-14T02:02:34+00:00 https://www.researchgate.net/publication/221329427_Evolving_Algebras_and_Linear_Time_Hierarchy Vaguery computer-science rewriting-systems formal-languages to-understand ReQ programming-language abstraction lecture-notes https://pinboard.in/ https://pinboard.in/u:Vaguery/b:aeb85eb6b989/ 2019-02-14T02:00:20+00:00 https://arxiv.org/abs/1808.06255 Vaguery formal-languages computer-science formal-logic programming-language abstraction to-understand https://pinboard.in/ https://pinboard.in/u:Vaguery/b:092f2f5152eb/ 2019-02-13T11:37:37+00:00 https://arxiv.org/abs/1809.04209 Vaguery rather-interesting usability functional-languages computer-science programming-language to-understand inference ReQ genetic-programming consider:GP https://pinboard.in/ https://pinboard.in/u:Vaguery/b:3367e7773c8d/ 2019-02-13T11:25:37+00:00 https://arxiv.org/abs/1811.00607 Vaguery concurrency rather-interesting to-understand coordination computer-science ReQ https://pinboard.in/ https://pinboard.in/u:Vaguery/b:8c471d392413/ 2019-01-24T00:58:04+00:00 https://en.wikipedia.org/wiki/Anytime_algorithm Vaguery via:nprnncbl algorithms computer-science rather-interesting to-understand ReQ approximation https://pinboard.in/ https://pinboard.in/u:Vaguery/b:370b65503520/ 2019-01-24T00:50:12+00:00 http://rbr.cs.umass.edu/shlomo/papers/ZRchapter95.pdf Vaguery computer-science representation algorithms rather-interesting to-do to-understand ReQ approximation https://pinboard.in/ https://pinboard.in/u:Vaguery/b:5eff90dde974/ 2019-01-05T13:49:08+00:00 https://arxiv.org/abs/1811.09989 Vaguery nontraditional-computing representation algorithms out-of-the-box review history computer-science engineering-design to-write-about to-simulate https://pinboard.in/ https://pinboard.in/u:Vaguery/b:0b3266c41a99/ 2019-01-05T13:33:31+00:00 https://arxiv.org/abs/1804.00746 Vaguery computer-science differentiation gradients numerical-methods machine-learning algorithms category-theory rather-interesting to-understand https://pinboard.in/ https://pinboard.in/u:Vaguery/b:b58c16300db7/ 2018-12-20T12:33:44+00:00 https://arxiv.org/abs/1808.07990 Vaguery functional-languages computer-science programming-language remarkably-legible rewriting-systems representation dynamical-systems ReQ https://pinboard.in/ https://pinboard.in/u:Vaguery/b:f77ce970f164/ 2018-12-17T13:32:46+00:00 https://arxiv.org/abs/1804.05578 Vaguery probabilistic-languages lambda-calculus rewriting-systems computer-science programming-language to-understand formal-languages ReQ https://pinboard.in/ https://pinboard.in/u:Vaguery/b:859bcb9f3a77/ 2018-12-10T12:42:43+00:00 https://arxiv.org/abs/cs/0610153 Vaguery0, we can effectively compute a time bound T such that the probability that an N-bit program will eventually halt given that it has not halted by T is smaller than 2^{-k}. We also show that the set of halting programs (which is computably enumerable, but not computable) can be written as a disjoint union of a computable set and a set of effectively vanishing probability. Finally, we show that ``long'' runtimes are effectively rare. More formally, the set of times at which an N-bit program can stop after the time 2^{N+constant} has effectively zero density. ]]> halting-problem computer-science rather-interesting looking-to-see to-write-about ReQ computational-complexity probability-theory https://pinboard.in/ https://pinboard.in/u:Vaguery/b:ee2f564a31fb/ 2018-12-09T13:16:17+00:00 http://www.solipsys.co.uk/new/WhenOptimisingCodeMeasure.html?RSS Vaguery the-mangle-in-practice looking-to-see learning-in-public computer-science computational-complexity rather-interesting to-write-about contingency https://pinboard.in/ https://pinboard.in/u:Vaguery/b:a8e0f238aafd/ 2018-12-09T11:20:44+00:00 https://link.springer.com/chapter/10.1007/978-1-4899-5841-9_2 Vaguery representation numerical-methods floating-point computer-science rather-interesting to-write-about nudge-targets consider:ReQ https://pinboard.in/ https://pinboard.in/u:Vaguery/b:48a2be0de095/ 2018-11-26T13:26:36+00:00 https://cs.stackexchange.com/questions/44226/how-can-a-cyclic-tag-system-halt-with-an-output Vaguery computer-science representation to-write-about ReQ https://pinboard.in/ https://pinboard.in/u:Vaguery/b:984bc4db0a67/ 2018-11-05T11:00:29+00:00 https://www.scottaaronson.com/blog/?p=3943 Vaguery syllabus quantum-computing computer-science class to-read https://pinboard.in/ https://pinboard.in/u:Vaguery/b:df36c5dadc2b/ 2018-11-04T13:15:28+00:00 https://arxiv.org/abs/1805.03374 Vaguery computer-science compilers rewriting-systems refactoring rather-interesting to-understand computational-complexity optimization https://pinboard.in/ https://pinboard.in/u:Vaguery/b:cf30b8a40470/ 2018-10-19T12:01:29+00:00 http://pharo.gforge.inria.fr/PBE1/PBE1ch10.html Vaguery languages Smalltalk classes computer-science nudge consider:robustness to-write-about https://pinboard.in/ https://pinboard.in/u:Vaguery/b:2e710e87a4f2/ 2018-10-07T18:20:54+00:00 https://www.inferentialthinking.com/chapters/intro Vaguery online-learning Jupyter textbook computer-science book rather-interesting to-read open-source https://pinboard.in/ https://pinboard.in/u:Vaguery/b:ff1fca15704a/ 2018-07-04T11:36:41+00:00 https://arxiv.org/abs/1801.10139 Vaguery number-theory numerical-methods representation computer-science computational-complexity rather-interesting algorithms continued-fractions to-write-about https://pinboard.in/ https://pinboard.in/u:Vaguery/b:af8dd74d354b/ 2018-06-21T10:22:07+00:00 https://arxiv.org/abs/1805.11813 Vaguery computer-science representation to-understand rather-interesting https://pinboard.in/ https://pinboard.in/u:Vaguery/b:8ea6c87d6d94/ 2018-05-26T14:02:34+00:00 http://blog.alicegoldfuss.com/foot-candles/ Vaguery imposter-syndrome computer-science system-of-professions careering worklife self-definition to-write-about https://pinboard.in/ https://pinboard.in/u:Vaguery/b:fc9249a0e2a8/ 2018-03-24T11:37:00+00:00 http://www.openproblemgarden.org/home Vaguery open-problems mathematical-recreations mathematics computer-science to-write-about nudge-targets https://pinboard.in/ https://pinboard.in/u:Vaguery/b:7ad233883a1d/ 2018-03-17T14:38:17+00:00 https://lispcast.com/church-vs-curry-types/ Vaguery type-theory computer-science models-and-modes dichotomy-or-not? to-write-about https://pinboard.in/ https://pinboard.in/u:Vaguery/b:21599c14588a/ 2018-02-24T11:47:09+00:00 https://cseweb.ucsd.edu/~goguen/projs/semio.html Vaguery semiotics user-interface user-experience digital-humanities computer-science engineering-design rather-interesting to-understand to-write-about https://pinboard.in/ https://pinboard.in/u:Vaguery/b:7104c1992a0e/ 2018-02-19T13:19:12+00:00 https://boingboing.net/2012/09/12/magic-the-gathering.html Vaguery computational-complexity computer-science amusing proof unconventional-representation-schemes https://pinboard.in/ https://pinboard.in/u:Vaguery/b:f8027ab2e255/ 2018-01-26T12:32:33+00:00 https://arxiv.org/abs/1711.03363 Vaguery formal-logic computational-complexity computer-science to-understand rather-odd system-of-professions to-translate https://pinboard.in/ https://pinboard.in/u:Vaguery/b:d4322438632b/ 2018-01-26T12:29:28+00:00 https://arxiv.org/abs/1709.08800 Vaguery artificial-life swarms rather-interesting computer-science computational-complexity to-simulate to-write-about emergent-design distributed-processing nudge-targets https://pinboard.in/ https://pinboard.in/u:Vaguery/b:e7ac1be6472f/ 2017-10-20T12:10:55+00:00 https://arxiv.org/abs/1208.2764 Vaguery cellular-automata formal-languages rather-interesting computer-science computability to-understand https://pinboard.in/ https://pinboard.in/u:Vaguery/b:25bc959b5421/ 2017-10-20T11:55:57+00:00 https://arxiv.org/abs/1610.00331 Vaguery cellular-automata rather-interesting alternative-computational-models distributed-processing computer-science universality representation feature-construction engineering-design to-write-about https://pinboard.in/ https://pinboard.in/u:Vaguery/b:02e93e71c942/ 2017-10-20T11:34:34+00:00 https://arxiv.org/abs/1208.2771 Vaguery cellular-automata tiling computer-science universality rather-interesting to-write-about to-simulate https://pinboard.in/ https://pinboard.in/u:Vaguery/b:6ec6fc2edd86/ 2017-10-19T11:24:21+00:00 http://published.eptcs.org/ Vaguery to-read conferences proceedings nudge-targets computer-science to-write-about https://pinboard.in/ https://pinboard.in/u:Vaguery/b:907443739b8a/ 2017-10-09T11:11:57+00:00 http://www.sciencedirect.com/science/article/pii/S1571066103500020 Vaguery computer-science to-understand concurrency representation https://pinboard.in/ https://pinboard.in/u:Vaguery/b:e037d20c7854/ 2017-09-26T14:39:03+00:00 https://arxiv.org/abs/1709.04494 Vaguery domain-specific-languages rewriting-systems computer-science representation rather-interesting mathematical-programming algorithms define-your-terms https://pinboard.in/ https://pinboard.in/u:Vaguery/b:52e985438c99/ 2017-09-23T14:03:24+00:00 https://arxiv.org/abs/1709.02252 Vaguery color-theory rather-interesting define-your-terms graphic-design aesthetics numerical-methods computer-science algorithms nudge-targets consider:looking-to-see consider:performance-measures https://pinboard.in/ https://pinboard.in/u:Vaguery/b:4de08662162d/ 2017-09-23T12:16:23+00:00 http://www.sciencedirect.com/science/article/pii/030439759500024Q Vaguery computer-science type-theory objects to-understand via:? https://pinboard.in/ https://pinboard.in/u:Vaguery/b:2142359ec168/ 2017-05-07T12:24:33+00:00 https://arxiv.org/abs/1705.00317 Vaguery computer-science recursion algorithms to-understand benchmarking computational-complexity https://pinboard.in/ https://pinboard.in/u:Vaguery/b:ae949ae8063b/ 2017-04-29T13:02:37+00:00 https://arxiv.org/abs/1102.5683 Vaguery1 and β satisfies a polynomial where one coefficient is dominant in a certain sense. For this class of bases β, we can find an alphabet of signed-digits on which addition is realizable by a parallel algorithm in constant time. This algorithm is a kind of generalization of the one of Avizienis. We also discuss the question of cardinality of the used alphabet, and we are able to modify our algorithm in order to work with a smaller alphabet. We then prove that β satisfies this dominance condition if and only if it has no conjugate of modulus 1. When the base β is the Golden Mean, we further refine the construction to obtain a parallel algorithm on the alphabet {−1,0,1}. This alphabet cannot be reduced any more.]]> algorithms computer-science number-theory rather-interesting parallel nudge-targets consider:rediscovery consider:performance-measures constraint-satisfaction to-write-about https://pinboard.in/ https://pinboard.in/u:Vaguery/b:16fa0432be81/ 2017-04-17T12:06:23+00:00 http://programming-journal.org/purpose/ Vaguery via:geepawhill computer-science rather-interesting open-access journal academic-culture publishing arXiv https://pinboard.in/ https://pinboard.in/u:Vaguery/b:bf8bfb8b9947/ 2017-03-23T23:50:41+00:00 http://search.arxiv.org:8081/paper.jsp?r=1501.06328&qid=1490097869827ler_nCnN_397128995&qs=%22recreational+math%22+OR+%22recreational+mathematics%22+OR+%22mathematical+recreations%22&byDate=1 Vaguery cellular-automata computer-science universal-computation mathematical-recreations rather-interesting to-write-about visualization https://pinboard.in/ https://pinboard.in/u:Vaguery/b:1406cdb98a29/ 2017-03-06T12:00:48+00:00 https://arxiv.org/abs/1701.03308 Vaguery data-structures computer-science rather-interesting to-understand sampling seems-like-it-might-have-applications-in-GAs https://pinboard.in/ https://pinboard.in/u:Vaguery/b:a03ca46632e3/ 2017-02-27T00:34:24+00:00 https://arxiv.org/abs/1701.07615 Vaguery distributed-processing programming-language computer-science rather-interesting concurrency cloud-computing https://pinboard.in/ https://pinboard.in/u:Vaguery/b:1c01feced5e3/ 2016-12-25T17:23:06+00:00 https://github.com/engelberg/instaparse Vaguery parsing Klapaucius computer-science Clojure to-add-to-the-damned-language https://pinboard.in/ https://pinboard.in/u:Vaguery/b:2cc8e83ac384/