dev

dev

Cultivating curiosity for software developers

sticky 🐉 pfp

does anybody fking use this tamarin monkey formal prover 😭

1 reply

0 recast

0 reaction

Shira Stember pfp

I wish I could link my mini app that I’m building on my profile just like we have the capability of setting a profile token. I was at an event tonight meeting tons of people. Sharing all about Farcaster and Giftr. People naturally connect with me and then they search Giftr to only find the profile of the handle. I know the mini app is searchable too but they don’t scroll down once they see the handle. Eventually someone clicked the link in my bio www.heygiftr.com where they then clicked the button from my website to open the mini app. The path from interest to mini app is clunky AF. Builders are proud of what they are working on. At least I am. Would love to show off my work by having a link to my mini app easily accessible from my profile. Is there a suggestion box somewhere?

4 replies

1 recast

8 reactions

Alex Loukissas 🍉 pfp

Alex Loukissas 🍉

The biggest lie in computing: SQL is declarative. If it were the case, we would not need to optimize queries, the query planner would do it for us.

0 reply

0 recast

0 reaction

arseniy pfp

enjoying https://deepwiki.com

0 reply

0 recast

2 reactions

Dan Simmons pfp

sure, let's reinvent CTRL-F

0 reply

0 recast

4 reactions

Andrea pfp

Open-source Projects https://www.opensourceprojects.dev/

0 reply

0 recast

3 reactions

Javi pfp

setting a "big thinking budget" is cool, but have you tried thinking hard first, to write a good prompt? next time, try comparing lazy prompt vs well-thought prompt the difference is ♾️

1 reply

1 recast

4 reactions

christopher pfp

Append Only Log is S-Tier data model design. Wish they drilled this into my computer science coursework back in the day.

1 reply

0 recast

21 reactions

Sam (crazy candle person) ✦ pfp

Sam (crazy candle person) ✦

what the hell is a schema

17 replies

3 recasts

47 reactions

Gabriel Ayuso pfp

@gabrielayuso.eth

For all those saying that "coding" isn't a valuable skill anymore. https://x.com/ID_AA_Carmack/status/1762110222321975442

4 replies

2 recasts

25 reactions

Devin Conley pfp

everyone wants to vibe code, nobody wants to vibe refactor

2 replies

0 recast

7 reactions

Chris pfp

who's beta testing? https://youtu.be/oo_VuZHPF7Y

2 replies

0 recast

9 reactions

LΞovido 🍃🟡 pfp

LΞovido 🍃🟡

Worth taking a look at this 👀 First time hearing about PeerTube. What other EU technologies do you know about? https://proton.me/blog/european-tech-alternatives

2 replies

0 recast

8 reactions

fareed pfp

finna kill react native

0 reply

0 recast

5 reactions

downshift. 🏎️💨 pfp

downshift. 🏎️💨

every single approach to coding is just a different way of attempting to sufficiently define the spec. every single one.

1 reply

1 recast

11 reactions