#MULCIA: Postdoc positions in formal methods and programming languages (The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark). https://tinyurl.com/25blteat #PostDoc #CompSci
Distributed snapshots: determining global states of distributed systems [1985]
By: K. M. Chandy, L. Lamport
https://github.com/papers-we-love/papers-we-love/blob/master/distributed_systems/distributed-snapshots-determining-global-states-of-distributed-systems.pdf
https://www.semanticscholar.org/paper/31814c386a31d27524a086f1f074c015bce08a2b
#MULCIA: 4 PhD positions in automated reasoning at TU Wien, Austria. https://tinyurl.com/25xb5u39 #PhD #CompSci
Seems learning institutions are no longer fully committed to the art of learning. The counter-productive idea that students are going to hop back and forth with using AI and then not using it is grounded in a serious lapse in learning and academic rigor.
I don't want my children learning from a machine that has no context, introspection or view of the world. Especially as it relates to science, the humanities, art, engineering, etc. Further I don't want to live in a world where I have to wonder if the person making X decision is basing it on something they learned from a statistical error that's been treated as fact and never corrected because... AI.
"Academic Integrity and Teaching With(out) AI". https://oaisc.fas.harvard.edu/academic-integrity-and-teaching-without-ai/
#MULCIA: Postdoc Position in AI Theorem Proving (ProofBench Project), TU Freiberg (Germany). https://tinyurl.com/29e3o7dh #PostDoc #CompSci #AI
The anatomy of a large-scale hypertextual Web search engine [1998]
By: BrinSergey, PageLawrence
https://github.com/papers-we-love/papers-we-love/blob/master/information_retrieval/okapi-at-trec3.pdf
https://www.semanticscholar.org/paper/e1da70f7720224b3da02f726aa89cc0b6bdedf49
Dynamo: amazon's highly available key-value store [2007]
By: Giuseppe deCandia, Deniz Hastorun, M. Jampani, et al.
https://github.com/papers-we-love/papers-we-love/blob/master/datastores/dynamo-amazons-highly-available-key-value-store.pdf
https://www.semanticscholar.org/paper/7d906f6632f8740b540ce4d710f53ab0f97cfd5b
GenAI for computing careers: A sunny take (Positive outcomes for computer science graduates will take some determined action from both educators and learners). ~ Saurabh Bagchi. https://cacm.acm.org/blogcacm/genai-for-computing-careers-a-sunny-take/ #GenAI #CompSci #Education
Martin Davis: An overview of his work in logic, computer science, and philosophy. ~ Liesbeth De Mol, Yuri V. Matiyasevich, Eugenio G. Omodeo, Alberto Policriti, Wilfried Sieg, Elaine J. Weyuker. https://arxiv.org/abs/2506.08588 #Logic #Math #CompSci
Michael Vaughn on EXE: Automatically Generating Inputs of Death [PWL NYC]
Design Principles Behind Smalltalk [2006]
By: D. Ingalls
https://github.com/papers-we-love/papers-we-love/blob/master/languages/smalltalk/Design-Principles-Behind-Smalltalk.pdf
https://www.semanticscholar.org/paper/374463f1237bb89c3c898aec0b88f76c0d98d87e
Happy birthday to trailblazing #programmer & #computer scientist, Beatrice “Trixie” Worsley (1921-1972). My #linocut shows Worsley seated at the first computer in Canada, the FERUT (which she named) & a flow diagram of one of her programs.
Trixie Worsley earned one of the first doctorates in computer science anywhere, & was supervised by Douglas Hartree & Alan Turing at Cambridge. Amongst the first computer scientists
The Chubby lock service for loosely-coupled distributed systems [2006]
By: B. Fleisch
https://github.com/papers-we-love/papers-we-love/blob/master/distributed_systems/the-chubby-lock-service-for-loosely-coupled-distributed-systems.pdf
https://www.semanticscholar.org/paper/f470be358519a8b3ed3bb837d20602362ba892f4
Readings shared October 16, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/17-readings_shared_10-16-25 #AI #CompSci #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math
Computing is indeed a discipline in crisis. ~ Moshe Vardi. https://www.bakerinstitute.org/research/computing-indeed-discipline-crisis #CompSci
#MULCIA: PhD positions in Mathematical Foundations of Computation Group at Bath. https://tinyurl.com/287yg995 #PhD #CompSci
Eluding carnivores: file sharing with strong anonymity [2004]
By: E. Sirer, Sharad Goel, Mark Robson, et al.
https://github.com/papers-we-love/papers-we-love/blob/master/distributed_systems/eluding-carnivores-file-sharing-with-strong-anonymity.pdf
https://www.semanticscholar.org/paper/9bb51c866d2f182da74872269630a81b0bacc231
