561–570 of 900 posts
Happy to discuss on that topic or to discover new initiatives / sources
ATProto is helluva complex and inconvenient to work with without supporting libraries, even in a relatively sugary language, like Kotlin. So, I decided to write a (programmatic) code generator that takes Lexicon on input and gives all the HTTP code and data classes you may ever need. If you wonder why Bluesky native apps are crap, that's because they are in TypeScript, not in Kotlin and Swift, which are programming l…
I'm working on a development tool for specification-driven development. It uses LLMs to verify that your specification files and implementation do not drift. More specifically, I am trying to lower the number of false positives I'm currently seeing. I find that the LLM will hallucinate issues when there are no discrepancies, or become forgetful in the case of long documents (like RFC texts). The first step in improvi…
How does this compare to previous generations of specification-driven development using formal methods?
> Sonnets of dark-held love - A sequence of poems after the 'Sonetos del amor oscuro' by Federico García Lorca - https://rikverse2020.rikweb.org.uk/book/sonnets-of-dark-held...
> End Time - A collection of noir-themed poems for the last days of the world - https://rikverse2020.rikweb.org.uk/book/end-time/
I'm building ClosedLinks, a tool for sharing files and/or messages anonymously through one-time access links with no traceable sender. Most digital tools assume persistence; ClosedLinks is built for ephemerality and unlinkability. Each link is single-use, redirects on access, and stores encrypted content only temporarily. Recipients never see the original URL, enabling plausible deniability. Think: whistleblowers. En…
I had this idea (linked in my 3rd most recent comment,) whereby what if I wanted to give someone some crypto via a set of keywords? Maybe you could turn this into some kind of PayPal for crypto.
Perhaps think about a video demo for this site.
Good luck anyway.
Earlier quoted context omitted.
This is an interesting idea. One thing that might help targeting is to have some sort of chemical that attracts the mosquitoes. In that way you can bring your target to you.
I seem to recall reading that mosquitos mainly seek out carbon dioxide...
We are building a modern alternative to Jupyter, something like Cursor meets Jupyter.
This is for Daestro[1] which is a cloud agnostic job orchestrator.