thevivekpandey

6 ms·

1.
by thevivekpandey 1mo ago
In lean, a theorem is specified by a type (in their highly complex "dependent type system") and proof is specified by a code that produces a term of that type. If the compiler certifies that the code indeed produces a term of that
2.
Hardware-Software Interface – what they did not teach you in architecture class(thevivekpandey.github.io)
1 points by thevivekpandey 1y ago|0 comments
3.
In Defence of Grunt Work(thevivekpandey.github.io)
1 points by thevivekpandey 2y ago|1 comments
4.
Confused by Infinitesimals(thevivekpandey.github.io)
1 points by thevivekpandey 2y ago|0 comments
5.
Solving Problems "Inside Out"(thevivekpandey.github.io)
1 points by thevivekpandey 2y ago|0 comments
6.
First principles thinking vs. second order thinking(thevivekpandey.github.io)
2 points by thevivekpandey 3y ago|0 comments
7.
How to Be a Good Programmer(thevivekpandey.github.io)
3 points by thevivekpandey 3y ago|1 comments
8.
Quickly Checkable Proofs(thevivekpandey.github.io)
1 points by thevivekpandey 4y ago|0 comments
9.
An Always-On Screenshot Tool(devtendo.com)
6 points by thevivekpandey 7y ago|1 comments
10.
Portrait of a Customer Success Manager(thevivekpandey.github.io)
1 points by thevivekpandey 7y ago|0 comments
11.
My Learnings at Appier(thevivekpandey.github.io)
2 points by thevivekpandey 7y ago|0 comments
12.
The Way of Chinese Language(thevivekpandey.github.io)
57 points by thevivekpandey 8y ago|83 comments
13.
Asserts as Comments(thevivekpandey.github.io)
1 points by thevivekpandey 8y ago|1 comments
14.
Arithmetic Mean vs. Geometric Mean(thevivekpandey.github.io)
2 points by thevivekpandey 9y ago|1 comments
15.
The Inverse Pythagoras Theorem(thevivekpandey.github.io)
3 points by thevivekpandey 9y ago|0 comments
16.
Prisoners of Prisoner's Dilemma(thevivekpandey.github.io)
3 points by thevivekpandey 9y ago|0 comments
17.
The Undoables of Computer Science(thevivekpandey.github.io)
2 points by thevivekpandey 9y ago|0 comments
18.
Study notes: Why deep and cheap learning works(thevivekpandey.github.io)
3 points by thevivekpandey 9y ago|0 comments
19.
Practical aspects of deep learning(thevivekpandey.github.io)
1 points by thevivekpandey 9y ago|0 comments
20.
The Name Fail: How misnaming a class hurt us royally(thevivekpandey.github.io)
1 points by thevivekpandey 9y ago|0 comments
21.
Linux System Call Table(thevivekpandey.github.io)
220 points by thevivekpandey 9y ago|61 comments
22.
Generating GUI code from screenshots using deep learning(arxiv.org)
1 points by thevivekpandey 9y ago|0 comments
23.
High Velocity Data Ingestion: Lessons We Learnt(thevivekpandey.github.io)
3 points by thevivekpandey 9y ago|1 comments
24.
by thevivekpandey 9y ago
I believe it is not BS. However, currently there are not good tools which solve monitoring using AI in an elegant way.
25.
Some samples of Human(thevivekpandey.github.io)
1 points by thevivekpandey 9y ago|0 comments
26.
A Failed Attempt to Use Logistic Regression to Distinguish Between Cats and Dogs(thevivekpandey.github.io)
1 points by thevivekpandey 9y ago|0 comments
27.
The Yin and Yang(thevivekpandey.github.io)
1 points by thevivekpandey 9y ago|0 comments
28.
Why Deep Learning surprises me(thevivekpandey.github.io)
69 points by thevivekpandey 9y ago|80 comments
29.
Programming Language for Future(thevivekpandey.github.io)
3 points by thevivekpandey 9y ago|0 comments
30.
QGProfiler: A Simple Profiler for Python Programs(qgraph.io)
2 points by thevivekpandey 10y ago|0 comments

More ›