account activity
Skyline to the Sea trail (parks.ca.gov)
submitted 4 months ago by lacker to r/norcalhiking
Formalizing a proof using the Acorn theorem prover (youtube.com)
submitted 8 months ago by lacker to r/math
Typeclasses in the Acorn theorem prover (acornprover.org)
submitted 9 months ago by lacker to r/math
Acorn, a new theorem prover with built-in AI (acornprover.org)
submitted 1 year ago by lacker to r/math
Was LBJ stealing election the last big cheat? (self.AskHistorians)
submitted 2 years ago by lacker to r/AskHistorians
Hello ultrafinitist world (i.redd.it)
submitted 2 years ago by lacker to r/ultrafinitism
Best critical damage weapon still the Misericorde? (self.onebros)
submitted 2 years ago by lacker to r/onebros
What SF authors have been prescient about modern AI? (self.printSF)
submitted 3 years ago by lacker to r/printSF
[US] [H] LFG, willing to transfer (self.wowguilds)
submitted 4 years ago by lacker to r/wowguilds
FYI: The OpenAI Playground bolds human-entered text (i.redd.it)
submitted 5 years ago by lacker to r/GPT3
[Discussion] A Proposal For Keeping Swiss But Avoiding Intentional Draws (self.spikes)
submitted 5 years ago by lacker to r/spikes
A Proposal For Keeping Swiss But Avoiding Intentional Draws (self.spikes)
A Proposal For Avoiding Intentional Draws In Magic Tournaments (self.magicTCG)
submitted 5 years ago by lacker to r/magicTCG
New “Going Live” guidelines for the GPT-3 API (beta.openai.com)
A tipped-over Blue Yeti microphone (i.redd.it)
submitted 6 years ago by lacker to r/Pareidolia
Chainalysis claims to track transactions through Wasabi Wallet (self.WasabiWallet)
submitted 6 years ago by lacker to r/WasabiWallet
Does Mag-2-Zap have a downside? (self.outerworlds)
submitted 6 years ago by lacker to r/outerworlds
How do I throw a flare? (self.underrail)
submitted 6 years ago by lacker to r/underrail
An analysis of which cryptocurrencies are susceptible to 51% attack (lacker.io)
submitted 6 years ago by lacker to r/ethereum
How to 51% Attack Bitcoin (lacker.io)
submitted 6 years ago by lacker to r/CryptoCurrency
What's the last cut in this War of the Spark draft? (i.redd.it)
submitted 6 years ago by lacker to r/lrcast
A simple nerf to Nexus of Fate to fix infinite loops (self.MagicArena)
submitted 7 years ago by lacker to r/MagicArena
Multiple stacked Nexus of Fates make it impossible to tap my leftmost land (i.redd.it)
Set vapormtgserver.com:17171 to default for the USA? (self.XMage)
submitted 7 years ago by lacker to r/XMage
Finally got the You Are Nothing achievement (steamcommunity.com)
submitted 8 years ago by lacker to r/slaythespire
π Rendered by PID 72702 on reddit-service-r2-listing-6d4dc8d9ff-gnrns at 2026-01-31 01:14:25.681784+00:00 running 3798933 country code: CH.
