Viewing profile — spolu

Yes you are perfectly right. Our product pushes users to be selective on the tables they give access to a given agent for a given use-case :+1: The tricky part is correctly support…

Hi, you are right that things can go sideways fast. In practice, the data that the typical employee needs is also quite simple. So there is definitely a very nice fit for this kind…

Hi, this is a fair concern. We're super early and working on a proper privacy policy as we speak. But we also provided some color about how we handle your data on our Discord. Copy…

Completely agreed with that. We'll revisit if needed but we don't expect it to be too much of an issue at this stage. Our goal is to gather marginally more usage to learn more abou…

Dust XP1 runs on a Dust app. You just need a "history" input parameter that gets injected at the right place. Does that make sense?

The real value will accrue as the assistant become more personalised as users use it.

Completely agreed! I believe I’ll open source the app in the coming days. This is before anything else an exploration at this stage.

Some additional context here if interested: https://twitter.com/spolu/status/1602692992191676416

XP1 is an assistant based on GPT with access to your browser tabs content. It is geared (prompted) towards productivity and can be used to help you with your daily tasks (answering…

Copilot actually knows a bit of Lean and can be helpful when formalizing stuff. But it does not get the critical feedback we get from the formal systems (as it's not designed for f…

It takes a lot of CPU (lean side) on top of GPU (neural side) indeed. But technically, when properly parallelized, it takes no more than 1-2h to crack the hardest problem we've cra…

This is definitely something that we'll be looking into more closely in the future. Our old and busted `gptf` tactic was a good start but we can do much better!