substitute

garbage collector roots

user environment

4.3.1. Change the Nix store path prefix

You can uninstall Nix simply by running: $ rm -rf /nix

$ mkdir /nix $ chown alice /nix

To explicitly select a single-user installation on your system:

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:

Hypothesis client doesn’t load automatically on PDFs,

Bakhtin

lifestream

Creating a Single Post Page

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.

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

adaptive average pooling

Generation/Augmentation

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.

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.

profile() = atom()

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.

"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.

I’m not sure

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.

builtins.attrValues set

5.1.2.6. lib.attrsets.attrValuesattrValues :: AttrSet -> [Any]

String -> Any -> { name = String; value = Any }

Attribute-Set

Chen and Gawker did not immediately respond to requests for comment. The FBI has declined to comment. Monsegur was unavailable for comment.

Does a non- negligible failure rate affect the security of TLS?

we expect the crisis to significantly increase the adoption of online and omnichannel delivery models.

mining

Many

perfectly

definition

They record where you come from, what pages you visit, how long you stay on each, where you click and where you go next.

estimate-size

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.

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.

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

path-info        query information about store paths

슬랙의 최신 기능인 워크플로우 빌더(Workflow builder)는 누구나 자동화된 작업을 만들어주는 툴입니다. 코딩을 못하(거나 잊어버린 사람 )도 자동화 로직을 만들 수 있어요. 예를 들어 팀의 신규 입사자를 환영하기 위해 #team-product-manager 채널에 간단한 온보딩 워크플로우를 추가하면, 신규 입사 PM에게 자동으로 환영 패키지와 함께 온보딩 체크 리스트 문서가 전달됩니다.

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.

Planning

A book recommendation

Services can be started when a device is plugged in,

something that would be fixed when types are modeled as ∞\infty-groupoids instead of setoids, as in the HoTT line of work.

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:

world

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

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.

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.

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).

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.

These include DOM mutation breakpoints and inactive CSS rule indicators in the DevTools, several new CSS text properties, two-value display syntax, and JS numeric separators.

Mozilla’s RR RR is an advanced debugger that aims to replace GDB on Linux. It offers the full state recordings of the application so that you can replay the action backwards and forwards (similarly to Time Travel Debugging).

I also recommend watching some talks by Evan Czaplicki, Elm’s creator, to give you an idea of how he and the Elm community think. These videos are really good: The life of a file What is success? The hard parts of open source

Optimizing Swift build times

Aspiring to canonicity, one fun project would be to take the most recent IPCC climate assessment report (perhaps starting with a small part), and develop a version which is executable. Instead of a report full of assertions and references, you'd have a live climate model – actually, many interrelated models – for people to explore. If it was good enough, people would teach classes from it;

The Elements of Style

Perhaps most prominently, the creator of the SuperMemo system, Piotr Wozniak, has written extensively about the many ingenious ways he uses memory systems

Once HTML5 allowed rich interactivity in browsers, many libraries arose to provide interactive 2D plots for web pages and in Jupyter notebooks, either using custom JS (Bokeh, Toyplot) or primarily wrapping existing JS libraries like D3 (Plotly, bqplot)

In this amazing talk

The question posed in the present headline was intentionally provocative. You cannot fall asleep faster, but you can fall asleep fast. All you need to do is to wait for the right time. Instead of trying to fall asleep faster, go to sleep later, and fall asleep fast.

For more see Excessive sleeping.

For a visual illustration of circadian and homeostatic components, see section Two-component sleep model in SuperMemo.

Я бы выделила ребят из OBLAST, например, самарское community. Конечно, московский «Гост звук» и все связанное с ним, buttechno, и мне очень нравится такой лиричный проект «Творожное озеро» и «Тальник». Еще уважаю Влада Паршина.

Here are a handful of languages intended for modeling, simulating, or designing physical systems:

The top-five-problems method – Richard Hamming’s algorithm for doing important work. Periodically ask yourself: “what are the top five most important problems in my field (and life), and why am I not working on them?”

Think something like “Photoshop for linear algebra”.

and thus also everything that “is”: the real, the world

