Submissions from alloc.dev

		Making Redstone circuits with SAT solvers (alloc.dev)
		2 points by Retro_Dev 3 months ago \| past
		LLMs Are Transpilers (alloc.dev)
		2 points by Retro_Dev 6 months ago \| past \| 2 comments
		Bing Translate vulnerable to prompt injection (alloc.dev)
		3 points by Retro_Dev 9 months ago \| past
		Low-Level Optimization with Zig (alloc.dev)
		307 points by Retro_Dev 10 months ago \| past \| 200 comments
		Learning C3 (alloc.dev)
		261 points by lerno 11 months ago \| past \| 155 comments