Transactional storage for geo-replicated systems [2011]
By: Yair Sovran, Russell Power, M. Aguilera, et al.
https://github.com/papers-we-love/papers-we-love/blob/master/datastores/transactional-storage-for-geo-replicated-systems.pdf
https://www.semanticscholar.org/paper/b8645fcfdf5af5759dc20ae769b96be510bdff1a
#MULCIA: Postdoc in AI (including logic), University of Bergen (Norway). https://tinyurl.com/2237r8xo #PostDoc #CompSci #AI
Here is a cool, novel advanced #algorithm for tracking #stealth and can be used for #asteroid tracking, #spacejunk etc
Also. These mosaiced screen video, you can read the #obfuscated text.
#opsec #infosec implications
"pixel voxel motion projection"
Readings shared July 18, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/19-readings_shared_07-18-25 #ACL2 #CompSci #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Rocq #Rust #Teaching
How do you compute the midpoint of an interval? (2014) https://lobste.rs/s/t8dsm3 #pdf #compsci
https://hal.science/file/index/docid/576641/filename/computing-midpoint.pdf
The Derivative of a Regular Type is its Type of One-Hole Contexts [2001]
By: Conor McBride
https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/the-derivative-of-a-regular-type-one-hole-contexts.pdf
https://www.semanticscholar.org/paper/4286bcc299ab34b0581cbd62d6241794fc9052de
Teaching software specification (Experience report). ~ Cameron Moy, Daniel Patterson. https://ccs.neu.edu/~camoy/pub/lsl.pdf #CompSci #Teaching #ITP #LeanProver #ACL2
CSLib: An open-source Lean 4 library formalizing a significant subsetof undergraduate-level computer science. ~ Clark Barrett et als. https://docs.google.com/presentation/d/1aJFM3EaI4LcppHR_2YFQHiBjUfMMhMKxCeM3BfINi48 #ITP #LeanProver #CompSci
#MULCIA: Applied researcher in formal methods (Lean4) at Axiomatic_AI. https://tinyurl.com/ylsqbu6e #Jobs #CompSci #LeanProver
Iris-WebP: Fast, efficient WebP encoder by @gianni https://lobste.rs/s/qckjst #compsci #web
https://halide.cx/iris
Anyone have suggestions on a "breadth instead of depth" type book for Computer Science?
I've been a pragmatic coder for a decade and run into all sorts of useful tools and concepts, but I would love exposure to as many as possible!
For instance, I just recently learned about Bloom filters. They just never came across my radar.
Has anyone played around with encouraging (but not requiring) students to teach one another?
One way of demonstrating mastery of the material is teaching it to others. I feel like if student A says "Student B really helped me understand the material" that increases my Bayesian posterior that student B understood the material really well (and also that student A understood it, since presumably after student B explained it, student A understood it at least better than they did before).
I wouldn't do this as the only, or even major, part of their grade, but it seems like if the grade is to reflect learning, that teaching it to others certainly reflects on their learning.
(Additional context: this is for a university-level elective technical course in Comp Sci, for 3rd and 4th-years mostly. I generally do flipped classroom and alternative grading - some combo of ungrading, mastery-based, standards-based, but I'm open to ideas. The class has about 55 students, so whatever it is can take some time but not be *too* time-intensive on me & the one TA.)
#MULCIA: Doctoral/Postdoctoral Position in Formal Methods and Verification, Konstanz (Germany). https://tinyurl.com/ysyqy3g5 #PhD #PostDoc #CompSci
#MULCIA: 2 Postdoc Positions in Homotopy Type Theory, University of Nottingham (UK). https://tinyurl.com/ysld3f5r #PostDoc #CompSci
#MULCIA: PhD positions in formal methods and planning, Gothenburg (Sweden) https://tinyurl.com/ywa5vee6 #PhD #CompSci
Consistent hashing and random trees: distributed caching protocols for relieving hot spots on the World Wide Web [1997]
By: D. Karger, E. Lehman, F. Leighton, et al.
https://github.com/papers-we-love/papers-we-love/blob/master/distributed_systems/consistent-hashing-and-random-trees.pdf
https://www.semanticscholar.org/paper/02bb762c3bd1b3d1ad788340d8e9cdc3d85f33e1