Teamwork makes the dream work in Gas Station Manager! 🧼💸
Grab your buddy and dive into our free demo! 🎮⛽️
store.steampowered.com/app/3353850/...
#IndieGame #CoopGaming #GasStationManager
Grab your buddy and dive into our free demo! 🎮⛽️
store.steampowered.com/app/3353850/...
#IndieGame #CoopGaming #GasStationManager
January 14, 2025 at 10:19 AM
Teamwork makes the dream work in Gas Station Manager! 🧼💸
Grab your buddy and dive into our free demo! 🎮⛽️
store.steampowered.com/app/3353850/...
#IndieGame #CoopGaming #GasStationManager
Grab your buddy and dive into our free demo! 🎮⛽️
store.steampowered.com/app/3353850/...
#IndieGame #CoopGaming #GasStationManager
Guaranteed Safe AI Seminars, August 2025 edition:
Towards Safe and Hallucination-Free Coding AIs, by GasStationManager (Independent Researcher)
On August 7, 13:00 EDT. To join: lu.ma/6zpndj0w
Towards Safe and Hallucination-Free Coding AIs, by GasStationManager (Independent Researcher)
On August 7, 13:00 EDT. To join: lu.ma/6zpndj0w
Towards Safe and Hallucination-Free Coding AIs – GasStationManager · Zoom · Luma
Towards Safe and Hallucination-Free Coding AIs
GasStationManager – Independent Researcher
Modern LLM-based AIs have exhibited great coding abilities, and have…
lu.ma
July 22, 2025 at 12:21 PM
Guaranteed Safe AI Seminars, August 2025 edition:
Towards Safe and Hallucination-Free Coding AIs, by GasStationManager (Independent Researcher)
On August 7, 13:00 EDT. To join: lu.ma/6zpndj0w
Towards Safe and Hallucination-Free Coding AIs, by GasStationManager (Independent Researcher)
On August 7, 13:00 EDT. To join: lu.ma/6zpndj0w
github.com/GasStationMa...
My repository with proof of concept and some preliminary results on autoformalization of coding problems.
My repository with proof of concept and some preliminary results on autoformalization of coding problems.
GitHub - GasStationManager/FormalizeWithTest: Autoformalization of coding problems, verified with test cases
Autoformalization of coding problems, verified with test cases - GasStationManager/FormalizeWithTest
github.com
November 29, 2024 at 3:34 AM
github.com/GasStationMa...
My repository with proof of concept and some preliminary results on autoformalization of coding problems.
My repository with proof of concept and some preliminary results on autoformalization of coding problems.
This event was postponed to next Thursday, September 11, 1PM EDT. Join the discussion! luma.com/g88qnql1
Towards Safe and Hallucination-Free Coding AIs – GasStationManager · Zoom · Luma
Towards Safe and Hallucination-Free Coding AIs
GasStationManager – Independent Researcher
Modern LLM-based AIs have exhibited great coding abilities, and have…
luma.com
September 4, 2025 at 3:25 PM
This event was postponed to next Thursday, September 11, 1PM EDT. Join the discussion! luma.com/g88qnql1
🚀 The Gas Station Manager demo is LIVE! ⛽💥
Start your chaotic journey today:
✅ Fuel cars with precision.
✅ Restock and manage your market.
✅ Chase shoplifters with a bat!
Try now: store.steampowered.com/app/3353850/...
#IndieGame #GasStationManager
Start your chaotic journey today:
✅ Fuel cars with precision.
✅ Restock and manage your market.
✅ Chase shoplifters with a bat!
Try now: store.steampowered.com/app/3353850/...
#IndieGame #GasStationManager
January 11, 2025 at 3:25 PM
🚀 The Gas Station Manager demo is LIVE! ⛽💥
Start your chaotic journey today:
✅ Fuel cars with precision.
✅ Restock and manage your market.
✅ Chase shoplifters with a bat!
Try now: store.steampowered.com/app/3353850/...
#IndieGame #GasStationManager
Start your chaotic journey today:
✅ Fuel cars with precision.
✅ Restock and manage your market.
✅ Chase shoplifters with a bat!
Try now: store.steampowered.com/app/3353850/...
#IndieGame #GasStationManager
Gas Station Manager 2026 - Nintendo Switch 2 Gameplay: youtu.be/Cl91lo6ll6U #gasstation #gasstationmanager #gasstationsimulator #gas #nintendoswitch #nintendo #simulator #simulation #NintendoSwitch2 #gamingchannel #gaming #youtube #YouTubePromotion
Gas Station Manager 2026 - Nintendo Switch 2 Gameplay
YouTube video by Nintendo Hall
youtu.be
May 6, 2026 at 6:44 AM
Gas Station Manager 2026 - Nintendo Switch 2 Gameplay: youtu.be/Cl91lo6ll6U #gasstation #gasstationmanager #gasstationsimulator #gas #nintendoswitch #nintendo #simulator #simulation #NintendoSwitch2 #gamingchannel #gaming #youtube #YouTubePromotion
Code with Proofs Benchmark. Now on Huggingface.
huggingface.co/datasets/Gas...
huggingface.co/datasets/Gas...
GasStationManager/CodeProofBenchmark · Datasets at Hugging Face
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
huggingface.co
December 8, 2024 at 11:18 PM
Code with Proofs Benchmark. Now on Huggingface.
huggingface.co/datasets/Gas...
huggingface.co/datasets/Gas...
The event's recording is now available www.youtube.com/watch?v=AhYU.... Thanks @gasstationmanager.bsky.social!
Towards Safe and Hallucination-Free Coding AIs – GasStationManager
YouTube video by Horizon Events
www.youtube.com
September 11, 2025 at 8:31 PM
The event's recording is now available www.youtube.com/watch?v=AhYU.... Thanks @gasstationmanager.bsky.social!
Hallucination detection and recovery: Initial experiment. ~ GasStationManager. gasstationmanager.github.io/ai/2025/01/2... #LLMs #ITP #LeanProver
Hallucination Detection and Recovery: Initial Experiment
(This also serves as progress report #3 of our overall program)
gasstationmanager.github.io
January 23, 2025 at 10:34 AM
Hallucination detection and recovery: Initial experiment. ~ GasStationManager. gasstationmanager.github.io/ai/2025/01/2... #LLMs #ITP #LeanProver
Gas Station Manager 2026: uno sguardo in video gameplay su Nintendo Switch/2 www.nintendohall.it/nintendo-swi... #gasstation #gasstationmanager #gasstationsimulator #gas #nintendoswitch #nintendo #simulator #simulation #NintendoSwitch2 #gamingchannel #gaming #youtube #YouTubePromotion
Gas Station Manager 2026: uno sguardo in video gameplay su Nintendo Switch/2 -
Pochi istanti fa abbiamo pubblicato un video gameplay su Gas Station Manager 2026, ora disponibile su Nintendo Switch/2.
www.nintendohall.it
May 6, 2026 at 6:43 AM
Gas Station Manager 2026: uno sguardo in video gameplay su Nintendo Switch/2 www.nintendohall.it/nintendo-swi... #gasstation #gasstationmanager #gasstationsimulator #gas #nintendoswitch #nintendo #simulator #simulation #NintendoSwitch2 #gamingchannel #gaming #youtube #YouTubePromotion
LeanTool github.com/GasStationMa...
Now supports Sonnet 3.7; also available as a model-context-protocol (MCP) server that can be plugged into Claude Code.
Now supports Sonnet 3.7; also available as a model-context-protocol (MCP) server that can be plugged into Claude Code.
GitHub - GasStationManager/LeanTool: A "code intepreter" for Lean
A "code intepreter" for Lean. Contribute to GasStationManager/LeanTool development by creating an account on GitHub.
github.com
February 26, 2025 at 6:03 PM
LeanTool github.com/GasStationMa...
Now supports Sonnet 3.7; also available as a model-context-protocol (MCP) server that can be plugged into Claude Code.
Now supports Sonnet 3.7; also available as a model-context-protocol (MCP) server that can be plugged into Claude Code.