frozenseven's submissions

1.		autoRL (github.com/harshbhatt7585)
		3 points by frozenseven 16 hours ago \| past \| discuss
2.		AutoKernel: Autoresearch for GPU Kernels (github.com/rightnow-ai)
		45 points by frozenseven 1 day ago \| past \| 10 comments
3.		Terence Tao: A crowdsourced repository for optimization constants? (terrytao.wordpress.com)
		6 points by frozenseven 47 days ago \| past \| 1 comment
4.		AI Global: Global Sector Trends on Generative AI (1/16/26) [pdf] (similarweb.com)
		1 point by frozenseven 48 days ago \| past
5.		SETA: Scaling Environments for Terminal Agents (camel-ai.org)
		1 point by frozenseven 59 days ago \| past
6.		List of Open Problems in Sublinear Algorithms [pdf] (sublinear.info)
		1 point by frozenseven 62 days ago \| past
7.		Tools for finding Busy Beaver Turing Machines and Proving others as non-halting (github.com/sligocki)
		1 point by frozenseven 65 days ago \| past
8.		List of Web Archiving Initiatives (wikipedia.org)
		3 points by frozenseven 66 days ago \| past
9.		Ghost Archive (ghostarchive.org)
		1 point by frozenseven 66 days ago \| past
10.		SeedFold and SeedProteo (seedfold.github.io)
		1 point by frozenseven 68 days ago \| past \| 1 comment
11.		Fantastic Reasoning Behaviors and Where to Find Them (arxiv.org)
		5 points by frozenseven 70 days ago \| past
12.		End-to-End Test-Time Training for Long Context [pdf] (test-time-training.github.io)
		6 points by frozenseven 72 days ago \| past \| 1 comment
13.		PostTrainBench: Measuring how well AI agents can post-train language models (posttrainbench.com)
		1 point by frozenseven 72 days ago \| past
14.		Terence Tao: AI contributions to Erdős problems (github.com/teorth)
		4 points by frozenseven 73 days ago \| past
15.		Animated AI (animatedai.github.io)
		302 points by frozenseven 76 days ago \| past \| 28 comments
16.		List of Ciphertexts (wikipedia.org)
		2 points by frozenseven 80 days ago \| past
17.		Convolution: The secret behind filtering (thewolfsound.com)
		2 points by frozenseven 85 days ago \| past
18.		LifeWiki \| The Wiki for Conway's Game of Life (conwaylife.com)
		1 point by frozenseven 89 days ago \| past
19.		Rivian Reveals New AI Assistant, Lidar, and Autonomous Driving Coming in 2026 (gizmodo.com)
		1 point by frozenseven 89 days ago \| past \| 1 comment
20.		Zevo wants to add robotaxis to car-share fleet, starting with newcomer Tensor (techcrunch.com)
		1 point by frozenseven 3 months ago \| past
21.		Undeciphered Writing Systems (wikipedia.org)
		4 points by frozenseven 3 months ago \| past
22.		Evoplex – platform for developing agent-based models and multi-agent systems (github.com/evoplex)
		1 point by frozenseven 3 months ago \| past
23.		Cryptids (bbchallenge.org)
		130 points by frozenseven 3 months ago \| past \| 19 comments
24.		Arc Prize 2025 Results and Analysis: Year of the Refinement Loop (arcprize.org)
		11 points by frozenseven 3 months ago \| past
25.		Ben Green's list of 100 Open Problems [pdf] (ox.ac.uk)
		3 points by frozenseven 3 months ago \| past
26.		Probing the Critical Point (CritPt) of AI Reasoning (critpt.com)
		1 point by frozenseven 3 months ago \| past
27.		The road to commercial success for neuromorphic technologies (nature.com)
		1 point by frozenseven 4 months ago \| past
28.		Making AI More Energy Efficient \| Extropic CTO [video] (youtube.com)
		1 point by frozenseven 4 months ago \| past
29.		AI Global: Global Sector Trends on Generative AI (10/10/25) [pdf] (similarweb.com)
		1 point by frozenseven 4 months ago \| past
30.		ShinkaEvolve in Action: How a Human-AI Partnership Conquered a Coding Challenge (sakana.ai)
		1 point by frozenseven 4 months ago \| past
		More