Verified Dynamic Programming with Σ-types in Lean

https://tannerduve.github.io/blog/memoization-sigma/

#HackerNews #Verified #Dynamic #Programming #Σ-types #Lean #DynamicProgramming #LeanLang

 Όχι στις συγχωνεύσεις τμημάτων και την υποβάθμιση των σχολείων

https://infolibre.gr/2024/07/09/ochi-stis-sygchoneyseis-tmimaton-kai-tin-ypovathmisi-ton-scholeion/
#Κοινωνία-Κινήματα #Παιδεία #Σ.Ε.Π.Ε #Σ.Ε.Π.Ε.ΔυτικήςΘεσσαλονίκης #συγχωνεύσειςσχολικώντμημάτων #υποβάθμισητωνδημίσωνσχολείων

Όχι στη βιομηχανία συνδικαλιστικών διώξεων, κινητοποίηση την Παρασκευή 21/6, 13:00 στη ΔΙΔΕ Πειραιά

https://infolibre.gr/2024/06/20/ochi-sti-viomichania-syndikalistikon-dioxeon-kinitopoiisi-tin-paraskeyi-21-6-13-00-sti-dide-peiraia/
#Ελευθερίες-Δικαιώματα #Εργατικό #Κοινωνία-Κινήματα #Παιδεία #σ

Εκδήλωση για την παλαιστινιακή HIP HOP, Παρασκευή 10/5 στις 19:00 στη Λοκομοτίβα Cooperativa

https://infolibre.gr/2024/05/09/ekdilosi-gia-tin-palaistiniaki-hip-hop-paraskeyi-10-5-stis-19-00-sti-lokomotiva-cooperativa/
#Κόσμος #DAM #ντοκιμαντέρ #παλαιστινιακάεδάφη #παλαιστινιακήhiphop #Σ.ΜΠΑΡΕΤ #

Το Σωματείο Εργαζομένων στον ΕΟΔΥ καταγγέλλει τον Οργανισμό Δημόσιας Υγείας

https://infolibre.gr/2023/11/01/to-somateio-ergazomenon-ston-eody-kataggellei-ton-organismo-dimosias-ygeias/
#Κοινά/Συνεργατικά/Περιβάλλον/Υγεία #Υγεία #καταγγελίεςΣ.Ε.Ε.Ο.Δ.Υ.κατάΟργανισμού #Σ.Ε.Ε.Ο.Δ.Υ.

Summary progression (1, 3, 6, 10, 15, 21, etc...) is something we are familiar with from school. Many games use it. If it's adopted for a #TTRPG in a more general way, then you can employ a simplified form of sigma (Σ), with no sub- or super-scripts, for many purposes in the game. For one thing, Σ looks great.

The value is easy to determine with x(x+1)/2, but a chart would enable using Σ backwards, perhaps calling it rΣ.

1 1
2 3
3 6
4 10
5 15

Thus, Σ[5] is 15, and rΣ[10] = 4.

#Σ

ΟΧΙ στην καταστροφή της αυλής του 12ου Δημοτικού Σχολείου Αμπελοκήπων

https://infolibre.gr/2023/06/24/ochi-stin-katastrofi-tis-aylis-toy-12oy-dimotikoy-scholeioy-ampelokipon/
#Κοινωνία-Κινήματα #Παιδεία #Αμπελόκηποι #αναψυχή #εκπαιδευτικοί #καταστροφήαυλής #παιχνίδι #Σ.Ε.Π.Ε #Σχολείο