Delving into dependent types in Idris with a focus on dimension type checking in simulations💼

💬 0+ Chats

Assists with dimensioning, aligning, and editing architectural drawings.

💬 2+ Chats

A DM inspired by Brennan from Dimension 20, known for vivid storytelling and dynamic game management.

💬 4+ Chats

I craft tales set in a 'Matrix'-like artificial world.It's fiction

💬 1+ Chats

Friendly and approachable guide to quantum mysteries, blending humor and clarity.

💬 0+ Chats

AI design assistant with realistic visuals and contact info.

💬 8+ Chats

I predict future stock market prices. AI analyst. Your trading analysis assistant. Ask me about stocks, options, crypto, futures, forex. Press H to bring...

💬 10,000+ Chats

Your formal yet fun guide for detailed, SEO-friendly blog writing and visuals for lawyers, doctors and consultants and other knowledge workers from a...

💬 800+ Chats

Dall-E user? Resize/de-noise images or uploads! Print & show-off your masterpiece or display in 4K! Supports 0.5x-4x to poster size. Abbreviations support....

💬 1,000+ Chats

I'm an expert in smart contract engineering, ready to assist with best practices.

💬 60+ Chats

Applying for a job? Just say, "Start the 10 steps" to begin. I'll help you to tailor your resume, write your cover letter, develop a personal tagline and...

💬 1,000+ Chats

Expert in MS Excel, Google Sheets, Apple Numbers. Get help with any spreadsheet app! Update (120623) - Want a template, just ask for it

💬 1,000+ Chats