- Last 7 days
-
Local file Local file
-
the M-actions on finitesets correspond to right admissible equivalences on M of finite index.
It's yoneda lemma!
-
- Jan 2025
-
structseeker.github.io structseeker.github.io
-
For a field k every k-module (i.e. k-vector space) M is free,
Hamel basis
-
-
gregorygundersen.com gregorygundersen.com
-
The Log-Sum-Exp Trick
Log-Sum-Exp is calculating method to avoid underflow
-
-
rawcdn.githack.com rawcdn.githack.com
-
17-2.9.
Charge Integration is Well-define
$$ \begin{array}{r} \text{ By Splitting }A_{i},B_{j},\text{ we have } \ A_{i} \cap B_{j}\text{ is not measure zero } \rightarrow \alpha_i = \beta_j \end{array} $$
-
-
-
stackoverflow.com stackoverflow.com
-
Javascript in console to import and export all cookie
-
-
ericmjl.github.io ericmjl.github.io
-
Python Data Science Bootstrap
-
-
www.bitecode.dev www.bitecode.dev
-
Python pip & venv: Best Practices for beginner
Virtual envrionment
-
-
github.com github.com
-
Safe ways to do things in bash
-
-
www.bitecode.dev www.bitecode.dev
-
Python Installation Best Practice for Beginner
-
-
gist.github.com gist.github.com
-
Data Science Python Project Structure
-
-
gist.github.com gist.github.com
-
A list of P2P file sharing tools
-
-
github.com github.com
-
Mathematics
Functional Analysis
Optimization by Vector Space Methods<br /> Lectures and exercises on functional Analysis<br /> Convex Functional Analysis<br /> Functional Analysis for Probability and Stochastic Processes<br /> Abstract Calculus A Categorical Approach <br /> Banach-Hilbert Spaces, Vector Measures and Group Representations
Differential Geometry
Clifford algebra, geometric algebra, and applications<br /> Mathematical Structures From Linear Algebra over Rings to Geometry with Sheaves<br /> Diffeology<br /> Global Calculus<br /> Manifolds, Tensor Analysis, and Applications<br /> Manifolds, Sheaves, and Cohomology
Algebra
Basic algebra groups, rings and fields<br /> Further Algebra and Application<br /> Abstract Algebra - Paul Garrett.
Linear Algebra
Algebra An Approach via Module Theory<br /> Linear Algebra via Exterior Products<br /> Rings, Modules, and Linear Algebra<br /> Modules and Homological Algebra<br /> Module theory an approach to linear algebra<br /> 代数学方法I
Measure, Probability and Statistics
A Basic Course in Probability Theory<br /> Probability Theory An Analytic View<br /> Probability and Stochastics<br /> Measure-Theoretic Probability<br /> Measure-Theoretic Calculus in Abstract Spaces<br /> Plane Answers to Complex Questions<br /> Mathematical Statistics<br /> Time Series Theory and Methods<br /> The Coordinate-Free Approach to Linear Models<br /> Multivariate Statistics A Vector Space Approach<br /> hypo
Logic Category Type
THE OPEN LOGIC TEXT<br /> Categorical Logic and Type Theory
Algebraic Topology
Fundamentals of Algebraic Topology<br /> Algebraic Topology - A Structural Introduction<br /> Homology, Cohomology, and Sheaf<br /> Combinatorial Algebraic Topology<br /> Algebraic Foundations for Applied Topology and Data Analysis<br /> Topology A Categorical Approach<br /> hypo
Combinatorics and Discrete
Introduction to the Theory of Species of Structures<br /> Discrete Calculus Methods for Counting<br /> Combinatorics the rota way
-
Biology
Genetics and Genomics in Medicine<br /> Genetics Analysis of Genes and Genomes githack<br /> hypo
-
-
Programming
Programming Languages
What I Wish I Knew When Learning Haskell<br /> JavaScript the Definitive Guide<br /> Beginning C++23.pdf<br /> Programming Rust<br /> The Well-Grounded Rubyist<br /> Mathematica programming an advanced introduction<br /> Advanced R<br /> TypeScript Basics<br /> SQL Query Design Patterns and Best Practices<br /> SQL必知必会<br /> hypo
Web
CSS in Depth<br /> Vue.js 3 Design Patterns and Best Practices<br /> React in Depth <br /> Modern Full-Stack Development Using TypeScript, React, Node.js, Webpack, and Docker <br /> Fullstack Web Components<br /> Fullstack Vue 3<br /> Fullstack Rust<br /> Frameworkless Front-End Development<br />
Penetration
Black Hat Ruby<br /> Understanding Network Hacks<br /> Metasploit The Penetration Tester‘s Guide<br /> RubyFu
-
-
CS
PLType
Type Theory and Functional Programming.pdf<br /> The Hitchhiker's Guide to Logic.pdf<br /> Foundations for Programming Languages.pdf<br /> Formal syntax and semantics of programming languages<br /> Formal Reasoning About Programs<br /> Computation and reasoning A type theory for computer science
Language, Parse and Compile
Language Server Protocol & Implementation <br /> Crafting Interpreters<br /> Introduction to Compilers and and Language Design<br /> Techniques for Searching, Parsing, and Matching.pdf
LLM, ML, Data
Probability and Statistics for Machine Learning<br /> Machine Learning A Probabilistic Perspective<br /> Large Language Models A Deep Dive<br /> Foundations of Machine Learning<br /> Data Science for Mathematicians <br /> Transformers for Machine Learning
Tags
Annotators
URL
-
-
weibo.com weibo.com
-
-
rawcdn.githack.com rawcdn.githack.com
-
gist.github.com gist.github.com
-
Better local require() paths for Node.js
Tags
Annotators
URL
-
-
stackoverflow.com stackoverflow.com
-
Use url/cdn import for javascript module. <br /> Use 'unpkg.com/...?module' to replace bare module specifier with absolute path.
-
-
Local file Local file
-
In the previous stats module, we could haveassigned the mean function to module.exports.mean instead ofexports.mean.
note that
xxx.yyy
is required to assign property to exported value
-
-
developer.mozilla.org developer.mozilla.org
-
Accessing super.x behaves like Reflect.get(Object.getPrototypeOf(objectLiteral), "x", this), which means the property is always sought on the object literal/class declaration's prototype, and unbinding and re-binding a method won't change the reference of super
super will remember the object literal it was defined on, so rebinding object won't change the output, but rebinding prototype of object itself or class' prototype can work. Note that when rebinding prototype, it's best to also rebind the class(constructor) function so that static methods are also rebound.
-
-
structseeker.github.io structseeker.github.io
-
Q1. Previous Brainbow tools work quite well in various applications. Why did the author bother to improve it further?
Q2. What issues do Brainbow 3.x address? And how did the authors achieve that? (Hint: 6 sentences won’t be able to cover all the improvements that 3.x made. Please describe only two aspects).
Q3. What is the purpose of making Flpbow? Can you give an example of using it in combination with Brainbow?
-
-
developer.mozilla.org developer.mozilla.org
-
It's worth mentioning that
javascript a.p = (b.p = c)
will seta.p = c
, i.e. the return value inb.p
setter is meaningless
-
-
structseeker.github.io structseeker.github.io
-
You May Add This PWA to the Desktop, Especially on Mobile Device
This is not done yet.
-
-
www.cnblogs.com www.cnblogs.com
-
my.cfg
The file Content
preserve_interword_spaces 1
-
mypdfocr中文识别空格问题
Tags
Annotators
URL
-
-
bend1031.github.io bend1031.github.io
-
Make PDF file searchable OCRmyPDF
-
-
www.w3.org www.w3.org
-
Dummy PDF file
test
-
-
-
This sample complexity result admits the following equivalent statement as a gen-eralization bound: for any , δ > 0, with probability at least 1 − δ,R(hS ) ≤ 1m(log |H| + log 1δ).
\(\epsilon\) here is not necessary. The statement is more precise
-
false positives
Positive/Negative stands for whether support the alternative hypothesis, in which case always exist.
-
-
raw.githack.com raw.githack.com
-
githack is a proxy tool for changing content-type header and is useful with via.hypothes.is for pdf
-
-
-
The Well-Grounded Rubyist.pdf
-
What I Wish I Knew When Learning Haskell.pdf
-
-
raw.githack.com raw.githack.com
-
Positions the dropdownmenu below the togglebutton
Two alternative
css position:absolute bottom: 0; transform: translateY(100%);
css /* remove top, bottom simple position:absolute would suffice*/
-
On the absolutely positioned dropdown-menu, you used left: 0 to align its left sidewith the left side of the dropdown. Then you used top: 2.1em to place its top edgebeneath the label (with the padding and border, the label is about 2.1 em tall). A
Both are not necessary: absolute without specified value will cause element to appear at its normal flow positon without affecting other.
-
remove the word close from your markup and replaceit with an ×, but this would introduce an accessibility problem: a
best practice: use aria-label on the button
-
inset-inline: 20%
Percentage for fixed element refer the viewport
-
Its initial value is auto,
flex-basis initial value is auto, note short-hand empty set it 0%
-
- Dec 2024
-
rawcdn.githack.com rawcdn.githack.com
-
16-4.7.
Use the limit structure of \(\mathbb{Q}, \mathbb{R}\) , wecan see that additive property leads to positive linar form
-
Thereforeyu: F” — K is a well-defined extension
By showing \( \mu \) is not affected by the selection of \(p, q\)
-
Clearly everypositive linear form is real
Note \(C - C = F^r \), apply linearity to see the form is indeed real.
-
16-3.10.
Column/Row Decomposition for two family of vector in lattice
-
16-3.8. Theorem
Vector in vector lattice can be boundly decomposed if it's bound above by sum of two other
-
(b)
$$ (x + y)^+ = x^+ + y^+ $$ Link
-
16-3.4.
Meet distribution
-
(d)
join and meet operation are compatible with lattice order
-
following calculation:
The de morgan law apply to minus, join, meet as well
-
imaginary part
Obviously imaginary part is indeed real (its conguation equal to itself)
-
16-2.7. Lemma
If any one of the following exists, the mid one exist. The equality follows from the fact that the two net are equivalent in cauchy sense.
-
-
en.wikipedia.org en.wikipedia.org
-
converges uniformly with limit f : E → X if and only if
For functions whose range is uniform space, the function then thus be defined as uniform space: $$ (f_1 \times f_2) (X) \subseteq U $$ Where \(U\) is entourage. We can apply Moore-Osgood Theorem to such function \( f(x, y) \) if \(f_x \rightrightarrows f\)
Tags
Annotators
URL
-
-
raw.githack.com raw.githack.com
-
inline style
External <link><br /> Internal head > style<br /> inline <tag style="...">
-
a selector has more IDs,
It's actually possible. see Link
-
hree different types, or origins, of stylesheets
User-agent, User, author
-
-
math.stackexchange.com math.stackexchange.com
-
,
Together, each \(x \in \theta_0\) and each \(y \in \theta_1\) intersect, making the map surjective.
-
-
Local file Local file
-
.Ii + Ij = R
In term of congruence, it means \(I_i \vee I_j = R\), which make decomposition map for algebra with permutable congruence surjective
-
Mathematical Structures From Linear Algebra over Rings to Geometry with Sheaves
-
-
Local file Local file
-
have all but eli
几乎消除
-