114 Matching Annotations
  1. Last 7 days
  2. Jan 2020
    1. A service to auto-convert any uploaded PDF to HTML, host it, allow markup, discussionsMultiple uploads of same file redirect to same URLGit-like versioning systemCould be hosted on IPFS?Aggregate discussions from the internet (Reddit, HN)

      possible in Hypothesis! It uses fingerprinting, so doesn't even have to be on the same URL

      Aggregating discussions from Reddit/HN are gonna require some scripts, yeah

    1. Unfortunately, because we do not have transclusive publishing, I cannot quote the material to which these are annotations would be a thorough copyright violation; thus I merely allude, and the reader must pick through the original.

      lol

    1. Feynman: I actually did the work on the paper. Weiner: That s right. It wasn’t a record of what you had done but it is the work. Feynman: It’s the doing it — it’s the scrap paper. Weiner: Well, the work was done in your head but the record of it is still here. Feynman: No, it’s not a record, not really, it’s working. You have to work on paper and this is the paper. OK?
    1. something that would be fixed when types are modeled as ∞\infty-groupoids instead of setoids, as in the HoTT line of work.
    1. Because editor is mostly CPU bound, we can usually improve editor latency by using a more powerful machine (good GPU also helps).

      how does gpu help?

  3. Dec 2019
    1. . I think one reason for this is that in some languages a unit test is the simplest way to actually run a function, but Lisp’s interactive style of development gives you an even easier alternative: just run the function in the REPL!

      what?

    2. Macros

      agree, macros are pretty special to lisp

    3. recompile the problematic function, and restart the execution of that function (or any other one!) in the call stack!

      ok, that's interesting. I suppose it works if the code has no side effects. also I feel you can kind of do that in pdb although have to admit, I never tried it

    4. The Lisp process will pause execution at that point and open a window in your editor showing you the stack trace.

      you can do same in python or other languages too

    5. In contrast, when working in languages like Scala or Python I almost never find myself writing one single function and compiling or running the project immediately.

      why?

    6. In Common Lisp, the development cycle looks more like this:

      you can do same in any language with interpreter: JS/Python

    1. Since the 1950s,[41] theoretical physicists and mathematicians have attempted to organise all QFTs into a set of axioms, in order to establish the existence of concrete models of relativistic QFT in a mathematically rigorous way and to study their properties. This line of study is called constructive quantum field theory, a subfield of mathematical physics,[42]:2 which has led to such results as CPT theorem, spin–statistics theorem, and Goldstone's theorem

      .

    1. 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!

    1. To my knowledge, this is the only test of consciousness for which a positive result is impossible (or maybe just extremelly difficult?) to explain unless B is conscious.

      .

    1. This visual diagram, based on the GTD workflow diagram, gives a broad visual overview of what this workflow looks like:

      example of GTD workflow with org-mode

    1. The wavefunction Ψ is a 4×1 column vector (also known as a spinor) and each element is a function of space and time, representing the spin state (up or down) of the electron and the associated positron solution.

      TODO

    2. In its mathematics it is quite unlike any of Dirac’s later works (for example, he brings in fine differences between rational and irrational numbers), and “pre-invents” techniques developed by other people only decades later. (I say pre-invents because the paper was forgotten until recently.)

      TODO

  4. Nov 2019
    1. Check out my guide to VO2 Max, including the numbers, my lab test, and how to estimate your VO2 Max.
    2. Check out my blood test guide, Know Thy Blood or my blood test biomarker directory for an FAQ and information on the best tests.
    3. 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
    1. But eventually, we succeeded in showing that quantum mechanics might indeed be incompatible with the assumption of objective facts – we violated the inequality.

      so what does it mean with respect to conscious observers?

    1. As in most previous studies, we used a machine learning approach to automatically sleep score the recordings, as that is the most realistic approach for the large amounts of data that would result from a a good home monitoring solution. Importantly, automatic scoring has been found to outperform manual scoring for this data type

      what is the score?

      ah right, so apparently it means phases of sleep?

    2. expert sleep stage scoring of PSG, in young healthy subjects.

      ???

    1. 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.
    2. I spent more than 130 hours over the last 2 months researching and writing this essay (~5 hours to write the outline; ~60 hours to get to the first draft; ~65 hours to edit and fact-check), which constituted essentially all of my surplus free time over this time period.

      wow. Thanks kind of relieving to know that other people also struggle with writing and spend so much time on it. Still sucks though.

    1. 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.
    1. 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).
  5. Oct 2019
    1. 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.
    1. 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.
    1. the reason for this difference is the greenhouse effect. 

      hmm. what about Earth internal temperature (core is like 6000 K, right?)

    1. 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).
    1. 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
    1. 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;
    2. But in the notebook format it's much easier for the reader to experiment. Their exploration is scaffolded, they can make small modifications and see the results, even the answers to questions Norvig did not anticipate
    3. The Elements of Style
    4. Perhaps most prominently, the creator of the SuperMemo system, Piotr Wozniak, has written extensively about the many ingenious ways he uses memory systems
    1. Cyclops Camera - a forehead worn camera that could record anything you see and want to capture.

      That's great, but not much point if you can't recall it

  6. Sep 2019
    1. 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)

      hmm, could probably use it in blog? Nice to provide an image too though, but I guess as long data is in JS, it's easy to reproduce?

  7. Aug 2019
    1. The following example illustrates the relationship between processes, jobs and sessions: The following shell interactions...

      nice visual demo for kernel structures and terminal state

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

      hmm. maybe try that? wonder if I could have sort of poly sleep one day per week?

    2. For more see Excessive sleeping.
    3. For a visual illustration of circadian and homeostatic components, see section Two-component sleep model in SuperMemo.
    1. Я бы выделила ребят из OBLAST, например, самарское community. Конечно, московский «Гост звук» и все связанное с ним, buttechno, и мне очень нравится такой лиричный проект «Творожное озеро» и «Тальник». Еще уважаю Влада Паршина.
    1. Here are a handful of languages intended for modeling, simulating, or designing physical systems:
  8. Jul 2019
    1. Undo/Redo Have you noticed that Undo support on almost all web applications is either nonexistent or terrible? It's hard to implement, but Core Data solves the problem elegantly. An Undo button encourages users to experiment with the application and not be afraid of making mistakes.

      huh, nice

    1. This is true for people trying to get something done to meet a deadline; but for people motivated by learning — and who aspire to be extremely good programmers — it’s actually more fun to create programs that do less work, but in a more intellectually stimulating way.

      depdends on you specific goals..

    2. Learning Python is, well, kind of rote and boring. It feels like a school that is lacking in advanced classes.

      depends on what you define as 'learning'..

    3. A pure-Lisp person peering down at C sees only pesky syntax, unfamiliar functions, and cryptic comments about cache lines. But a C programmer gazing upward sees a bunch of things implemented in C.

      well, it's not always useful to see things that way

    4. Driving stick is just a good skill to have. More people should have it, in my opinion.

      why?

    1. 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?”

      .

    1. The times and lengths of the flights, and the count, times, and lengths of stops and transfers, can be compared visually.

      neat, squeezing more information into two dimensions

    2. This allows the viewer to differentiate between a book that was unanimously judged middling and one that was loved and hated —these are both

      huh, that's a very neat idea

    1. Damn right I just drew fire breathing sharks.

      very good example of post with engaging style

  9. Jun 2019
    1. ance lies in the fact that it represents the best linear approximation to adifferentiable function near a given point.California S

      wonder if that works?

    Annotators

    1. What does the optimal high-intensity cardio routine look like? Data on this comes from this Meta-analysis of VO2 max trainability. VO2 max has been shown to be a robust predictor of mortality. This relation has held across elite athletes, to average individuals, to the overweight (see Figure 2 from this meta-analysis of vo2 max trainability).

      TODO

    2. Most of the rest of the claims in this post are supported by this review by Swiss researchers. As far as I know, this is the largest systematic review of exercise studies ever undertaken, reviewing 7000 studies with 80 meeting inclusion criteria covering over 1.3 million subjects. Sheer size, however, is not the only reason to take this study very seriously. As someone who has read hundreds of exercise studies, I can say that the methodology of the meta-analysis done to determine dose-response to exercise is excellent

      TODO

    1. But files also tend to be clumsy and old-school, poorly adapted for a multimedia-, web-, and mobile-oriented world.

      kinda disagree... they can be well intergrated to be convenient and intuitive to use.

  10. May 2019
    1. Cycles can be broken down into three main phases: Decision: the user is shown some options and takes a decision. Intention: the user approximates the interface that will serve to communicate the decision. Confirmation: the user communicates his decision to the computer.

      hm, makes sense. so you don't necessarily have to perform 'external' and potentially destructive actions with neural interface, it's fine to use a stronger signal to confirm, like speech or blink pattern or finger movement

  11. Apr 2019
    1. the vector potential changes the topology of the vacuum

      not sure if I understand that sentence, but it feels somewhat important

    2. The gauge field AAA is responsible that electrons moving on opposite sides around the solenoid also need to take different paths around the fiber bundle. In the picture above, the gauge field corresponds to the ramps that tell us how the phase factor of an electron changes as it moves through space.

      hm. so, if the electron goes around the solenoid twice (which it can with some probability), we have to count that in as well? That would be even bigger phase shift

    1. At 12 I would guzzle a bottle of Coke or Pepsi nearly every day. At 13, I wouldn’t touch the stuff with a ten foot pole, and I still won’t.

      huh, very similar to my perception

  12. Mar 2019
    1. It suffices to consider a 1+1-dimensional space-time ℝ×S1, in which the spatial direction is compactified to a circle of circumference 2π, rendering the momenta discrete.

      TODO

    2. The classical equations of motion of a field are typically identical in form to the (quantum) equations for the wave-function of one of its quanta. For example, the Klein–Gordon equation is the classical equation of motion for a free scalar field, but also the quantum equation for a scalar particle wave-function.

      really? but it doesn't have wavefunction interpretation...

    1. He notes that however bad your carbon dioxide levels are during the day they’re probably much worse at night, when you shut yourself up in a small room, close all the doors and windows, and just breathe for like eight hours straight

      that's so true!

    1. It means that a "more elementary" way to look at an SO(3)SO(3)SO(3) rotation is to actually find a corresponding SU(2)SU(2)SU(2) transformation that acts on the spinors χχ\chi while the SO(3)SO(3)SO(3) rotation is just "inherited" and may be constructed as the transformation of a "tensor with two spinor indices" i.e. it is not quite elementary. As we will see, this is really the reason why the spin j=1/2j=1/2j=1/2, smaller than one unit (seemingly the smallest quantum), is possible.

      try to understand that, it seems important...

    1. Putting them into the Hamiltonian, we obtai

      hmm, in classical case they were commuting, whereas because operators are not commuting, we get the 1/2

    1. There is an obvious problem with this, that the Hamiltonian formulation isnot manifestly Lorentz invariant. However, we know it actually is because wederived it as an equivalent formulation of a Lorentz invariant theory.

      eh?

  13. Feb 2019
    1. We think that a similar mechanism gives mass to the particles related to the weak force. At each spacetime point (country) there is some object (the analogue of gold) that has some orientation in the weak sphere. The details are more complicated because the symmetries correspond to rotations, and we will not describe it here. Essentially, the presence of this object means that the cost of exciting waves does not go to zero as the wavelength tends to zero. And this in turn means that the particles associated to the waves in the weak force field have a non-zero mass. If one sets the price of gold to one everywhere, then one is not free to do gauge transformations to further modify exchange rates. For this reason people sometimes say that the gauge symmetry is broken. This is conceptually misleading because the gauge symmetry is still present, if we remember that we need to also change the price of gold.

      ?

    1. We have said above that electromagnetic waves are associated to particles called photons, and that the mass of a photon is related to the energy it takes to excite a wave with a very long wave length. Using our analogy we have seen that this energy cost (the gain) goes to zero as the wavelength gets longer. This, essentially, is why the photon has no mass.

      ?

    1. ok, so he didn't finish the experiment yet, apparently

    2. Lavaan syntax

      what's that?

    3. I decided to get a Netatmo weather station device.

      todo

  14. Jan 2019
    1. So what if we had the power of these tools and what if we could drop this data into the blockchain and what if we said that human data privacy was a human right?

      that escalated quickly...

    1. Think something like “Photoshop for linear algebra”.

      TODO hmm. kinda like interpreter, which shows some context and suggests what you can do with an object?

    1. Mathematicians say the set of left-invariant vector fields is the Lie algebra of GGG.

      so what?

    1. Here is a sound clip which first plays a 540.61 Hz tone paired with a perfect fifth (at 810.92 Hz), and then plays the same tone paired with 800 Hz, which is the interval referred to as "the wolf".

      annoying... I can't hear differences :(

    2. n comparison, a less simple ratio—here, 300 Hz and 573 Hz, related by a 100:191 ratio—will sound somewhat less pleasant when played together:

      fucking hell.. they both sound ok

    1. Two separate areas: structured notes area (think Evernote), and an unstructured, loose notes area (think Apple Notes or Simplenote).

      TODO hmm, that's a good idea

  15. Oct 2018
    1. fmap f readFn = Reader (\r -> f (runReader readFn r))

      basically, just pass the environment down the stream

  16. Sep 2018
    1. “I WAS NOT REFERRING TO YOUR UNIVERSE. I EXHAUSTED THOSE, AND THEN I STARTED CREATING ONES INCLUDING IMMENSE AMOUNTS OF EVIL.”

      like particles filling up low energy states

    1. But as it is, even if many journalists are interested in raising awareness of police brutality, given their total lack of coordination there’s not much they can do. An editor can publish a story on Eric Garner, but in the absence of a divisive hook, the only reason people will care about it is that caring about it is the right thing and helps people. But that’s “charity”, and we already know from my blog tags that charity doesn’t sell. A few people mumble something something deeply distressed, but neither black people nor white people get interested, in the “keep tuning to their local news channel to get the latest developments on the case” sense.

      I guess the takeaway is: do not take their bait. Ignore completely, and if you do care, read about the subject. If you're involving in internet argument, you are not helping and wasting time, and also helping Moloch.

    2. For example, Immanuel Kant claims that if an axe murderer asks you where your best friend is, obviously intending to murder her when he finds her, you should tell the axe murderer the full truth, because lying is wrong. This is effective at showing how moral a person you are – no one would ever doubt your commitment to honesty after that – but it’s sure not a very good result for your friend.

      seriously? Maybe I shouldn't try to understand Kant then...

  17. Aug 2018
    1. This seems obvious to anyone who has rolled a ball, but it is not totally trivial to prove

      center of mass moves along the straight line?? unclear what means 'line through the origin is fixed'. E.g.consider a line which is Z axis. If we rotate it 45 degrees in YZ axis, it will clearly not be the same line.

  18. Jul 2018
    1. Now if we imagine all the possibilities (all 10 microstates) and we simply select one at random, it is clear that it most likely to be form "group ii." Since we can't tell the difference between the molecules, all of these microstates in group ii are the same.

      right. so basically if we have perfect information, entropy is always 0?

    1. Meditation positions, at least in the traditions I’ve been exposed to, are designed to build in mild to moderate physical discomfort, partly as a deterrent to spacing out or falling asleep and partly also, I suspect, to build in an incentive for contextualizing physical sensation.

      hmm, actually kinda makes sense. Average human was more flexible back then, so lotus was just mildly uncomf as opposed to very uncomf nowadays

  19. Jun 2017
    1. The main point seems to be disproportionately many people from Central European countries like Hungary and Germany, compared to either Eastern European countries like Poland and Russia or Western European countries like France and Britain.

      too small dataset..

    2. “Left to his own devices, he taught himself to read through mathematics texts that his parents left around their home. By the age of four, given a person’s age, he could calculate, in his head, how many seconds they had lived.”

      ????

    3. Okay. But I want to challenge this. During this era, formal education in Hungary began at age 10. By age ten, John von Neumann, greatest of the Hungarian supergeniuses, already spoke English, French, German, Italian, and Ancient Greek, knew integral and differential calculus, and could multiply and divide 8-digit numbers in his head.

      really?

  20. May 2017
    1. C♯ or D♭ (semitone; minor second)

      !!! semitoes are non-natural fractions

    2. The first and third sound much more related than the second sounds to either.

      do they?

    1. Being godlike is a good quality.

      agree

    2. Existence is a good quality.

      agree

    3. If A is good, then the opposite of A is bad

      too polar.

    4. So, for example, if I say that my counter being clean is a good thing, and my counter being clean necessarily forces my counter to smell nice, then smelling nice must also be a good thing.

      There might be some negative property due to counter being clean (e.g. not enoght bacteria, so your immunity gets suppressed). However, positivities might overweight negativities