hpincket

Time to mention my tongue-in-cheek law:

> When describing phenomena in the social world

> Software Engineers gravitate towards eponymous 'laws'.

https://pincketslaw.com/

aicodeprep-gui looks great. I will try it out

I am developing the same opinion. I want something fast and dependable. Getting into a flow state is important to me, and I just can't do that when I'm waiting for an agentic coding assistant to terminate.

I'm also interested in smaller models for their speed. That, or a provider like Cerebras.

Then, if you narrow the problem domain you can increase the dependability. I am curious to hear more about your "surgical" tools.

I rambled about this on my blog about a week ago: https://hpincket.com/what-would-the-vim-of-llm-tooling-look-...

I have similar thoughts to the author [0]. I appreciate how they tracked down the three quotes. The only thing I'll add is that there's a certain ambiguity in statements of this kind. They come off as 'matter of fact', but in reality the speakers are pushing for this future.

https://hpincket.com/where-the-industry-is-headed.html

I'm not familiar with the ecosystem. How does the embedding work? Ah, looks like it is compiled to WASM.

https://github.com/mthom/scryer-prolog/compare/master...baka...

I've played around with Prolog on and off for 7 years. Still a novice. It's one of those languages that forces your mind to grow in new directions.

It's difficult to make a case for it. The declarative paradigm is nice, but compared to other languages you're only saving a couple for-loops. I think its benefit comes from expressiveness for problems where clpfd can be applied. I once built an internal tool with Python and SWI Prolog that combined user input with CLPFD to configure test accounts in a consistent and useful way. Users could provide partial constraints, and the system would fill in the rest. Again, the ease of clpfd is great.

I've had some fun generating Prolog facts/databases with LLMs and it's something I want to explore more.

Note: I was just messing around with Prolog this week: https://hpincket.com/adding-an-easter-egg-to-our-numeronym-p...

Do you have any details on the equivalent Postman change? How long ago did Postman force users to create an account? I found this github issue, but I'm not sure if it's what everyone keeps referencing.

https://github.com/postmanlabs/postman-app-support/issues/12...

This is great! I often request records but have never come up with a great use case!

Under Florida public record law, source code produced by state employees is, in very narrow circumstances, a non-exempt public record (the code can't process sensitive data, etc.). I'm considering a future endeavor where I periodically request the code to such projects until the I.T. department decides it's worth the effort to open source it.

I like to think this is a step towards consolidating publicly funded code and reducing duplicate effort. Ahh, imagine making a pull request to your city's website! But I'm getting ahead of myself...

I get a kick out of pinpointing the exact location of photos or paintings. A couple of communities exists for this:

* Geoguessr (I don't participate in this one much, street view is pretty limiting)

* The Dish's "View from My Window" archive. A now defunct blog series where readers would submit photos from their window. Very difficult. Users often pinpoint the exact window from which the photo was taken. http://dish.andrewsullivan.com/vfyw-contest/

* SkyScraperCity's Guess the City contest. A daily contest to guess the city. Also this is a precious internet 2.0 forum. https://www.skyscrapercity.com/

* North Korea enthusiasts pinpointing the exact location of Kim Jung Un in official DPRK photos.

* r/whereisthis helps Reddit users locate photos, also allows content just for fun.

* r/PictureGame a more open contest, not necessarily a geolocation task.

I've used VimWiki for a couple years now. I use the most basic features (Enter, Backspace). The ability to instantly jump to the wiki is the most useful (Leader W W). My wiki is just a folder in my Dropbox so I can get to it on almost any computer.

When I started, VimWiki syntax was better supported than markdown. I've seen lots of markdown related pull requests come through, so maybe that's changed.

I use VimWiki for:

  * Life goals (stretch and short term). I use it almost as a centering tool.
  * Poetry
  * Passages from books
  * Book summaries (that I write)
  * Lecture/Speech notes
  * Notes on misc. items I want to explore
  * Ideas for future science fiction short stories

Last summer I wrote a simple Awk script to extract VimWiki style definitions (Term::Definition) into TSV's for importing into Anki. I was frustrated that I couldn't fully automate this process without modifying Anki. Maybe someone else has figured this out?