Source: boyter/cs: command line codespelunker or code search
Summary
Codespelunker (cs) is a command-line search tool to search over text or code files in the current directory, using boolean queries or regular expressions. It has a TUI and HTTP server interface, and ranks results on the fly.
Fact
Source: Counterexamples in Type Systems
at exhibit surprising behavior in statically-typed languages. Summary
This book is a collection of programs that exhibit impossible behavior in statically-typed languages. Each program comes with an explanation of what went wrong and references to the languages or systems in which the problem occurred.
Fact
Source: Quanta Magazine
Summary
The difficulty of measuring circuit complexity made it unpopular among scientists. However, computer scientists have now realized its value in understanding the AdS/CFT duality. The translation from a black hole to a hot plasma is hard, making it expected that measurable physics quantities on one side are “unfeelable” on the other. However, the rate at which circuit complexity grows with time remains a challenge to understand.
Fact
💻 Circuit complexity is a valuable physical quantity to understand the AdS/CFT duality.
🔍 The difficulty of measuring circuit complexity is a result of the challenge of the black hole-to-plasma translation.
📈 The rate at which circuit complexity grows with time remains a challenge to understand.
Source: Hierapolis sawmill
Summary
The water-powered Hierapolis sawmill in Asia Minor, dating back to 3rd century AD, had a crank and connecting rod mechanism recognised as the earliest machine of its kind. This corresponds with the machine combined with the crank slider mechanism.
Fact
Source: ‘Guilt Tipping’: Pressure to tip everywhere has gotten out of control
Summary
Tablet-style tipping at counter-service spots such as coffee shops and fast food restaurants has become the norm, with touchscreens suggesting to add anywhere from 18% to 30%, or even higher, to your order. While some feel that there is no added service to justify tipping, others feel guilty and feel obligated to do so, but most agree that excessive tipping is not reasonable.
Fact