/explore
|
You are here 
|
www.maxpou.fr | ||
| | | | |
florimond.dev
How to prevent a common Python mistake that can lead to horrible bugs and waste everyone's time. |
|
| | | | | ||
| | | | |
sumercip.com
My shell is slooow! This is my first blog post for years. I have been finding excuses for not writing one over the years, but I feel this is the right time. I was coding as usual when I started something odd with my shell. I have done few adjustments to my .zshrc file and out of a sudden it became very slow to spawn a new shell. As a person who has a obsession with performance, it became my duty to find out the problem. |
|
| | | | | ||
| | | | |
sookocheff.com
Formally, beta reduction (also written \(\beta\)-reduction) is the replacement of a bound variable in a function body with a function argument. The purpose of \(\beta\)-reduction is to compute the result of a function by function application using specific rules. More formally, the beta reduction rule states that a function application of the form \((\lambda x.t)s\) reduces to the term \(t[x := s]\). The term \(t[x := s]\) means that all instances of \(x\) in \(t\) are replaced with \(s\). The \(\rightarrow\) syntax is used as a shorthand for beta reduction. We can specify beta-reduction explicitly using the notation \((\lambda x.t)s \rightarrow t[x := s]\), which means that the beta reduction of \((\lambda x.t)s)\) is \(t[x := s]\). The beta reduction remov... |
|
| | | | | ||
| | | | |
www.marcoieni.com
MarcoIeni's blog - programming, linux, and everything |
|
| | | |||
