#MULCIA: Permanent position in applied formal methods at Swansea University. https://bit.ly/3ZbJNuO #Job #CompSci

📜 A History of the Virtual Synchrony Replication Model [2010]

By: K. Birman

📖 https://github.com/papers-we-love/papers-we-love/blob/master/distributed_systems/a-history-of-the-virtual-synchrony-replication-model.pdf
🔍 https://www.semanticscholar.org/paper/acb07a26a7003fd9ddda31a5a0ae6b855557d608

#semanticScholar #paperswelove #research #compsci

Papers with computer-checked proofs. ~ Daniel J. Bernstein (@hashbreaker). https://cr.yp.to/papers/pwccp-20230906.pdf #ITP #HOL_Light #Math #CompSci

#MULCIA: Prefaculty / postdoc researcher in type systems at Jane Street https://bit.ly/3R0jLZw #PhD #PostDoc #CompSci

continuing from this post, re: semgrep/comby/ROTOR: https://discuss.ocaml.org/t/next-priority-for-ocaml/12561/97?u=elliottcable

Y’know, just musing, and i’m brand-new to this terminology so this may sound stupid, but …

with tools like Semgrep/Comby, we’re effectively talking about pattern-matching (over syntax instead of ADTs), and pattern-matching is a specific application of unification, right?

Am I correct in thinking that a truly-general refactoring tool like that would have a lot in common with a first-order #typechecker?

#typetheory #compilers #compsci

I am trying to figure out why as late as 1975 the #Cray 1 #supercomputer was utilizing delay-lines for the system clocks instead of using crystal oscillators. Below is the timing setting chart for the second hardware revision of the Cray 1. Maybe it was more reliable at the time considering how many different things in the system needed a reliable, synchronized clock signal?

#compsci #computerscience #vintagecomputing #electricalengineering

#MULCIA: Fully funded PhD positions in combinatorics, random graphs, logic, complexity, and semantics at University of Sheffield. https://bit.ly/47RChci #PhD #CompSci

📜 Flat Datacenter Storage [2012]

By: Edmund B. Nightingale, J. Elson, J. Fan, et al.

📖 https://github.com/papers-we-love/papers-we-love/blob/master/datastores/flat-datacenter-storage.pdf
🔍 https://www.semanticscholar.org/paper/9a3bca343f1c57c700827062da35bf84c85cda28

#semanticScholar #paperswelove #research #compsci

A non-expert's introduction to data ethics for mathematicians. ~ Mason A. Porter. https://arxiv.org/abs/2201.07794 #Ethics #CompSci #Math

Entrevista a Peter J. Denning (Precursor de la ciencia de la computación). ~ Camilo Chacón Sartori (@camilo_chacon_s). https://camilocs.substack.com/p/entrevista-a-peter-j-denning #CompSci

I have handed in my MSc project report. It is done. I'd like to thank my ever-patient girlfriend, friends who haven't seen much of me for two years, work for letting me use hack days on school work, coffee, tea, custard creams, my mother, my producer, etc. etc. And @timberry for talking me into it! #adultlearning #msc #compsci #beeroclock

Complexity theory’s 50-year journey to the limits of knowledge. ~ Ben Brubaker. https://www.quantamagazine.org/complexity-theorys-50-year-journey-to-the-limits-of-knowledge-20230817/ #Math #CompSci

Complexity Theory’s 50-Year Journey to the Limits of Knowledge: How hard is it to prove that problems are hard to solve? Meta-complexity theorists have been asking questions like this for decades. A string of recent results has started to deliver answers. https://www.quantamagazine.org/complexity-theorys-50-year-journey-to-the-limits-of-knowledge-20230817/ by @benbenbrubaker in @QuantaMagazine #logic #compsci #complexity

Entrevista a William J. Rapaport (Uno de los principales filósofos de la computación). ~ Camilo Chacón Sartori (@camilo_chacon_s). https://camilocs.substack.com/p/entrevista-a-william-j-rapaport #CompSci

📜 Large-scale Incremental Processing Using Distributed Transactions and Notifications [2010]

By: Daniel Peng, F. Dabek

📖 https://github.com/papers-we-love/papers-we-love/blob/master/distributed_systems/large-scale-incremental-processing-using-distributed-transactions-and-notifications.pdf
🔍 https://www.semanticscholar.org/paper/edc0e6a71118624d5ce887657301c6bf39df39df

#semanticScholar #paperswelove #research #compsci

#MULCIA: Postdoctoral position in verification/robustness of AI at Oxford University. https://bit.ly/47BX4AE #PostDoc #CompSci

[VIDEO] Sharing Your Scratch Channel in Canvas
https://youtu.be/gdJZLaMZi5k

90 second #tutorial video for my middle school computer programming students

#Scratch #coding #CompSci

#Compsci people:

if you were to compare #distributed computing #architectures, what are the features along which you'd compare them?

Some ideas:
1. Where on the CAP tradeoffs something is.
2. Tolerance against hostile nodes.
3. Supporting localized innovation/extension.
4. Statistical properties such as max latency.
5. Ease of recovery from node failures.
...

Anybody have a good list so I don't need to make one up on my own?

A conversation about Equity, Diversity, Inclusion and Accessibility (EDIA) in the
#researchsoftware engineering (RSE) community: reflections on successes and challenges

12th Sept 09:00-10:00 UTC, online

@ellakaye (University of Warwick)
and Malvika Sharan (Alan Turing Institute) will converse about their experiences with the RSE community and
the challenges and successes they’ve encountered when working to improve EDIA

https://diverse-rse.github.io/events/2023-09-12 #RSEng #compsci

Hey #Biology folks; is animal bilateral symmetry a form of sex selected consistency checking?

In computer programming we often end up with test suites which have remarkable symmetries with the code they are trying to test. And I wonder if symmetry in general is an efficient heuristic for reproducible functionality?

#compsci #programming #evolution #testing