~lobsters | Bookmarks (7)

clear filters

acm.org ×

Survey of Distributed File System Design Choices | ACM Transactions on Storage

acm.org

Skip Abstract SectionDecades of research on distributed file systems and storage systems exists. New researchers and...
Skip Abstract SectionDecades of research on distributed file systems and storage systems exists. New researchers and engineers have a lot of literature to study, but only a comparatively small number of high-level design choices are available when creating a distributed file system. And within each aspect of the sys...

design options distributed distributed file systems distributed storage osdev
1
More Fixpoints! (Functional Pearl)

acm.org

Haskell’s laziness allows the programmer to solve some problems naturally and declaratively via recursive equations. Unfortunately,...
Haskell’s laziness allows the programmer to solve some problems naturally and declaratively via recursive equations. Unfortunately, if the input is “too recursive”, these very elegant idioms can fall into the dreaded black hole, and the programmer has to resort to more pedestrian approaches. It does not have to be that way: We built variants of common pure data structures (Booleans, sets) where recursive definitions...

compilers haskell pdf
2
Measuring GitHub Copilot’s Impact on Productivity – Communications of the ACM

acm.org

ai
2
CACM Is Now Open Access – Communications of the ACM

acm.org

compsci historical science
2
Co-Developing Programs and Their Proof of Correctness

acm.org

Credit: Balein / Shutterstock Twenty years ago, Sir Tony Hoare proposed a grand challenge to the...
Credit: Balein / Shutterstock Twenty years ago, Sir Tony Hoare proposed a grand challenge to the computing research community: to develop a verifying compiler [which] uses mathematical and logical reasoning to check the correctness of the programs that it compiles. Hoare went on to set demanding success criteria for...

formalmethods programming
1
How to Design an ISA - ACM Queue

acm.org

January 11, 2024Volume 21, issue 6 PDF The popularity of RISC-V has led many to try...
January 11, 2024Volume 21, issue 6 PDF The popularity of RISC-V has led many to try designing instruction sets. David Chisnall Over the past decade I've been involved in several projects that have designed either ISA (instruction set architecture) extensions or clean-slate ISAs for various kinds of processors (you'l...

hardware
2
Towards Modern Development of Cloud Applications (2023)

acm.org

programming
2

~lobsters | Bookmarks (7)

Tags

Domains

Survey of Distributed File System Design Choices | ACM Transactions on Storage

More Fixpoints! (Functional Pearl)

Measuring GitHub Copilot’s Impact on Productivity – Communications of the ACM

CACM Is Now Open Access – Communications of the ACM

Co-Developing Programs and Their Proof of Correctness

How to Design an ISA - ACM Queue

Towards Modern Development of Cloud Applications (2023)