BookofProofs Updated 2025-07-16
No open signup it seems. TODO CV of owner.
They are making a proof assistant to integrate into the website: github.com/bookofproofs/fpl/, reminds Ciro Santilli of website front-end for a mathematical formal proof system.
Bootloader Updated 2025-07-16
Borlotti beans Updated 2025-07-16
This looks a lot like the beans that Brazilians venerate and can be easily found in the United Kingdom as of 2020.
The more exact type seems to be pinto bean, but this is close enough.
2021-02-10: attempt 3: 500g 1 hour 30 minutes no pressure, uncontrolled water. Salt with one chorizo: put 3 teaspoons, it was a bit too much, going to do 2 next time and see.
2020-11-30: attempt 2: 275ml of dry beans, about 50% of 500g bag, putting 1650 ml (6x) of water on pressure cooker Still had to throw out some water.
Therefore, to the maximum 2.5L of the cooker with 8x dry volume water from this recipe I can use:and so:which is about 227 / 580 = 40% of the 500 g bag.
2500 = volume expanded bean + volume water = 3 volume dry bean + 8 volume dry bean = 11 volume dry beanvolume dry bean = 2500/11 = 227ml Bose-Einstein statistics Updated 2025-07-16
Bo Ya Updated 2025-07-16
en.wikipedia.org/w/index.php?title=Bo_Ya&oldid=1150295883#The_story_about_Zhiyin:
Bo Ya was good at playing the qin. Zhong Ziqi was good at listening to the qin. When Bo Ya's will was towards high mountains in his playing, Zhong Ziqi would say, "How towering like Mount Tai!" When Bo Ya's will was towards flowing water in his playing, Zhong Ziqi would say, "How vast are the rivers and oceans!" Whatever Bo Ya thought of Ziqi would never fail to understand. Bo Ya said, "Amazing! Your heart and mine are the same!" After Zhong Ziqi died, Bo Ya broke his Guqin because he thought that no one else can understand his music.
Brady Haran Updated 2025-07-16
Brain Updated 2025-07-16
Brain cell type Updated 2025-07-16
Brain-computer interface Updated 2025-07-16
Brain-computer interface company Updated 2025-07-16
Brain-computer interfaces could be the next big thing Updated 2025-07-16
How hard could it be? You just have to learn the encoding of the neural spine/eyes/ear, add an invasive device that multiplexes it, and then the benefits could be mind blowing.
Braindumping Updated 2025-07-16
There are two ways:
- manually dumping your brain on media such as notebooks, wikis or videos, i.e. forming a personal knowledge base
- technically using sensors for brain scanning
Brain in a vat Updated 2025-07-16
Brain reading Updated 2025-07-16
Brain scanning Updated 2025-07-16
Likely implies whole brain emulation and therefore AGI.
Cantor's diagonal argument Updated 2025-07-16
BrainSimII Updated 2025-07-16
Brain simulation Updated 2025-07-16
- www.nature.com/articles/d41586-019-02209-z The four biggest challenges in brain simulation (2019)
Brainwashing Updated 2025-07-16
There are unlisted articles, also show them or only show them.