Paraconsistent logics find structure in our inconsistent world
2022-01-11
Is there a lexus nexus – thing for anything related to computer science?
2022-01-11
Text based requirement management with StrictDoc
2022-01-11
Use StrictHostKeyChecking=“accept-new” instead of “no”
2022-01-11
Overlap Gap Property: A Topological Barrier to Optimizing over Random Structures
2022-01-11
Ask HN: How do you store large amounts of structured data?
2022-01-11
Show HN: Mac-disk-monitor – Rust Crate to detect disk activity on mac
2022-01-10
Ask HN: How to learn about text editor architectures and implementations?
2022-01-10
The Lost Art of Structure Packing (2020)
2022-01-10
Log-Structured Protocols in Delos, FB's platform for control plane databases
2022-01-10