- Last 7 days
-
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
-
CS
PLType
Lecture Notes on Type Theory 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
Deep Learning Architectures<br /> 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
-
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
Tags
Annotators
URL
-
-
archive.is archive.is
-
朱苏力教授将基层法院法官的来源分了三类：一是复转军人；二是大专学校毕业生；三是其他地方单位调进的。其实还有一类人苏力教授没有提到，这就是85年（全国法院统一招干）以来历次招干进法院的，这批人约占目前基层法院在编人员的30—40%，而且绝大多数都具有审判职务，是审判岗位上的业务骨干，有的甚至已身担院庭领导职务，成为法院中坚力量的重要组成部分。就笔者所在基层法院而言，部队复转的占20%，大专学校毕业分配或毕业后考入的占9.7%，其他地方单位调进的占15.5%，而85年以来招干进法院的则占39.8%。全院具有助理审判员以上职称的共80人，其中招干进法院的就有33人，占41%。所有上述四类人员组成的基层法官群体，除大专学校的以外，一般在进法院时都不具备任何法律专业的学历，都是在进法院后通过参加各种成人教育来弥补的，而这期间他们仍参与审判着各类案件，在现实和理论的验证与磨合中形成了属于他们自己的审判经验和“地方性知识”，而且确实办了大量案件
本文似发表于2004-05
-
- Jul 2025
-
lean-lang.org lean-lang.org
-
Lean's type theory does not feature subject reduction, the definitional equality is not necessarily transitive, and it is possible to make the type checker fail to terminate.
See here
-
- Jun 2025
-
rawcdn.githack.com rawcdn.githack.com
-
(or context-free)
Note that by pushing \(A \rightarrow \epsilon\) forwards to the nonterminal symbol that produce \(A\), we have that every context free grammar must have a equivalent grammar that is type 1.
-
Types of Grammar
Type 0 Unstricted<br /> Type 1 Monotonicity<br /> Context Sensitive<br /> Type 2 Context Free<br /> Type 3 Regular (Right Linear)
Right/Left linear grammar are equivalent
-
-
d0ajg58rdl4aza.archive.is d0ajg58rdl4aza.archive.is
-
Interest on Reserves: History and Rationale, Complications and Risks
-
-
Local file Local file
-
Lending is also constrained because banks have to takesteps to mitigate the risks associated with makingadditional loans
从这个视角看，发放贷款是一种抽象的经济再生产活动，银行要评估风险，借款人要评估还款能力。
-
货币是信用是债，银行存款是银行的信用，银行信用由国家信用（监管）保证。
-
Money can also be destroyed through the issuance oflong-term debt and equity instruments by banks.
Short term debt -> 流动性 -> 货币<br /> Long term debt -> 无流动性 -> 货币消灭
-
-
d7wf0m3pfvw3xy.archive.is d7wf0m3pfvw3xy.archive.is
-
南街村，你太让我们伤心了
-
-
docs.python.org docs.python.org
-
Sequence
Note Sequence must have
__getitem__, while iterable may
-
- May 2025
-
stackoverflow.com stackoverflow.com
-
Use ES Modules url/cdn import for javascript module. <br /> Use 'unpkg.com/...?module' to replace bare module specifier with absolute path.
-
-
utopia.fyi utopia.fyi
-
Responsive CSS Design Without Breakpoint
Tags
Annotators
URL
-
- Apr 2025
-
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
-
-
github.com github.com
-
image segmentation By max flow
Tags
Annotators
URL
-
-
-
outer product
Compare this definition to 1-1 tensor Outer product
-
The uniqueness of A'
The uniqueness of adjoint operator lies in that inner product is non-degenerate
-
-
-
the Flow De-composition Theorem:
Obtain a max-flow and consider the residual graph
-
An alternative proof
My Proof: Based on conservation law, split the network into s, L, R, t with nflow(L) = nflow(R) = 0, nflow(s) = excessive(t) for any split, thus max-flow <= min-cut.
Given a max-flow, remove an edge and reducing flow value from all down-stream flowing edge repetitively. Eventually total flow value of removed edge must = nflow(s) and it must be a cut (otherwise the original flow can be arugmented and not maximized).
-
Lemma 8.3. For any A ⊆ V (G) such that s ∈ A, t /∈ A, and any s-t-flow f ,(a) value ( f ) = ∑e∈δ+( A) f (e) − ∑e∈δ−( A) f (e).(b) value ( f ) ≤ ∑e∈δ+( A) u(e)
Better Proof: The (net) outflow of a set of vertice equal the sum of net flow of each vertice (Just write the forumla) and is thus equal to zero due to conservation law. So nflow(A, s) + nflow(A, V \ A \ s) = 0 the former is = - nflow(s).
-
- Mar 2025
-
structseeker.github.io structseeker.github.io
-
You May Add This PWA to the Desktop, Especially on Mobile Device
Still in development
-
-
crowya.com crowya.com
-
超星电子书扒书指南（PDG转PDF）
超星电子书扒书指南（PDG转PDF）
-
-
Local file Local file泛函分析第二教程1
-
n 是 l² 中第 n个坐标为 1,其余坐标为 0 的元
\(l^2\)上的线性泛函若在一族无穷子基上每个向量都有\(f(v) \ge 1\), 则l不是有界的。考虑经典的\(\sum_n \frac{1}{n^2}\)
-
-
www.mobileread.com www.mobileread.com
-
so press O and copy it directly using the file manager. Or turn off the metadata writing plugins for the formats you use in Preferences->Plugins.
Hypothes.is annotation will be lost in this process of editing metadata, so as he says to make sure annotation are kept.
Tags
Annotators
URL
-
-
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} $$
-
Thereforeyu: F” — K is a well-defined extension
By showing \( \mu \) is not affected by the selection of \(p, q\)
-
16-4.7.
Use the limit structure of \(\mathbb{Q}, \mathbb{R}\) , wecan see that additive property leads to positive linar form
-
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
-
(b)
$$ (x + y)^+ = x^+ + y^+ $$ Link
-
16-3.4.
Meet distribution
-
imaginary part
Obviously imaginary part is indeed real (its conguation equal to itself)
-
(d)
join and meet operation are compatible with lattice order
-
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.
-
following calculation:
The de morgan law apply to minus, join, meet as well
-
-
www.nushell.sh www.nushell.sh
-
parse it to a table of data.
A record of data.
-
In other words, the string "Hello, World" and the output value from echo "Hello, World" are equivalent
echo is basically identity function.
~> (echo 3) 3 ~> (echo 3) | describe int -
Multi-dot shortcuts are available to both internal Nushell filesystem commands as well as to external commands. For example, running ^stat .... on a Linux/Unix system will show that the path is expanded to ../../../..
In other word, the
...is also a glob.~> let glob = ("..." | glob $in) ~> $glob ╭───┬─────╮ │ 0 │ C:\ │ ╰───┴─────╯ ~>
Tags
Annotators
URL
-
-
stackoverflow.com stackoverflow.com
-
untrack file in git
git update-index --skip-worktree <files>
-
-
172.26.107.195:14378 172.26.107.195:14378
-
Combined
Dependently nested normal distribution is still normal distribution. See Here
-
-
Local file Local file
-
显然，这些元老们希望不惜一切代价保住他们的政治权力和经济特权；只有捍卫社会主义制度，才能维持他们的特殊地位。
作者主观揣测地认为这些政治人物的决策主要由政治与经济私利驱动的；但同时他不以同样的滤镜审视学生领袖的“民主愿景”。
-
或可使国民政府的财政加强到在较早时期就遏制住通货膨胀的地步
这很不现实
-
-
Local file Local file
-
6.8 Shortest Paths in a Graph
The section address Bellman-Ford Algorithm.
Problem
In a directed graph, determine whether negative loop exist; if not, find shortest path from s to any node. (In other word, if negative loop exist, shortest path may not be found)
-
- Feb 2025
-
Tags
Annotators
URL
-
-
172.26.107.195:14378 172.26.107.195:14378
-
Establishes containingblock for both absolutelypositioned children
The containing block of absolute element must be nonstatic, which is the use of position:relative
-
when an element has a valuedefined using a length (px, em, rem, and so forth), its computed value is inherited bychild elements.
So perfer rem for font-size and unitless number for else
-
-
en.wikipedia.org en.wikipedia.org
-
The same argument can be used to justify the use of KL divergence
-
-
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
-
-
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
-
-
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
-
-
172.26.18.125:14378 172.26.18.125:14378
-
In the previous stats module, we could haveassigned the mean function to module.exports.mean instead ofexports.mean.
note that
xxx.yyyis 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.psetter is meaningless
-
-
github.com github.com
-
Biology
Genetics and Genomics in Medicine<br /> Genetics Analysis of Genes and Genomes githack<br /> hypo
-
-
Tags
Annotators
URL
-
-
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
-
-
rawcdn.githack.com rawcdn.githack.com
-
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
-
-
172.26.107.195:14378 172.26.107.195:14378
-
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
-
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
-
-
172.26.107.195:14378 172.26.107.195:14378
-
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
-
have all but eli
几乎消除
-
