Submissions from hal.science

		New AGI Framework Different (hal.science)
		1 point by Sai-dewa 37 days ago \| past \| 4 comments
		What to Expect when Using 5G DECT NR+ [pdf] (hal.science)
		1 point by teleforce 49 days ago \| past
		Collatz High Cycles Do Not Exist (K. Knight), Discrete Mathematics 349(3), 2023 (hal.science)
		2 points by vismit2000 68 days ago \| past
		Public key encryption for pedestrians: RSA and OAEP padding with a real SSH key (hal.science)
		1 point by Ranlot 87 days ago \| past
		Dark Forest Theory and Multi-Agent Reinforcement Learning (2023) (hal.science)
		2 points by hamburgererror 3 months ago \| past \| 2 comments
		Correct and Efficient Bounded FIFO Queues (hal.science)
		2 points by navidhg 7 months ago \| past
		Emulation of 3Sum, 4Sum, the FMA and FD2 in Rounded-to-Nearest FP Arithmetic (hal.science)
		2 points by luu 8 months ago \| past
		How do you compute the midpoint of an interval? (2014) [pdf] (hal.science)
		1 point by todsacerdoti 8 months ago \| past
		The Sad State of Hardware Virtual Textures (hal.science)
		3 points by ibobev 9 months ago \| past
		Privacy implications of browsers’ (mis)implementations of Widevine EME (2023) (hal.science)
		119 points by exceptione 9 months ago \| past \| 80 comments
		Last fifty years of integer linear programming: Recent practical advances (2024) (hal.science)
		216 points by teleforce 9 months ago \| past \| 83 comments
		Swhid specification kickoff meeting (2023) (hal.science)
		2 points by Tomte 10 months ago \| past
		In-context learning as a kind of symbolic-AutoML: Lyapunov conjecture for CoTs (hal.science)
		2 points by northlondoner 11 months ago \| past
		FlexiVol Volumetric Display Elastic Diffuser to Enable Reach-Through Interaction (hal.science)
		1 point by richardboegli 11 months ago \| past
		Owi: Performant parallel symbolic execution made easy with OCaml and WebAssembly (hal.science)
		1 point by fanf2 12 months ago \| past
		Code Beyond Fair (hal.science)
		1 point by todsacerdoti on Feb 7, 2025 \| past
		A Modern Compiler for the French Tax Code (hal.science)
		2 points by todsacerdoti on Jan 29, 2025 \| past
		Lyapunov Conjecture for Chain of Thought (hal.science)
		1 point by northlondoner on Jan 10, 2025 \| past
		It wasn't surprising that NNs got Nobel in Physics (hal.science)
		2 points by northlondoner on Dec 13, 2024 \| past
		Terabrain Project: Simulating billions of spiking neurons on standard computer [pdf] (hal.science)
		4 points by concrete_head on Nov 23, 2024 \| 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
		More

HN For You