m_j_g

I currently need help with:

- (you can make it your own project) type-safe library for Matroids (in cubical agda, so different representations can be handled automatically)

- If you have some Elm experience you can help me with online toy to play with cubical agda :) ( https://raw.githack.com/marcinjangrzybowski/cubeViz/master/m...

In fact I would be very happy to find a collaborator for those projects. There is lot of people from academia focused on the fundamental projects, but I am more focused in programming something practical.

Agda and dependent types, after 15 years in software development I discovered it two years ago, and it is bringing me joy every day since :)

https://en.wikipedia.org/wiki/Villarceau_circles,

Link to the printable pattern is in the description of the YT video

original study : https://www.medrxiv.org/content/10.1101/2020.03.24.20042937v...

Based on my own experience, Cognitive behavioral therapy can help with problems like this. You do not need to talk to therapist, CBT is well suited for self help, just try to stick to well known, evidence based books.

> things that have a chance to be quantum leaps for a software project get shot down

Just genuinely cuorius, what examples do you have in mind ?

Personally i have hope that in 50years homotopy type theory (ane generally formal methods) will find real applications in the industry

As curvature of space is affecting measurments of distances in angles, the curvature of spacetime is affecting both measurements of time and distance.

Concerning the curvature of space: If you measure sum of angles of triangle on the surface of earth, it will be grater than 180 deagrees thanks to positive curvature of earth surface. For triangle in your backyard the diference will be immesurable, but if your measure traingle with segments spanning for 6 thousends kilometers sum of the angles will be closer to 270 deg than 180 deg.

For the spacetime in the vicinity of earth you don't have to necessarly think about large distances, here (https://www.reddit.com/r/askscience/comments/2pu2o0/is_there...) someone calculated diference for two clocks so you can se scale :

"If so the clocks on Earth's surface and 7km down would see a relative drift of 0.001ns per second, so the lower clock would tick that much slower as viewed by someone on the surface. At that rate over the course of a billion years the surface clock would pull ahead by 525.6 minutes."

The radius of curvature is much bigger than distances we daily measure, for a similar reason when dealing with small distances on the surface of the earth you can use flat, Euclidean geometry. We can measure the curvature of space(time), for example, Gravity Probe A managed to measure the curvature of space-time in the vicinity of earth.

Elm has syntax errors stylized in this manner, but I am not sure how much is only rephrasing of usual "expected" or something more elaborate

in atom plugin for agda you just typing \bn or \bz , full reference here: https://people.inf.elte.hu/divip/AgdaTutorial/Symbols.html#b...

> with all the negative safety implications

https://edition.cnn.com/2019/01/04/europe/teens-die-poland-e...

Currently in Poland authorities starting to look into possible regulations to make escape rooms safer