| | Engineering Dependable AI Systems (hal.science) |
| 2 points by jdmark on Feb 29, 2024 | past |
|
| | Perturbation of Prefrontal Cortex Makes Power-Holders Less Resistant to Bribes (hal.science) |
| 1 point by delichon on Feb 15, 2024 | past |
|
| | Rage Against the Glue: Beyond Run-Time Media Frameworks with Modern C++ (hal.science) |
| 3 points by todsacerdoti on Feb 14, 2024 | past | 1 comment |
|
| | Analysis of Six Distributed File Systems (2013) [pdf] (hal.science) |
| 2 points by clockworksoul on Jan 5, 2024 | past |
|
| | First fully-polynomial transformer for distributed algorithms (hal.science) |
| 2 points by LLyaudet on Dec 31, 2023 | past | 1 comment |
|
| | Tortured conference series thriving in computer science (hal.science) |
| 72 points by wjb3 on Dec 15, 2023 | past | 25 comments |
|
| | Beck Back in the Nineteenth Century: Towards a Genealogy of Risk Society [pdf] (hal.science) |
| 1 point by jruohonen on Dec 14, 2023 | past | 1 comment |
|
| | SmolPhone: A Smartphone with Energy Limits (hal.science) |
| 3 points by teleforce on Nov 20, 2023 | past |
|
| | Engineering Dependable AI Systems (hal.science) |
| 1 point by jdmark on Nov 6, 2023 | past |
|
| | A possible first use of CAM/CAD [pdf] (hal.science) |
| 2 points by satiric on Oct 31, 2023 | past | 1 comment |
|
| | 3-D printed antenna solutions targeting cost effective satellite on the move (hal.science) |
| 1 point by teleforce on Sept 14, 2023 | past |
|
| | Merge Strategies: From Merge Sort to TimSort [pdf] (hal.science) |
| 2 points by earthicus on July 29, 2023 | past |
|
| | Bit-Stealing Made Legal: Compilation for Custom Memory Representations of ADTs (hal.science) |
| 1 point by matt_d on July 26, 2023 | past |
|
| | Bit-Stealing Made Legal (hal.science) |
| 16 points by luu on July 26, 2023 | past | 2 comments |
|
| | Mapping a French Internet Experience:A Decade of Unix Networks Cooperation (hal.science) |
| 4 points by teleforce on June 19, 2023 | past |
|
| | Branch Prediction and the Performance of Interpreters: Don’t Trust Folklore (hal.science) |
| 4 points by ingve on June 1, 2023 | past |
|
| | Testing a Formally Verified Compiler (hal.science) |
| 129 points by luu on May 21, 2023 | past | 32 comments |
|
| | Testing a Formally Verified Compiler (hal.science) |
| 2 points by matt_d on May 20, 2023 | past |
|
| | The Sorites Paradox in Psychology (hal.science) |
| 1 point by rzk on May 9, 2023 | past | 1 comment |
|
| | Merkle Search Trees: Efficient State-Based CRDTs in Open Networks (2019) (hal.science) |
| 5 points by greyface- on April 30, 2023 | past | 1 comment |
|
| | Translation Validation of Tensor Compilers (hal.science) |
| 12 points by matt_d on April 28, 2023 | past |
|
| | Specifying and Verifying Higher-Order Rust Iterators (hal.science) |
| 4 points by xavxav on April 27, 2023 | past |
|
| | LiteX: An open-source SoC builder and library based on Migen Python DSL (hal.science) |
| 1 point by teleforce on March 10, 2023 | past |
|
| | Lattice paths of slope 2/5 (hal.science) |
| 2 points by paulpauper on Feb 6, 2023 | past |
|
