📈
📈
📈
📈
wiki
🏡
🐙
🐦
Search
⌃K
Links
Introduction
Books
Computer Science
Programming
Competitive Programming
Source control
Programming languages
Networking
Mindfullness
LLVM
Operating systems
Linux
macOS
Windows
CLI
Technology
Databases
Text editors
IDEs
Philosophy
Learning
History
Buddhism
Psychology
Logic
Literature
Research
Papers
Computer Science
Higher-order logic programming in Prolog
The Rise of Worse is Better
Advantages and Disadvantages of a Monolithic Repository
Coccinelle
Total Functional Programming
Scalable Component Abstractions
Psychology
Literature
Courses
Devops
Life
Meetups
Sports
Music
Podcasts
Movies
TV Series
Log
TIL
Powered By
GitBook
Computer Science
Where to find good Computer Science papers?
https://github.com/papers-we-love/papers-we-love
Operating systems
The Case for Writing Network Drivers in High-Level Languages
- Some interesting discussions regarding these results, -
https://news.ycombinator.com/item?id=20945819
DTrace
Software Engineering
The Rise of Worse is Better - Richard P. Gabriel
-
notes
Advantages and Disadvantages of a Monolithic Repository
-
notes
Coccinelle: 10 Years of Automated Evolution in the Linux Kernel
-
notes
Semantic Patches for Java Program Transformation
-
notes
Data Structures and Algorithms
Adaptive Software Cache Management
Functional programming
Total Functional Programming
-
notes
Concurrency
Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask
-
notes
Programming Languages
Stacked Borrows - An Aliasing Model for Rust
Java and Scala's type system is unsound
Scalable Component Abstractions
-
notes
A Path To DOT: Formalizing Fully Path-Dependent Types
Previous
Papers
Next
Higher-order logic programming in Prolog
Last modified
3yr ago