Claude Code

Claude Code is built for developers - try it.

You can run it from a terminal (formerly only WSL).

Due to prompt injection risks, do not use it on codebases you do not trust.

Leaning in on Lean

Lean is an open-source programming language and proof assistant. AWS uses Lean and "verification-guided development" to verify Cedar, the AWS authorization policy language.

Lean is being used to attempt a computer proof of Fermat's Last Theorem using the blueprint.

pip install networkx

Python package to analyse complex networks.

Useful Little Numpy Functions like linspace

numpy.linspace creates an array (ndarray) of evenly spaced numbers between a start and stop value.

numpy.zeros returns a new array of given shape and type, filled with zeros.

Microsoft Copilot Outage due to Azure Configuration Error

This has affected the UK and Europe region.

Risk Managing WSL

If you are manager of desktops and need to understand WSL risks, here is a summary.

WSL allows users root access inside their Linux instance with ability to install a host of useful software including compilers, packages etc. Linux binaries may be run which Windows Defender may not fully inspect.

However, users have no admin rights on Windows itself.

There are a number of risks which include unmonitored code execution and running unvetted network services as well as bringing unmanaged Linux tooling into the Windows estate.

It can be managed, but adds an additional complexity layer.

batcat - a syntax highlighting version of cat

To install in ubuntu use:

sudo apt install bat

Then batcat the file you want to display.

If you want to look at the package in more detail, you can type:

apt show bat (don't need sudo for this)

You will see this is a Rust compiled file.