Edgar Rodríguez

TypeScript, PureScript, F#, React, FP

[Edgar Rodríguez @codingedgar]

@dexhorthy @aidenybai it was right there

[Edgar Rodríguez @codingedgar]

@DavidKPiano @tosuri13 yes, please 🙏

[Edgar Rodríguez @codingedgar]

@jneira @hmemcpy @Savlambda idk seems like neither term is correct in todays landscape.

Almost everythig is declarative because compilers do a lot of runtime magic for low level stuff.

Almost every "declarative abstraction" is imperative cuz compilers/runtimes rarely if ever take the theorethical advange

[Edgar Rodríguez @codingedgar]

@SandroMaglione i have to ask for a comparison with xstate

[Edgar Rodríguez @codingedgar]

@tibo I just dicovered the feedback survey on the app lol

[Edgar Rodríguez @codingedgar]

@tibo

Hope it isnt too late, I have one:

When im typing something (using the text input or voice input) and i get codex's input request, it breaks my input.

i think the asks from codex should either be above the input box in those cases or queued after i stop using the input box

while im typing if i hit enter or use the mouse I end up accepting thigs that pop up in that particulary moment, very annoying ux.

[Tibo @thsottiaux]

What are we obviously not getting right with Codex?

[Edgar Rodríguez @codingedgar]

@DavidKPiano @clare_liguori yes

[Edgar Rodríguez @codingedgar]

Discovered the 2nd hand servers world and bought a server to use as homelab

I can’t believe it took me this long, having a homelab is AMAZING.

Feels so enabling!

[Edgar Rodríguez @codingedgar]

Yesterday I told codex to write some stuff and use a decryption library i wrote by hand a while ago

The end result failed at decryption every now and then

Turns out it wrote its own implementation, I corrected it by using my library

It worked 100% of the time, what a feeling.

[Edgar Rodríguez @codingedgar]

@rickyfm @DcJai12 im gonna tag @DavidKPiano here just for fun

[Edgar Rodríguez @codingedgar]

@jamonholmgren now using “c” for both “character” and “career” in the same codebase is just straight chaos evil 😈

[Edgar Rodríguez @codingedgar]

“me” is ok, it isn’t a “2 letter variable”

“c” is gone by either piping (fp) or fluent syntax, even “_” is better because it is the “main variable” of the function.

no name over useless single letter wins everytime, otherwise if “c” must be declared then it doesn’t help at all being that short.

funny how this feels incredibly irrelevant in AI era. it used to feel as such a fun conversation to have 🤣

[Edgar Rodríguez @codingedgar]

@thsottiaux dictation, it is a very slow process

should have cancelling, transcribe every few seconds and voice conversation mode (just the input)

[Edgar Rodríguez @codingedgar]

@CJHarmath @mattpocockuk can you explain these differences a bit more? or point me to an article to where to read more?

[Edgar Rodríguez @codingedgar]

@thsottiaux bail on transcribe and transcribe little sentances many times i talk for minutes and it fails it should be transcribing every few seconds

[Edgar Rodríguez @codingedgar]

@RhysSullivan @dudewithtude88 insane work around, love it

[Edgar Rodríguez @codingedgar]

when i’m driving (i know what to do) i rather it being concise & direct, but when im planning or unsure of the best outcome I doo need it to be more explanatory and collaborative

so far so good it changes gears correctly, although the collaborative part is not quite right, is like codex becomes the driver instead of actuality collaborating

[Edgar Rodríguez @codingedgar]

@ajambrosino @thsottiaux i 🫶 you please improve the speech to text experience 🙏

[Edgar Rodríguez @codingedgar]

@RhysSullivan couldn’t agree more

[Edgar Rodríguez @codingedgar]

@ajambrosino @Angaisb_ don’t be i love it