- May 2022
-
www.theguardian.com www.theguardian.com
-
Kant’s views on free will
Follow up
-
- Mar 2022
-
www.sciencedirect.com www.sciencedirect.com
-
subcortical structures, which also undergo significant development, were not available from the official ABCD data release
-
longitudinal component of ABCD is essential to begin to delineate causal longitudinal pathways
-
- Feb 2022
-
www.goodreads.com www.goodreads.com
-
But.... what I found was a morass of academic philosophy, sketchy anthropology, even sketchier archeology and ancient history, all woven into some kind of a discourse around the details of Marx's particular view.
If this is true, this is a serious problem. Maybe someone has already written a good review of the sources [[Kōjin Karatani]] has used?
-
-
the-flow.ru the-flow.ru
-
В Кройдоне стоит зайти в известный среди рэперов чикен-шоп "Morleys", рекомендую куриные крылышки и местный бургер.
-
-
fatcat.wiki fatcat.wiki
-
"predatory publishing".
research
-
- Jan 2022
-
www.sciencedirect.com www.sciencedirect.com
-
was without risks factors for epilepsy
look up risk factors for epilepsy
-
-
www.thelancet.com www.thelancet.com
-
Contrary to the widely held belief, the average placebo response rates in antidepressant trials have been stable
figure out what this means
-
-
bmcpsychiatry.biomedcentral.com bmcpsychiatry.biomedcentral.com
-
It has been speculated that the ‘placebo’ response in antidepressant trials has been increasing during recent years
why is this?
-
Montgomery-Asberg Depression Rating Scale
look this up
-
Hamilton Depression Rating
note to self, research what this means
-
-
anagora.org anagora.orgAgora1
-
I think it sounds kinda [[cute]] and slightly [[quirky]]. At least, that's the [[tone]] I wanted to achieve. At the very least that's how I want myself to be: kinda cute and slightly quirky.
I like it, thank you for writing it!
I'll fix the pulls :)
-
- Dec 2021
-
deepsource.io deepsource.io
-
I never remembered i had subscribed to such an excellent online checker.
-
- Nov 2021
-
en.wikipedia.org en.wikipedia.org
Tags
Annotators
URL
-
-
www.youtube.com www.youtube.com
Tags
Annotators
URL
-
-
www.uptothelastdrop.com www.uptothelastdrop.com
Tags
Annotators
URL
-
-
-
Technical advice for extending foam with reST.
Tags
Annotators
URL
-
-
github.com github.com
-
raise issues if something in the instructions is unclear.
File bug after having configured [[promensia]]:
twitter-archive
cannot work alone (withouttwint
).
-
-
docs.google.com docs.google.com
-
Contains the visions fro the pioneers on the field.
-
-
notes.knowledgefutures.org notes.knowledgefutures.org
-
Merging distribute knowledge is an excersize on the abstractness of ontologies vs the practicality of schema-less graph knowledge.
Maybe a bit vague (the article), maybe re-read it. But i really appreciate the boldness [[agora]] try to solve the same problem.
-
-
zettelkasten.de zettelkasten.de
-
You have to interpret your sources and then rely on your own thoughts henceforth to get the maximum benefit. Collecting information does not increase your knowledge.
Useful tip about personal notes.
Tags
Annotators
URL
-
-
github.com github.com
-
Implement a new
reST-provider.ts
model based on this file, as recommended in foambubble/foam#474.
-
-
-
Journalistic video about NSU neonazis and links with Golden Dawn criminal political party.
-
-
online.tainiothiki.gr online.tainiothiki.gr
- Oct 2021
-
www.dougengelbart.org www.dougengelbart.org
-
Program On Human Effectiveness
broken link
Tags
Annotators
URL
-
-
eksegersi.gr eksegersi.gr
-
Μακρυ άρθρο στα Ελληνικά για τη κατασκευη του Ουκρανικού Λιμού το '30, Γολομοντορ (όχι το 1921).
-
- Aug 2021
-
davidsekera.com davidsekera.com
-
All rights reserved © Wireframes Corporation 2021 About Company Services Testimonials Get in Touch
Make these Footer Links Work
-
Sign up to our newsletter
Create a General List in Mautic and setup a Broadcast Email Segment. Create a Mautic form for the broadcast list and link form data in here
-
I Teach Men To Expand Their Limits.
What is your mission statement?
-
You're amazing. Start Acting Like It. Live a limitless life of your own design. Step up and answer a few questions on the form to connect!
What text should I put here?
-
Live your best life. In a collaboration with Rooz Yavari of Boundless Embodiment, this weeklong event will get you over your fears, inner demons, and push you to step up to the next level of your potential.
Put a button below this that Links to the Advanced Seminar Landing Page
-
Come for the weekend in a city near you and work with David and his coaches to crush inner doubts and fears, releasing you to the next level.
Put a button below to link to the schedule page
-
David Sekera is a Veteran Dating coach with 4 years experience in the field.
What test should I put here?
-
Come get the limitless experience live.
Put a button below this that leads to the Week Long Advanced Landing Page. See Github Issue #4
Tags
Annotators
URL
-
- Jul 2021
-
-
a general science of systems and processes
canonical link missing?
https://en.wikipedia.org/wiki/Systems_science does not mention category theory. Perhaps this paper could be added as a reference and the page could be enriched?
-
-
www.lr-online.de www.lr-online.de
-
Es besteht eine Pflicht zur Mund-Nasen-Bedeckung in allen Schulräumen.
-
Die jeweils gültigen Hygienevorschriften sind einzuhalten. Die Musterhygienepläne werden fortgeschrieben.
-
Für die ersten Unterrichtswochen nach den Sommerferien gelten besondere Infektionsschutzmaßnahmen, um eine erneute Ausbreitung des Coronavirus zu verhindern.
-
Die Testpflicht für Schülerinnen und Schüler und pädagogisches Personal wird bis auf Weiteres beibehalten.
-
Präsenzpflicht für Schülerinnen und Schüler.
-
Vollständiger Präsenzunterricht in allen Jahrgangsstufen und Schularten.
-
Die ergänzende Förderung und Betreuung (Hortbetreuung) wird ebenfalls wieder ab dem 09.06 2021 angeboten.
-
Die Präsenzpflicht bleibt ausgesetzt.
-
Lüften und Testungen (wie bisher zwei Mal wöchentlich).
-
Tragen einer medizinischen Mund-Nasen-Bedeckung im Schulgebäude. Auf dem Schulhof wird die Maskenpflicht hingegen aufgehoben.
-
Jeder ab zwölf Jahre darf sich impfen lassen, wenn er das möchte.
-
Die Impfreihenfolge ist aufgehoben worden.
-
Für die Corona-Schutzimpfung gilt seit Montag (07.06.2021) keine Beschränkung auf bestimmte Risikogruppen mehr.
-
- Jun 2021
-
www.berliner-zeitung.de www.berliner-zeitung.de
-
Die Innenbereiche von Zoo, Tierpark und Botanischem Garten dürfen öffnen, allerdings besteht Reservierungs- und Testpflicht.
§ 21 (4) 2. InfSchMV
-
-
www.gregegan.net www.gregegan.net
-
But I like Zendegi for almost the opposite reasons; it’s full of lots of serendipitous things that could easily have been different
Tags
Annotators
URL
-
-
www.tagesspiegel.de www.tagesspiegel.de
-
Wer seine Wohnung „ohne glaubhaften Grund“ verlässt, begeht eine Ordnungswidrigkeit.
-
Wer an unzulässigen Veranstaltungen teilnimmt oder einen Betrieb geöffnet hält, macht sich strafbar.
§ 75 (1) IfSG i.V.m. § 32 S. 1 IfSG i.V.m. § 2 (1) SARS-CoV-2-EindmaßnV i.V.m. § 1 (1) SARS-CoV-2-EindmaßnV
-
-
www.efsyn.gr www.efsyn.gr
-
Η βραβευμένη στο Σάντανς ταινία του «Γιάλντα, η νύχτα της συγχώρεσης» βγαίνει την επόμενη εβδομάδα στα θερινά.
Του Μασούντ Μπακσί, 2020, ριαλιτυ οπου οι καταδικασμενοι σε θανατο ζητουν συγχωρεση απο την οικογενεια του θυματος, "live".
-
-
numinous.productions numinous.productions
- May 2021
-
newsocialist.org.uk newsocialist.org.uk
-
As Sirianni documents, in the first months of the revolution hundreds of firms were taken over spontaneously from below by groups of workers forming factory committees. But as he also documents, the Bolshevik leadership sought very strenuously to hold back and reverse this wave of spontaneous expropriations
Interesting book of Carmen Siriani about the factory soviets.
-
Indeed, as T. H. Rigby demonstrates in his study of the formation of the ‘Soviet’ system of government in Russia
Must be interesting study to read about soviet Russia.
-
-
www.nytimes.com www.nytimes.com
-
TED CHIANG: So there’s this computer programmer named Steve Grand. And he wrote a book called “Creation,” which is partly about artificial intelligence, but I guess partly about artificial life. That book, I think, sort of made the most convincing case, I thought, for if we’re going to actually create something that merits the term of being a living thing in software, I feel like sort of the ideas in that book are the ones that I think are most promising. So I guess I’d recommend that.
-
-
jsomers.net jsomers.net
-
This point is made beautifully in another favorite book of mine, A Computer Scientist’s Guide to Cell Biology, by William W. Cohen:
-
One of my favorite books is called The Machinery of Life, by David Goodsell.
Tags
Annotators
URL
-
-
anhsyxia.wordpress.com anhsyxia.wordpress.com
-
toraritte.github.io toraritte.github.io
-
The command nix-shell will build the dependencies of the specified derivation, but not the derivation itself. It will then start an interactive shell in which all environment variables defined by the derivation path have been set to their corresponding values, and the script $stdenv/setup has been sourced. This is useful for reproducing the environment of a derivation for development.
QUESTION: What exactly does
nix-shell
execute from the Nix expression (i.e.,shell.nix
,default.nix
, etc.)?ANSWER: Based on my current understanding, the answer is everything. It calls
$stdenv/setup
(see annotation below) to set up the most basic environment variables (TODO: expand on this), and "injects" the most common tools (e.g.,gcc
,sed
) into it.It also defines the phases (TODO: verify this) and builder functions, such as
genericBuilder
. For example, the default builder is just two lines:source $stdenv/setup genericBuild
TODO:
pkgs/stdenv/generic/builder.sh
is a mystery though.QUESTION: Once dropping into
nix-shell
, how do I know what phases to execute by looking at adefault.nix
? (E.g.,[..]freeswitch/default.nix
)ANSWER: As far as I can tell, one can override the phases in their Nix build expression (to build the derivation, see at the bottom), but they won't get executed as only the
$stdenv/setup
(see above) will get sourced, and no builders are called that, in return, invoke the phases (again, see above).So if one is using
nix-shell
to create/hack on a package, the person has to manually invoke the builder or phases (TODO: still fuzzy on this subject)
to set up an environment, then one doesn't even have to worry about builders/phases because we just use
nix-shell
to clear the environment and to inject tools that we need for a given task
QUESTION: When dropping into
nix-shell
, is this Nix expression (i.e.,freeswitch/default.nix
) executed? Or just parts of it?ANSWER: As stated above, all of the input Nix expression is evaluated, but no builders and build phases are called; although, nothing prevents one to override the phases, in case they are creating/hacking on a package.
QUESTION:
The command
nix-shell
will build the dependencies of the specified derivation, but not the derivation itself.What is the "derivation" here exactly? I know that it is a build expression, but does that mean the
default.nix
(or other Nix expression)nix-shell
is invoked with?<sup>This statement also seems like a contradiction with how `nix-shell` works (i.e., if one issues `nix-shell -p curl`, then `curl` will be available in that sub-shell), but `-p` acts like a shortcut to as if `curl` had been listed in `buildInputs` so this is not the case.</sup>
ANSWER: I have the feeling my confusion comes from the fact that the term "derivation" is used ambiguously in the manuals, sometimes to mean multiple things (see list below).
TODO: Substantiate this claim, and make sure that it not coming from my misunderstanding certain topics.
Nix build expression (such as
default.nix
) whose output is going to become the store derivation itself (see last item at the bottom about the Nix manual's glossary definition)store derivation.
Had multiple cracks at unambiguously define what a derivation is, and here's a list of these:
What is the purpose of nix-instantiate? What is a store-derivation? (probably the best try yet)
What is a Nix expression in regard to Nix package management? (feels sloppier, but commenter mentions
ATerm
, adding the possibility of making it very specific)Closure vs derivation in the Nix package manager (very short, and will have to be re-written, but adds closures to the mix)
There is now a glossary definition of a derivation in the Nix manual; see this annotation why I find it problematic
QUESTION: What is the difference between
nix-shell -p
andnix-shell
invoked with a Nix expression ofmkShell
(or other that achieves the similar effect)?QUESTION:
nix-shell
does not create a sub-shell, so what does it do? (clarification: sonix-shell
indeed does it; I confused it withnix shell
)
-
- Apr 2021
-
www.history.com www.history.com
-
Tulips as Cryptocoins?
-
-
tvxs.gr tvxs.gr
-
Όποιος δεν θέλει έναν στενό ορισμό του gaslighting τον παραπέμπω στην ταινία του Netflix “Death to 2020” και στον εξαιρετικό ρόλο της Λίζα Κούντροου (η Φοίβη από τα Φιλαράκια) όπου ενσαρκώνει εξαιρετικά την Αριστοτελία Πελώνη του Τράμπ.
Documentary: Death to 2020
-
-
selamjie.medium.com selamjie.medium.com
- Mar 2021
-
docs.github.com docs.github.com
-
voody.online voody.online
-
en.wikipedia.org en.wikipedia.org
-
OTR base.
-
-
Tags
Annotators
URL
-
-
www.t-nation.com www.t-nation.com
-
1 – Bilateral Four Corners Farmer's Walk
Realizar de 2-4 séries com 1-3 minutos de descanso entre as séries.
-
- Feb 2021
-
www.youtube.com www.youtube.com
-
-
www.alerta.gr www.alerta.gr
-
ότι δήθεν ο Δ. Κουφοντίνας πήγε σε αγροτική φυλακή λόγω κάποιου ευνοϊκού νόμου του Σύριζα
Δεν είναι έτσι??
Tags
Annotators
URL
-
-
en.wikipedia.org en.wikipedia.org
-
a picture of Holger Meins' autopsy photo
The article is missing the photo of the corpse.
Tags
Annotators
URL
-
-
www.efsyn.gr www.efsyn.gr
-
φωτογραφία της νεκροτομής του 33χρονου Χόγκερ Μάινς, μέλους της δυτικογερμανικής ένοπλης ακροαριστερής οργάνωσης «Φράξια Κόκκινος Στρατός» (RAF), μετά το θάνατό του στις φυλακές Βίτλιχ (9/11/1974) ύστερα από απεργία πείνας 58 ημερών.
Εχουν κι οι Γερμανοί νεκρούς από απεργία πείνας. Η φωτό δεν υπαρχει στην wikipedia.
Tags
Annotators
URL
-
-
beepb00p.xyz beepb00p.xyz
-
About error-handling (but not logging).
Tags
Annotators
URL
-
-
toraritte.github.io toraritte.github.io
-
A Nix expression describes everything that goes into a package build action (a “derivation”)
Come up with an ultimate definition for what a "derivation" is.
So round up all the places where it is mentioned across Nix* manuals, and check out these:
https://stackoverflow.com/questions/58243554/what-is-a-nix-expression-in-regard-to-nix-package-management (this also needs to be edited)
https://nixos.org/manual/nix/unstable/expressions/derivations.html
https://github.com/justinwoo/nix-shorts/blob/master/posts/your-first-derivation.md
look for more online
From Nix Pills section 6.1. The
derivation
function (see annotation):A derivation from a Nix language view point is simply a set, with some attributes. Therefore you can pass the derivation around with variables like anything else.
So there is clearly an ambiguity between what derivations are perceived to be and what is stated in the Eelco Dolstra's PhD thesis. Or maybe I'm having issues with reading comprehension again...
-
substitute
this is another key topic. Also:
- substitute vs. substituter => this (I think)
See annotations with the
substitute
tag -
garbage collector roots
Definitely avoid this, when a term is used but only introduced formally way later. (There is also a reference to "garbage collector roots" almost at the beginning as well.)
-
user environment
Explain the shit out of this one with tons of examples.
-
4.3.1. Change the Nix store path prefix
There is a lot of place in this manual (and probably in the others as well) where the prefix is referred to (usually with italics, such as "prefix/store"), so in the book
this should be linked to this section (or the one in the book), and
establish a clear and well-communicated notation to convey this
-
You can uninstall Nix simply by running: $ rm -rf /nix
Yeah, I there are several tickets and posts about how this is not entirely true.
- https://github.com/NixOS/nix/issues/1623
- https://github.com/NixOS/nix/issues/1402
- https://github.com/NixOS/nix/issues/458
- https://stackoverflow.com/questions/51929461/how-to-uninstall-nix
- https://stackoverflow.com/questions/443699/how-do-you-uninstall-in-nix
- https://apple.stackexchange.com/questions/170000/how-to-completely-remove-nix-package-manager
-
$ mkdir /nix $ chown alice /nix
Traditionally, when a command should be invoked with
sudo
, it is either included in the example, or the shell indicator is#
instead of$
. -
To explicitly select a single-user installation on your system:
It should be noted in this section also that since nix 2.1.0, single user install is the default.
-
since packages aren’t overwritten, the old versions are still there after an upgrade. This means that you can roll back to the old version:
Wouldn't hurt to tell folks that this is a convenience layer, and one could also just use the old package from the
/nix/store
, even though that path would be long and obscure; one could use symlinks of course.Or, onc could just use
nix-shell -p
that specifies a specific version (that's already in the store), but, of course, it's not that simple...
-
-
tiendil.org tiendil.org
-
Сбор актуальных новостей с учётом фильтров.Просмотр отфильтрованных новостей.
axol
Tags
Annotators
URL
-
-
www.popularmechanics.com www.popularmechanics.com
-
- Establish the number of Rubik's cube combinations.
- Establish "algorithm" capabilities based on the x12 "impossible" cubes.
- "Signmaster notation" for describing algorithm moves.
- x2 links to youtube tutorials.
-
-
twitter.com twitter.com
-
Rewritten rsync on java., post on GitHub.
Tags
Annotators
URL
-
-
toraritte.github.io toraritte.github.io
-
18.6. Patches Patches available online should be retrieved using fetchpatch. patches = [ (fetchpatch { name = "fix-check-for-using-shared-freetype-lib.patch"; url = "http://git.ghostscript.com/?p=ghostpdl.git;a=patch;h=8f5d285"; sha256 = "1f0k043rng7f0rfl9hhb89qzvvksqmkrikmm38p61yfx51l325xr"; }) ];
... and from Chapter 11:
fetchpatch
works very similarly tofetchurl
with the same arguments expected. It expects patch files as a source and and performs normalization on them before computing the checksum. For example it will remove comments or other unstable parts that are sometimes added by version control systems and can change over time.... and also adding highlight of 19.3. Submitting security fixes
because these are the only places I've seen
fetchpatch
mentioned.From the wild in
freeswitch/default.nix
in Nixpkgs:stdenv.mkDerivation rec { pname = "freeswitch"; version = "1.10.5"; src = fetchFromGitHub { owner = "signalwire"; repo = pname; rev = "v${version}"; sha256 = "18dhyb19k28dcm1i8mhqvvgm2phsrmrwyjmfn79glk8pdlalvcha"; }; patches = [ # https://github.com/signalwire/freeswitch/pull/812 fix mod_spandsp, mod_gsmopen build, drop when updating from 1.10.5 (fetchpatch { url = "https://github.com/signalwire/freeswitch/commit/51fba83ed3ed2d9753d8e6b13e13001aca50b493.patch"; sha256 = "0h2bmifsyyasxjka3pczbmqym1chvz91fmb589njrdbwpkjyvqh3"; }) ]; postPatch = '' patchShebangs libs/libvpx/build/make/rtcd.pl substituteInPlace libs/libvpx/build/make/configure.sh \ --replace AS=\''${AS} AS=yasm # Disable advertisement banners for f in src/include/cc.h libs/esl/src/include/cc.h; do { echo 'const char *cc = "";' echo 'const char *cc_s = "";' } > $f done '';
-
6.5. Phases
Not sure why this isn't called build phases... See also.
-
-
praxisreview.gr praxisreview.gr
-
lexi-lambda.github.io lexi-lambda.github.io
-
delahera.medium.com delahera.medium.com
-
Hypothesis client doesn’t load automatically on PDFs,
You may upload and annotate local files using the "docdrop" service, which works for many kinds of files, word docs, exce & epub. They are all converted to PDF or CSV.
-
-
www.youtube.com www.youtube.com
-
-
www.enisa.europa.eu www.enisa.europa.eu
-
onezero.medium.com onezero.medium.com
-
kokkinigonia.blogspot.com kokkinigonia.blogspot.com
-
author: avanti_maestro
-
-
www.fastcompany.com www.fastcompany.com
-
hapgood.us hapgood.us
-
Bakhtin
Who?
-
lifestream
What is this?
-
- Jan 2021
-
redux.js.org redux.js.org
-
Creating a Single Post Page
todo, make this link to single post work
Tags
Annotators
URL
-
-
www.ruanyifeng.com www.ruanyifeng.com
- Nov 2020
-
tatianamac.com tatianamac.com
-
2️⃣ Unfollow everyone on social media and start over. Try to follow NO people who look like you* 📌 Follow a spread of race, gender (expression, identity), orientation, physical ability, neurodiversity, nationality, socioeconomic status. Use Tokimeki Unfollow to mindfully assess who you follow. Note about who you follow: Follows are endorsements, even if you don't see it that way. To protect our safety, many marginalised folks will often look to see who you're following. You can continue of course to follow whomever you want. And we can continue to protect ourselves by using this as a barometer. *I know you still will. I said try.
…
-
- Oct 2020
-
Local file Local file
-
Chenget al.[92] design a multi-channel parts-aggregated deep convolutional network byintegrating the local body part features and the global full-body features in a triplet training framework
TODO: read this and find out what the philosophy behind parts-based model is??
-
adaptive average pooling
what is this?
-
Generation/Augmentation
TODO: read
-
-
adamwiggins.com adamwiggins.com
-
What do I mean by “better”? Computing aids and encourages humanity’s noblest pursuits: science, reason, art, philosophy. Computing directly supports improving the mental health, physical health, prosperity, and happiness of all humans. Computing help us master (or at least, doesn’t intensify) our problematic tendencies: addiction, status anxiety, socioeconomic divisions, tribalism, fear, hate. The economic and intellectual horsepower in Silicon Valley and the wider tech world seems to be pointed away from these goals. For example: algorithms designed to maximize watch time, the social media outrage machine, loot boxes and other psuedo-gambling, and smartphone notifications activating Skinner-box tendencies.
Tags
Annotators
URL
-
-
www.counterpunch.org www.counterpunch.org
-
The last time the financial press indulged in massive coverage of BlackRock was during the 2016 U.S. presidential campaign, when numerous financial pundits were exchanging gossip about Fink’s desire and potential to be Hillary Clinton’s Treasury Secretary.
I forgot about this.Wow blackrock may be the domino
-
-
erlang.org erlang.org
-
profile() = atom()
This should be
profile() = default | atom()
because thehttpc
service is automatically started with the default profile (calleddefault
) wheninets
is started.See also How to get more information about error when starting Inets httpd?
Tags
Annotators
URL
-
- Sep 2020
-
www.newsweek.com www.newsweek.com
-
which in October shuttered the online black market Silk Road and seized its $3.5 million cache of Bitcoin. "The FBI is now one of the largest holders of Bitcoin in the world," Andresen says.
[ ] Fact Check
Is this true? We NEED to either remind the FBI they seized more money but had weak hands.
OR
This isn't true and we need to call out Gavin Andresen on providing lies to reporters.
-
"You want to know about my amazing physicist brother?" says Arthur Nakamoto, Satoshi Nakamoto's youngest sibling, who works as director of quality assurance at Wavestream Corp., a maker of radio frequency amplifiers in San Dimas, Calif.
[ ] Look up what Arthur Nakamoto is doing in 2020
-
- Aug 2020
-
www.reddit.com www.reddit.com
-
I’m not sure
checking hyp2org
-
-
ocharles.org.uk ocharles.org.uk
-
It also adds safety through a property called parametricity. If we pretend that there are no infinite loops or exceptions (it’s okay to do that, so we will do it throughout this article), then the function is actually fully determined by its type. In other words, if we see the type a -> a, we know that the corresponding value must be the identity function.
If this would be the first time I came across parametricity, I wouldn't understand what it means.
https://en.wikipedia.org/wiki/Parametricity
In programming language theory, parametricity is an abstract uniformity property enjoyed by parametrically polymorphic functions, which captures the intuition that all instances of a polymorphic function act the same way.
That is, a function with the type signature
a -> a
has only one implementation: it can only return its input. In a similar fashion,a -> b -> a
will only return the first argument and ignore the second. And so on.
-
-
nixos.org nixos.org
-
builtins.attrValues set
TODO: Is this the same as
lib.attrsets.attrValues
in nixpkgs?
-
-
nixos.org nixos.org
-
5.1.2.6. lib.attrsets.attrValuesattrValues :: AttrSet -> [Any]
TODO Is this an alias to
builtins.attrValues
? -
TODO: document
lib.mkIf
Found a description in the NixOS manual:
The special function mkIf causes the evaluation of the conditional to be “pushed down” into the individual definitions, as if you had written:
config = { environment.systemPackages = if config.services.httpd.enable then [ ... ] else []; ... };
-
TODO: document
lib.mkDefault
Not mentioned in any of the manuals (i.e., nix, nixpkgs, NixOS), only the NixOS options page has 1 mention:
Some promising search result (in the order of relevance):
- https://releases.nixos.org/nix-dev/2015-June/017549.html
- https://releases.nixos.org/nix-dev/2015-June/017549.html
From source:
mkOverride = priority: content: { _type = "override"; inherit priority content; }; mkDefault = mkOverride 1000; # used in config sections of non-user modules to set a default
It seems that all the
mkOverride
calls set up a priority for certain actions. -
String -> Any -> { name = String; value = Any }
Fix: add semicolon after last
Any
. (same above in the main type signature) -
Attribute-Set
This should read "Attribute Set Functions". Nowhere else is attribute sets spelled as "attribute-set".
edit: Alright, "attribute-set" is used in total of 4 times, whereas "attribute set" is used 112 times.
Tags
Annotators
URL
-
- Jul 2020
-
web.archive.org web.archive.org
-
Chen and Gawker did not immediately respond to requests for comment. The FBI has declined to comment. Monsegur was unavailable for comment.
Follow up on their replies.
-
-
-
Does a non- negligible failure rate affect the security of TLS?
-
- Jun 2020
-
outline.com outline.com
-
we expect the crisis to significantly increase the adoption of online and omnichannel delivery models.
Send to Qianwen to use in the importance of omnichannel deliveries.
-
-
outline.com outline.com
-
mining
Take this image
-
Many
Take the image
-
perfectly
Take the image
-
definition
Take the image
-
- May 2020
-
-
They record where you come from, what pages you visit, how long you stay on each, where you click and where you go next.
imagine if this information was available to you instead
Tags
Annotators
URL
-
-
github.com github.com
-
estimate-size
todo: 没理解到底是啥含义
Tags
Annotators
URL
-
-
medium.com medium.com
-
StorexHub is our offline-first API and plugin platform that allows you to work with Memex data outside of the browser. But it also works between different apps, making it a bit like an offline-first Zapier. You can query Memex data, listen to changes or write to its database.
-
-
darkblueheaven.com darkblueheaven.com
-
Nototo is a spatial note-taking app. It lets you build an ever-expanding, topographical map containing your notes and writing. The app is designed this way to take advantage of another aspect of spatial interfaces: our brains remember spaces better than raw information. In this regard, Nototo is like a software manifestation of a memory palace.
-
- Apr 2020
-
nixos.org nixos.org
-
nix path-info shows information about store paths, replacing nix-store -q. A useful feature is the option --closure-size (-S). For example, the following command show the closure sizes of every path in the current NixOS system closure, sorted by size: nix path-info -rS /run/current-system | sort -nk2
The Nixpkgs pull request template has a checkbox "Determined the impact on package closure size (by running
nix path-info -S
before and after)" but there is only 4 instances ofpath-info
in the Nix manual (and none in the Nixpkgs manual).nix --help
sayspath-info query information about store paths
so the command works at the bottom but what switches are available for example? From the examples,
-r
and-S
is valid but where are they documented?nix path-info -rS $(readlink -f $(which vim))
-
-
ebadak.news ebadak.news
-
슬랙의 최신 기능인 워크플로우 빌더(Workflow builder)는 누구나 자동화된 작업을 만들어주는 툴입니다. 코딩을 못하(거나 잊어버린 사람 )도 자동화 로직을 만들 수 있어요. 예를 들어 팀의 신규 입사자를 환영하기 위해 #team-product-manager 채널에 간단한 온보딩 워크플로우를 추가하면, 신규 입사 PM에게 자동으로 환영 패키지와 함께 온보딩 체크 리스트 문서가 전달됩니다.
어떻게 활용할 수 있는지 좀 더 알아봐야 할 것 같음
Tags
Annotators
URL
-
-
erlang.org erlang.org
-
Content-Length
Not mentioned anywhere (not even in the
inets
User's Guide), butContent-Length
is calculated automatically if it is not provided.
Tags
Annotators
URL
-
- Feb 2020
-
forum.gamer.com.tw forum.gamer.com.tw
-
can i write sth on this in relation to 百合convention 2020?
-
-
perma.cc perma.cc
-
How does Perma.cc work? You give Perma.cc the URL of the page you want to preserve and cite. Our software visits that URL, preserves what's there, deposits it into our collection, and gives you a unique URL (e.g. "perma.cc/ABCD-1234") - a "Perma Link" - that points to the record in our collection. You then can use that Perma Link in your citation to give readers access to a stable, accurate record of the source you referenced, even if the original disappears from the web.
how does this compare to other web archive tools? is it really "permanent"? any disadvantages of this tool?
-
-
en.wikipedia.org en.wikipedia.org
-
why is board game so popular in Germany? does this award contribute to the healthy development of this market?
Tags
Annotators
URL
-
-
starry-citadel-au.neocities.org starry-citadel-au.neocities.org
-
Planning
A very transparent way of author-reader communication, really give readers great anticipation. the whole website feels like a open-source project, with various media input (fan pic, character design, spotify play list)
Tags
Annotators
URL
-
-
superorganizers.substack.com superorganizers.substack.com
-
A book recommendation
-
- Jan 2020
-
blog.jorgenschaefer.de blog.jorgenschaefer.de
-
Services can be started when a device is plugged in,
kobuddy?
Tags
Annotators
URL
-
-
artagnon.com artagnon.com
-
something that would be fixed when types are modeled as ∞\infty-groupoids instead of setoids, as in the HoTT line of work.
-
- Dec 2019
-
clerestory.netlify.com clerestory.netlify.com
-
Even though Ahrens argues that there neither can nor should be any overview, I disobediently wrote another script to make an SVG image of it using GraphViz. I originally had it generating PNGs but they rapidly got too large. Here’s what the whole system looks like as of this morning:
cool!
-
-
vitalirosati.net vitalirosati.net
-
world
Each concept will have a definition, available on click.
Tags
Annotators
URL
-
- Nov 2019
-
-
Check out my guide to VO2 Max, including the numbers, my lab test, and how to estimate your VO2 Max.
-
Check out my blood test guide, Know Thy Blood or my blood test biomarker directory for an FAQ and information on the best tests.
-
Blood Pressure Monitors: High blood pressure is a well-known health risk factor, especially when combined with smoking, obesity, or genetic markers. You can get this measured at your doctor’s, a health clinic, or even using an at-home monitor. Check out my guide to blood pressure tracking
-
-
guzey.com guzey.com
-
Here’s a report (a) from a person who I trust a lot describing how they cut their sleep from 8 hours to 6.3 hours a day and sustained it for more than a year. Here’s a detailed story (a) with many practical tips from a friend of mine who experimented with many different ways of sleep reduction, including hardcore polyphasic sleep, and settled on the same 6.3 hours of sleep per day schedule. Here’s the best general overview (a) of these styles of sleep that I found.
-
-
longitudinal.blog longitudinal.blog
-
I recommend those that Michael Nielsen follows, and this list from Prof. Katharine Hayhoe. Here are some who apparently advise Greta. You should definitely read the IPCC reports, as well, and take courses by real climate scientists, like this one.
Tags
Annotators
URL
-
-
www.scottaaronson.com www.scottaaronson.com
-
sometimes called the Physical Church-Turing Thesis: the statement that our laws of physics can be simulated to any desired precision by a Turing machine (or at any rate, by a probabilistic Turing machine).
-
- Oct 2019
-
slatestarcodex.com slatestarcodex.com
-
This is one reason I was glad to come across Reframing Superintelligence: Comprehensive AI Services As General Intelligence by Eric Drexler, a researcher who works alongside Bostrom at Oxford’s Future of Humanity Institute. This 200 page report is not quite as readable as Superintelligence; its highly-structured outline form belies the fact that all of its claims start sounding the same after a while. But it’s five years more recent, and presents a very different vision of how future AI might look.
-