| | Swhid specification kickoff meeting (2023) (hal.science) |
|
2 points by Tomte 17 days ago | past
|
|
| | In-context learning as a kind of symbolic-AutoML: Lyapunov conjecture for CoTs (hal.science) |
|
2 points by northlondoner 26 days ago | past
|
|
| | FlexiVol Volumetric Display Elastic Diffuser to Enable Reach-Through Interaction (hal.science) |
|
1 point by richardboegli 46 days ago | past
|
|
| | Owi: Performant parallel symbolic execution made easy with OCaml and WebAssembly (hal.science) |
|
1 point by fanf2 55 days ago | past
|
|
| | Code Beyond Fair (hal.science) |
|
1 point by todsacerdoti 3 months ago | past
|
|
| | A Modern Compiler for the French Tax Code (hal.science) |
|
2 points by todsacerdoti 4 months ago | past
|
|
| | Lyapunov Conjecture for Chain of Thought (hal.science) |
|
1 point by northlondoner 4 months ago | past
|
|
| | It wasn't surprising that NNs got Nobel in Physics (hal.science) |
|
2 points by northlondoner 5 months ago | past
|
|
| | Terabrain Project: Simulating billions of spiking neurons on standard computer [pdf] (hal.science) |
|
4 points by concrete_head 6 months ago | past | 1 comment
|
|
| | Correctly-rounded evaluation of a function: why, how, and at what cost? [pdf] (hal.science) |
|
2 points by bremac 7 months ago | past
|
|
| | Kronos: Soviet Processor Family for High-Level Languages (2006) [pdf] (hal.science) |
|
61 points by mepian 7 months ago | past | 14 comments
|
|
| | Interval Shading (hal.science) |
|
1 point by ibobev 7 months ago | past
|
|
| | The categorical contours of the Chomsky-Schützenberger representation thm (2023) (hal.science) |
|
2 points by 082349872349872 9 months ago | past
|
|
| | GigaVoxels DP: Starvation-Less Render and Production for Volumetric Worlds (hal.science) |
|
1 point by ibobev 10 months ago | past
|
|
| | Decriminalizing Homosexuality: A Global Overview Since the 18th Century (2022) (hal.science) |
|
25 points by therabbithole 10 months ago | past | 13 comments
|
|
| | Children's mental models of recursive LOGO programs (1985) (hal.science) |
|
111 points by YuxiLiuWired 11 months ago | past | 26 comments
|
|
| | Patch Decomposition for Efficient Mesh Contours Extraction (hal.science) |
|
1 point by ibobev 11 months ago | 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
|
|
| | 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
|
|
|
|
More |
