| | Correct and Efficient Bounded FIFO Queues (hal.science) |
| 2 points by navidhg 3 months ago | past |
|
| | Emulation of 3Sum, 4Sum, the FMA and FD2 in Rounded-to-Nearest FP Arithmetic (hal.science) |
| 2 points by luu 3 months ago | past |
|
| | How do you compute the midpoint of an interval? (2014) [pdf] (hal.science) |
| 1 point by todsacerdoti 4 months ago | past |
|
| | The Sad State of Hardware Virtual Textures (hal.science) |
| 3 points by ibobev 4 months ago | past |
|
| | Privacy implications of browsers’ (mis)implementations of Widevine EME (2023) (hal.science) |
| 119 points by exceptione 5 months ago | past | 80 comments |
|
| | Last fifty years of integer linear programming: Recent practical advances (2024) (hal.science) |
| 216 points by teleforce 5 months ago | past | 83 comments |
|
| | Swhid specification kickoff meeting (2023) (hal.science) |
| 2 points by Tomte 6 months ago | past |
|
| | In-context learning as a kind of symbolic-AutoML: Lyapunov conjecture for CoTs (hal.science) |
| 2 points by northlondoner 6 months ago | past |
|
| | FlexiVol Volumetric Display Elastic Diffuser to Enable Reach-Through Interaction (hal.science) |
| 1 point by richardboegli 7 months ago | past |
|
| | Owi: Performant parallel symbolic execution made easy with OCaml and WebAssembly (hal.science) |
| 1 point by fanf2 7 months ago | past |
|
| | Code Beyond Fair (hal.science) |
| 1 point by todsacerdoti 9 months ago | past |
|
| | A Modern Compiler for the French Tax Code (hal.science) |
| 2 points by todsacerdoti 9 months ago | past |
|
| | Lyapunov Conjecture for Chain of Thought (hal.science) |
| 1 point by northlondoner 10 months ago | past |
|
| | It wasn't surprising that NNs got Nobel in Physics (hal.science) |
| 2 points by northlondoner 11 months ago | past |
|
| | Terabrain Project: Simulating billions of spiking neurons on standard computer [pdf] (hal.science) |
| 4 points by concrete_head 12 months ago | past | 1 comment |
|
| | Correctly-rounded evaluation of a function: why, how, and at what cost? [pdf] (hal.science) |
| 2 points by bremac on Oct 29, 2024 | past |
|
| | Kronos: Soviet Processor Family for High-Level Languages (2006) [pdf] (hal.science) |
| 61 points by mepian on Oct 23, 2024 | past | 14 comments |
|
| | Interval Shading (hal.science) |
| 1 point by ibobev on Oct 10, 2024 | past |
|
| | The categorical contours of the Chomsky-Schützenberger representation thm (2023) (hal.science) |
| 2 points by aebtebeten on Sept 4, 2024 | past |
|
| | GigaVoxels DP: Starvation-Less Render and Production for Volumetric Worlds (hal.science) |
| 1 point by ibobev on July 30, 2024 | past |
|
| | Decriminalizing Homosexuality: A Global Overview Since the 18th Century (2022) (hal.science) |
| 25 points by therabbithole on July 16, 2024 | past | 13 comments |
|
| | Children's mental models of recursive LOGO programs (1985) (hal.science) |
| 111 points by YuxiLiuWired on July 8, 2024 | past | 26 comments |
|
| | Patch Decomposition for Efficient Mesh Contours Extraction (hal.science) |
| 1 point by ibobev on July 2, 2024 | past |
|
| | Contributions to the Practice and Theory of State-Machine Replication (hal.science) |
| 2 points by otrack on June 2, 2024 | past |
|
| | Contributions to the Practice and Theory of State-Machine Replication (hal.science) |
| 2 points by otrack on May 31, 2024 | past |
|
| | Contributions to the Practice and Theory of State-Machine Replication (hal.science) |
| 2 points by otrack on May 30, 2024 | past |
|
| | Statistical MT for Suggesting Variable Names for Decompiled Code (hal.science) |
| 2 points by psychoslave on May 28, 2024 | past |
|
| | Trap spaces of Boolean networks are conflict-free siphons of their Petri net [pdf] (hal.science) |
| 39 points by luu on April 15, 2024 | past | 19 comments |
|
| | HAL Open Science: Open and share the knowledge (hal.science) |
| 1 point by teleforce on April 5, 2024 | past | 1 comment |
|
| | New Applications of Clifford's Geometric Algebra (hal.science) |
| 29 points by teleforce on March 1, 2024 | past | 1 comment |
|
|
| More |
