#hoogle — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #hoogle, aggregated by home.social.
-
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
-
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
-
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
-
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
-
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
-
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? -
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? -
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? -
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? -
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? -
-
-
-
-
-
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.
-
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.
-
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.
-
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.
-
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.
-
@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.
-
@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.
-
@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.
-
@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.
-
@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.
-
-
-
-
-
-
Hah #DuckDuckGo maps !h to #Haskell #hoogle and I can’t believe it’s been there this whole time
-
Hah #DuckDuckGo maps !h to #Haskell #hoogle and I can’t believe it’s been there this whole time
-
Hah #DuckDuckGo maps !h to #Haskell #hoogle and I can’t believe it’s been there this whole time
-
Hah #DuckDuckGo maps !h to #Haskell #hoogle and I can’t believe it’s been there this whole time
-
Hoogle is amazing.
Still slowly working on Advent of Code 2022, and learning Haskell along the way. As with most languages, a lot of the learning is getting to know the libraries.
I keep being amazed at how effective Hoogle is. It lets you search for a library function by looking for its type signature. I was about to write a combination of map/fold, but found "mapAccumL" right away with Hoogle. Yay!
-
Hoogle is amazing.
Still slowly working on Advent of Code 2022, and learning Haskell along the way. As with most languages, a lot of the learning is getting to know the libraries.
I keep being amazed at how effective Hoogle is. It lets you search for a library function by looking for its type signature. I was about to write a combination of map/fold, but found "mapAccumL" right away with Hoogle. Yay!
-
Hoogle is amazing.
Still slowly working on Advent of Code 2022, and learning Haskell along the way. As with most languages, a lot of the learning is getting to know the libraries.
I keep being amazed at how effective Hoogle is. It lets you search for a library function by looking for its type signature. I was about to write a combination of map/fold, but found "mapAccumL" right away with Hoogle. Yay!
-
Hoogle is amazing.
Still slowly working on Advent of Code 2022, and learning Haskell along the way. As with most languages, a lot of the learning is getting to know the libraries.
I keep being amazed at how effective Hoogle is. It lets you search for a library function by looking for its type signature. I was about to write a combination of map/fold, but found "mapAccumL" right away with Hoogle. Yay!
-
Oh, wow, how I have I never heard of hoogle+?
This is so cool: https://hoogleplus.goto.ucsd.edu