The beer was just as cold at Dice Bar, a lively corner dive with worn leather booths and a homey atmosphere. I got a thick pint of D’Arcy’s Dublin Stout for 4.80 euros. A couple of new friends I made, Josh and Keith, took me to Grogan’s Castle Lounge, where we found a freewheeling gathering; we caroused and drank in the street with about a hundred other people. After a crawl that also included The Bar With No Name and Garage Bar, we collapsed at a table at Zaytoon, a busy late-night Iranian restaurant that’s something of a Holy Grail for Dublin barhoppers.

the baseline

duration

Generative adversarial nets (GAN) , DCGAN, CGAN, InfoGAN”

Toward Multimodal Image-to-Image Translation

Medidas de Seguridad para el Manejo de CO2[Ficha Internacional de Seguridad Química del CO2].

p=="NFS" && state=="ESTABLISHED"

(see Exercise 1: Finding a data repository for your data).

Import Your Articles

2. Insert Your Facebook Page ID

Integrate Instant Articles publishing into your own platforms.

WordPress

Submission Checklist

LH Instant Articles

you should find a method here that works for you

an Update on My Use of the Bullet Journal Method

writing is more effective for learning and remembering

Strikethru

Inbox Zero

use Evernote as a frictionless GTD list application

Bullet Journal

Tactile experience

Telescope system on moon， 有100 telescopes， 天文学家可以用它们拍照观测，每个观测任务可能会要couple hours和地球通信只能用radio signal，latency会很高；设计系统manage Telescopes, 要fault tolerant，任务调度，deploy update思路：类似long distance data center的manage， moon上多台app server负责控制telescope，每台server会与地球的master用radio作为heartbeat通信；如何deployupdate时，选一台active server发送file，然后分chunk，在moon上peer to peer的用gossip传播update

var biom = new Biom({ id: 'My Biom', matrix_type: 'dense', shape: [2,2], rows: [ {id: 'row1', metadata: {}}, {id: 'row2', metadata: {}} ], columns: [ {id: 'col1', metadata: {}}, {id: 'col2', metadata: {}} ], data: [ [0,1], [2,3] ] });

There are alternative ways to implement a game loop in JavaFX. A slightly longer (but more flexible) approach involves the Timeline class, which is an animation sequence consisting of a set of KeyFrame objects. To create a game loop, the Timeline should be set to repeat indefinitely, and only a single KeyFrame is required, with its Duration set to 0.016 seconds (to attain 60 cycles per second). This implementation can be found in the Example3T.java file in the GitHub repo.

You should suspect motivated stopping when you close off search, after coming to a comfortable conclusion, and yet there's a lot of fast cheap evidence you haven't gathered yet—Web sites you could visit, counter-counter arguments you could consider, or you haven't closed your eyes for five minutes by the clock trying to think of a better option. You should suspect motivated continuation when some evidence is leaning in a way you don't like, but you decide that more evidence is needed—expensive evidence that you know you can't gather anytime soon, as opposed to something you're going to look up on Google in 30 minutes—before you'll have to do anything uncomfortable.

Baker, R.S.J.d. ; Corbett, A.T. ; Gowda, S.M. ; Wagner, A.Z. ; MacLaren, B.M. ; Kauffman, L.R. ; Mitchell, A.P. ; and Giguere, S. 2010 . Contextual Slip and Prediction of Student Performance After Use of an Intelligent Tutor. In Proceedings of the 18th Annual Conference on User Modeling, Adaptation, and Personalization, 52 - 63. Hilo, Hawaii

metrics on annotations/comments

The Hypothes.is team will most probably provide an api for these types of use cases eventually

Age?

Oh, and get insanely rich would be a nice touch. :)

Québec a refusé le droit de parole à des groupes citoyens et à des organismes critiques du recours aux pipelines et de l’exploitation des sables bitumineux dans le cadre de la commission parlementaire qui étudie le projet d’inversion de l’oléoduc 9B d’Enbridge. En raison des délais très courts entre l’annonce de la tenue de la consultation et son début, d’autres n’ont tout simplement pas eu le temps de se préparer.