#discretemathematics — Public Fediverse posts on home.social

Ana Tudor 🐯 @[email protected] · 2026-05-11 · 06:37 UTC

On changing #CSS property values when going from one state to another

https://www.reddit.com/r/css/comments/1t9n0zp/comment/ol4n11d/

#code #coding #logic #frontend #boolean #web #dev #webDev #webDevelopment #discreteMathematics #logicSystems #integratedCircuits

#css #code #coding #logic #frontend #boolean

Her Maths Story @[email protected] · 2026-04-22 · 10:06 UTC

“I realized that studying mathematics made me logical, precise and optimistic in life. The subject helped me gain the confidence and skills to achieve much more than I ever aspired to.” - Tabitha Rajashekar

➡️ https://hermathsstory.eu/tabitha-rajashekar/

#AbstractAlgebra #DiscreteMathematics #Academia #GraphTheory #WomenInMaths #HerMathsStory

#hermathsstory #womeninmaths #graphtheory #academia #discretemathematics #abstractalgebra

Wen @[email protected] · 2026-03-13 · 11:04 UTC

Obituary, Tony Hoare

I knew him when he was in Oxford and regularly came across him in conferences and seminars. #Quicksort was revolutionary, and #CSP had a profound effect on my thinking and technical analysis. He was always self deprecating and very approachable.

Edit an embarrassing spelling SNAFU

https://www.theregister.com/2026/03/12/in_memoriam_sir_tony_hoare/

#TonyHoare #ComputerScience #DiscreteMathematics #Obituary

#obituary #discretemathematics #computerscience #tonyhoare #csp #quicksort

Achim D. Brucker @[email protected] · 2026-03-10 · 10:12 UTC

Do you want to do a PhD in Formal Methods and are interested in pursuing a PhD? Look no further, we have an open position leading to a joint degree from the University Paris-Sacly (France) and the University of Exeter (UK):

Information about the programme can be found at
* <https://www.exeter.ac.uk/study/pg-research/funding/phdfunding/paris-saclay/>
* <https://adum.fr/as/ed/voirproposition.pl?langue=en&matricule_prop=71068&site=PSaclay>

All applications have to be made via the ADUM system:
<https://adum.fr/as/ed/voirproposition.pl?langue=en&matricule_prop=71068&site=PSaclay>,
latest on the 22nd of March 2026.

#phd #phdposition #formal_logic #isabelleHOL #formal_mehods #joboffer #DiscreteMathematics #NumberSystems