#rust#code_quality#ide#language#language_server#lsp#python#rust#type_check#type_checker#typecheck#typechecker#types#typing
Pyrefly is a fast tool for checking Python code. It helps catch mistakes before you run your code, making it easier to write reliable programs. Pyrefly can work with both new and old Python projects, even if they don't have type information. It integrates well with editors like VSCode, providing features like auto-completion and code refactoring. This makes coding faster and more efficient, helping you avoid bugs and making your code easier to understand and maintain.
https://github.com/facebook/pyrefly
#showerthoughts
I've never thought about dark mode in LaTeX. It sounds weird at first, but now thinking about this, it's actually a great style.
This is a dark style from Dracula.
https://draculatheme.com/latex
#showerthoughts
As human beings, we read or hear about facts of something. These are our priors. Our belief is then updated based on observation of data, aka, likelihood. Some people abide by the priors, they are the prior-people, while others are more like likelihood-people and easily change their belief based on observations.
There is a third type. They combine priors and likelihood. Change belief based on likelihood is prone to biases in data. By combining priors and likelihood, they have a better chance of getting to the right conclusion.
People have better ideas in the shower because warm water raises dopamine, a brain chemical that boosts creativity. Showering distracts the mind, helping it stop stressing over problems and work on solutions quietly. Doing a simple, relaxing task like showering makes it easier for new ideas to pop up. 🧠🚿
[Read more]
@googlefactss#Creativity#Dopamine#ShowerThoughts#Brain#Ideas