/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 iam.mt
Ghostty
| | jamesmills.co.uk
Adding a helper file in Laravel - James Mills
2.2 parsecs away

Travel
| | Every now and then you will probably find yourself in the need to use a custom function in your Laravel application. I cannot think of one project which I have worked on where I haven't needed to add a quick and easy custom function. Our controllers don't contain actions outside of the 7 resource actions [...]
| | gist.github.com
STDOUT as data source in Power Query M · GitHub
1.9 parsecs away

Travel
| | STDOUT as data source in Power Query M. GitHub Gist: instantly share code, notes, and snippets.
| | raku-advent.blog
Day 20 - Create beautiful text charts - Raku Advent Calendar
2.4 parsecs away

Travel
| | Santa got his weekly gift-wrapping report from the Gift Wrapping department. It contained lots of numbers 1 3 7 8 5 3 2 1 3 Every number corresponded to the gifts wrapped by every elf in the department in alphabetical order, starting with Alabaster Snowball, and continuing with Bushy Evergreen. But numbers don't sing, and...
| | github.com
GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. · GitHub
4.1 parsecs away

Travel
| The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. - GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML.