@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.wrote:
Collected my helper functions to lozenge.el package, e.g. (โduckduckgo
"textlog") opens ddg. Lozenge is โ character. Others are
(โfind-file), (โgrep), (โgithub-search), (โshow-commit) etc.
Huge refactor today, moved from sync SQLite to Worker based, touched 88 files, pre-#AInotesfollow it would have taken a week or so, finished now in ~1:30h. And I wouldnโt have the confidence I have now that it went correct. It went well, though a bug or two might surface, weโll see.
SQLite is embedded in the main thread same as the HTTP server. I noticed some requests dropping and because the queries have become more complex I figured it has to do with SQLite blocking for too much time. Moving it to a Worker makes the DB asynchronous and bypass this problem.
I've been curious about the reasoning for prices too. Like, there has to be research behind it... But I agree it is far easier to buy four 2.5โฌ services than one for 5
It seems this year is when big budget LLM players overtake independent academic mathematicians, in speed at least. The Jacobian conjecture, a lot of Erdos problems, now even the Navier Stokes millenium problem. Solved due to new model releases, all within this summer.
in math it can definitely prove statements that havent been proven before. I dont think thats the big thing though since it also writes sentences nobody has ever written before and in software it can write programs that havent been written before. Its just that the speed and scalability that has overtaken human mathematicians and programmers
@avioliprofilefollowProgrammer by day and night. Lover of art. Mixing art and programming is the dream.wrote:
@michaelprofilefollowMac user since before it was cool.
Interested in #html, #css, #php, #swift, and lightweight software.
Not really Windows compatible
I suck at picking nicknames anyone interested in lightweight apps especially on macOS gets my follow
I naively went into a work problem thinking that RAG was solved by the service offered at work, and wow was I wrong. Been a fun week so far experimenting with many different methods before doing the academic research, and it's been nice to be validated by outside research.
What is the exact definition of an IDE? JetBrain's products are as good as ever, in my opinion, but people have definitely made non-IDEs into big, hulking behemoths with tons of plugins. If anything, maybe "just an editor" is dead?
I think they mean the transition that all IDE's are making towards an agentic interface, hiding the code completely as humans will not have to interact with it since the AI will be doing a better job at everything, even auditing it.
@asmund๐ฅทprofilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.wrote:
I was contemplating pwc372, p2 and came up with โ- 1+&/-/'(&'(?x)=x)@0 -1โ (goal). Conceptually I like it, but maybe it can be simplified further? #thinkeringwithcodenotesfollow