fcatalan

5 ms·

31.
by fcatalan 6mo ago
For me it has been just saying "yes" when I was offered a job and when that one was getting a bit annoying someone happened to offer me another and I said "yes" too. I have ended up a bit underemployed and underpaid, but
32.
by fcatalan 6mo ago
100% true. I ran a top 10 most visited Spanish language site on a Pentium III server. I have the technical chops to do all the articles says. But 10k MRR sounds to me like travelling to Mars. I have 0 ideas and 0 initiative to push them ahe
33.
by fcatalan 7mo ago
Making complete coherent products is as hard as ever, or even harder if you intend to trade robustness for max agentic velocity. What I do very successfully is low stakes stuff for work (easy automations, small QoL improvements for our tool
34.
by fcatalan 7mo ago
Gemini 3.1 via aistudio picked 7321, so it seems to be a shared trait. Good to know if I catch anyone doing an LLM-assisted raffle...
35.
by fcatalan 7mo ago
It picks 42 as the default integer value any time it writes sample programs. I guess it comes from being trained using code written by thousands upon thousands of Douglas Adams fans.
36.
by fcatalan 7mo ago
I'll raise the flag of "Don't nickel and dime me" in every battlefield.
37.
by fcatalan 7mo ago
Same originating idea: "a language for AI to write in" but then everything else is different. The features of both are quite orthogonal. Cairn is a general purpose language with features that help in writing probably working code.
38.
by fcatalan 7mo ago
Superpowers is literally a bunch of skills packaged in a Claude plugin
39.
by fcatalan 7mo ago
A couple weeks ago on a lark I asked Claude/Gemini/Codex to hallucinate a language they would like to program in and they always agreed on strong types, contracts, verification, proving and testing. So they ended up brainstorming
40.
by fcatalan 7mo ago
You tell the agent to write a whimsical tutorial book about the language, it takes about an hour :)
41.
by fcatalan 7mo ago
This enables different satisfactions. You can still choose all your options but have a working repl or small compiler where you are trying them within minutes. Also you decide how much in control you are. Want to provide a hand made grammar
42.
by fcatalan 7mo ago
My own 100% hallucinated language experiment is very very weird and still has thousands of lines of generated examples that work fine. When doing complex stuff you could see the agent bounce against the tests here and there, but never produ
43.
by fcatalan 7mo ago
Ugh sounds like work, we are vibing here. Or can we also vibe-science? :)
44.
by fcatalan 7mo ago
I agree, it´s mostly a silly whim taken too far. Too much time in my hands. In particular the whole stack based thing looks questionable. In fact the very first answer by Gemini proposed an APL-like encoding of the primitives for token savi
45.
by fcatalan 7mo ago
There's a lot of language for such a little time, but if you have programmed any Forth it should be easy to pick up, have a look at some of the top level examples. I have programmed about 3 Forth implementations by hand throughout the
46.
by fcatalan 7mo ago
I have had to check myself a bit, too easy to fall too deep into what is essentially a practical joke
47.
by fcatalan 7mo ago
It has been on the roadmap since they invented the thing. I fear it won't work but then they probably will do it in 10 minutes...
48.
by fcatalan 7mo ago
I have let Gemini, Claude Code and Codex hallucinate the language they wanted to for a few days. I prompted for "design the language you'd like to program in" and kept prompting "go ahead". Just rescued it from a co
49.
by fcatalan 7mo ago
It kind of feels like it wants to go there or thereabouts, but to be honest, I just half understand half of the roadmap it has written for itself: - **v0.0.1** (complete): Interpreter, PRE/POST contracts, REPL, TIMES/WHILE, FI
50.
by fcatalan 7mo ago
Spawns and calls z3 under the hood, I did let it cheat there because otherwise it's rabbit holes below rabbit holes all the way down :)
51.
by fcatalan 7mo ago
I plan to keep dumping tokens into it here and there to see where it goes, it's a fun rabbit hole. I find that it's able to produce working code in the generated language just from the README and the previous examples without much
52.
by fcatalan 7mo ago
sure, for example it generated this small demo of the type and contract safeguards. As you can see, it's mostly "Forth but with things": # bank.ax — The Safe Bank (Milestone 2) # # Demonstrates property-based verifica
53.
by fcatalan 7mo ago
A few days ago I asked Claude what kind of language it would like to program in, and it said something like Forth but with static typing, contracts, and constraint solving, implemented on the Erlang BEAM. So I have been prodding Claude Code
54.
by fcatalan 7mo ago
The charge of the Rohirrim in Return of the King also works for me
55.
by fcatalan 7mo ago
I didn't know Sogno di Volare. It does work very well, quite intense. I got me thinking... I've never taken any mind altering drugs, so I wonder how the experience compares. I guess that even if not in the same league, being &quot
56.
by fcatalan 7mo ago
I non-ironically got them chills just by hearing a few bars while checking your link. I tend to go for this one https://www.youtube.com/watch?v=qIhZbvlCjY0 because although I can´t read music I can kind of vibe-read the sco
57.
by fcatalan 7mo ago
I get chills from music here and there. The piece that most reliably will produce the strongest effect on me is "Fantasia on a Theme by Thomas Tallis" by Ralph Vaughan Williams. Looking at the article there seems to be a genetic c
58.
by fcatalan 8mo ago
Yes. I could get over the 1300 hump and at least make general sense of everything past there because I have read about half of Ōsweald Bera
59.
by fcatalan 8mo ago
Spanish ID cards have had an X. 509 cert inside them for more than 10 years, I use it all the time to sign documents and access government sites. There is already legislation and a push for an EU-wide digital identity wallet that should be
60.
by fcatalan 8mo ago
Approving commands you don't understand doesn't seem ideal

More ›