potiuper

35 ms·

481.
by potiuper 6y ago
The water might be able to recycled instead of blasting it into space as rocket fuel if a [para-aramid or ultra-high-molecular-weight polyethylene fibre] lunar orbital elevator could be prioritized before the lunar cell phone network. #luna
482.
by potiuper 6y ago
Why not sue for breach of contract / design?
483.
SARS-CoV-2 Spike protein co-opts VEGF-A/Neuropilin-1 receptor inducing analgesia(biorxiv.org)
1 points by potiuper 6y ago|0 comments
484.
by potiuper 6y ago
The PR seems like a double dig on Hawking. "Nothing, not even light, can escape." except Hawking radiation?
485.
by potiuper 6y ago
Would love to without the Roundup
486.
by potiuper 6y ago
https://jacquesmattheij.com/makani/
487.
by potiuper 6y ago
Q: Which is heavier, a toaster or a pencil? A: A pencil is heavier than a toaster. Seems legit: https://www.guinnessworldrecords.com/world-records/102759-la...
488.
by potiuper 6y ago
Politicians have to be seen doing "something". Lose the battle over progressive property tax and win the war for justifying Euclidean zoning segregation - LA is the definition of urban sprawl. Local tax districts are still subject
489.
by potiuper 6y ago
A type system can be TC. A type system is a logical system comprising a set of rules that assigns a property called a type to the various constructs of a computer program, such as variables, expressions, functions or modules. If those rules
490.
by potiuper 6y ago
VTI is the ETF version of VTSAX; has lower expense ratio
491.
by potiuper 6y ago
The summary section could use work.
492.
by potiuper 6y ago
Mouse is not necessary using CSS 3 (animations); Minesweeper[1] is enough to show Turing completeness. [1] http://web.mat.bham.ac.uk/R.W.Kaye/minesw/infmsw.pdf
493.
by potiuper 6y ago
"It teaches natural numbers by a series of repeated pulses", but receiver would not be able to determine if it was some finite sequence.
494.
by potiuper 6y ago
So, when did Utah ban non-competes?
495.
by potiuper 6y ago
Please fix title Tiitan typo.
496.
by potiuper 6y ago
Given a "Conformal Geometric Calculus" is not feasible due to the distance metric not being preserved, a "[Hyper-Plane] Geometric Calculus" should be; is this to be included a future version of this document, the book, o
497.
by potiuper 6y ago
Red light crossings seem especially disadvantagous for red colorblind individuals with the addition of white light signals.
498.
by potiuper 6y ago
If the objective is to generalize, then differentiation is simply the adjoint of the boundary operation, which is a homomorphism; extending the notions of closed and exact forms to general differential forms along with that the differential
499.
by potiuper 6y ago
The cheapest grid scale electricity generation option are dams in this case on the Ruzizi.
500.
by potiuper 6y ago
Cream cheese source please?
501.
by potiuper 6y ago
TLDR dependent lambda calculus using linear type system memory management with LLVM backend. Oddly, the source language a [dependent] lambda-calculus or a [dependent] Cartesian closed category would seem more restrictive than the linear typ
502.
by potiuper 6y ago
The domains of x and y both appear defined as the real numbers. But, the reals do not have a root for every non-constant polynomial defined in terms of x or y as the real numbers are an not algebraically closed field. The proposed concept a
503.
by potiuper 6y ago
Can programs be written such that they switch between AVX-512 for L1 and AVX-256 for L2/L3? The decision by the compiler to switch to AVX-256 due to AVX-512 downclocking / throttling based on a processor flag seems biased towards
504.
by potiuper 6y ago
https://en.wikipedia.org/wiki/Mother-in-Law_Island AKA "Not enough room" island
505.
by potiuper 6y ago
>After recovery, their adaptive immune system should have developed an additional immune response that is customized to defend against Covid-19. The extent antibody-dependent enhancement causes mortality is questionable. Ongoing studies
506.
by potiuper 6y ago
https://zjui.intl.zju.edu.cn/en/content/874774 is not an "expert"? "Choiceless polynomial time" from Blass, Gurevich and Shelah seems to change the common definition of polynomials using the ax
507.
by potiuper 6y ago
https://en.wikipedia.org/wiki/Salt_(cryptography) (1970)
508.
by potiuper 6y ago
Any "well-tuned" multi-threaded application requires unified memory for simultaneous access to managed memory from the CPU and GPUs as it is not possible with compute capability lower than 6.0. This is because pre-Pascal GPUs lack
509.
by potiuper 6y ago
Maxwell does not have unified memory -> custom code compared to latest generation along with performance disadvantages.
510.
by potiuper 6y ago
Brown widow spiders. The ticks spread by the wasps; the spiders prey on the wasps and ticks; the wasps on the spiders and ticks.

More ›