Mastodawn

رہگزر Oct 8, 2024

I have also written an finicky to setup xdg-desktop-portal that let one choose #files using #emacs https://codeberg.org/rahguzar/filechooser , an Emacs interface to #hoogle https://codeberg.org/rahguzar/consult-hoogle

There is a (kind of in progress) major mode for #sagemath https://codeberg.org/rahguzar/sage-mode which hasn't seen much progress in a while because it is usable for its only user i.e. me.

Recently I managed to make produce a (humongous) #texinfo manual for Sage so that I can read it from Emacs https://github.com/sagemath/sage/issues/21734

filechooser

filechooser.el: An xdg-desktop-portal filechooser

Codeberg.org

Show thread

redm(plementation)Sep 25, 2024

@io if you're using #nix / #nixos you can easily spin up a local #hoogle:

For a #haskell project derivation `drv` instead of getting the dev environment with `drv.env` you do `drv.envFunc (withHoogle=true;)`.

Without a project, you do something like `nix-shell -p "haskellPackages.ghcWithHoogle (p: [])"`.

With either approach, once you're in the shell environment, start hoogle with `hoogle server --local`.

Markus Klink Sep 25, 2024

Since hoogle is currently down, I can't search for a function I need.
How is the function Either (a, b) (a, c) -> (a, Either b c) called, dear swarm?

#haskell #hoogle #functionalprogramming

Björn Gohla Sep 24, 2024

Oh, Hoogle seems to be down 😬

#haskell #hoogle

Andreas Grois Sep 14, 2024

While I am still very sceptical of #LLM #Chatbots, I must confess that I use ChatGPT (the free version) more and more.

My main use cases are as a search engine for #Lean4 functions (because there is no real #Hoogle alternative for Lean yet), and to bounce ideas during #RubberDucking.

My bets are still on LLMs being a dead-end in the search for AGI, but I no longer consider them only a useless software toy.

Show thread

das-g Jan 29, 2024

@preinheimer For that specific scenario (which is a rather common one, AFAICT), good search tools can certainly help. We might need the equivalent of what #Hoogle (https://hoogle.haskell.org) is for the #Haskell ecosystem for all of programming.

@b0rk

Hoogle

lj·rk Oct 24, 2023

Coding in #JS again (need to, SDK to $service only available in JS) and I'm frequently using #hoogle to look up what kind of function I'd use in #Haskell (foldMap, unzipWith, ...) and then looking for JS packages that implement them.

Am I doing this right?