Csaba Henk csabahenk

## springer-free-maths-books.md

      
              1 file
            
          
              472 forks
            
          
                247 comments
              
            
              2239 stars
            
          
                bishboria
                / springer-free-maths-books.md
            
            
              Last active
              November 28, 2025 17:29
            
              
                Springer made a bunch of books available for free, these were the direct links
              
          
    These links no longer work. Springer have pulled the free plug.

Graduate texts in mathematics

duplicates = multiple editions
A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen
A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

  
## higher_kinded_types_in_rust_and_haskell.md

      
              1 file
            
          
              13 forks
            
          
                0 comments
              
            
              113 stars
            
          
                CMCDragonkai
                / higher_kinded_types_in_rust_and_haskell.md
            
            
              Last active
              May 13, 2025 10:19
            
              
                Rust/Haskell: Higher-Kinded Types (HKT)
              
          
    Rust/Haskell: Higher-Kinded Types (HKT)

A higher kinded type is a concept that reifies a type constructor as an
actual type.
A type constructor can be thought of in these analogies:

like a function in the type universe
as a type with a "hole" in it


## xhyverun.sh
#!/bin/sh

KERNEL="/path/to/vmlinuz64"
INITRD="/path/to/initrd.img"
#CMDLINE="earlyprintk=serial console=ttyS0 acpi=off"
CMDLINE="loglevel=3 user=docker console=ttyS0 console=tty0 noembed nomodeset norestore waitusb=10:LABEL=boot2docker-data base"

MEM="-m 1G"
#SMP="-c 2"
NET="-s 2:0,virtio-net,en0"

## _README.md

      
              6 files
            
          
              24 forks
            
          
                6 comments
              
            
              135 stars
            
          
                morganrallen
                / _README.md
            
            
              Last active
              January 15, 2023 19:41
            
              
                Janky Browser
              
          
    JankyBrowser

The only cross-platform browser that fits in a Gist!
One line install. Works on Linux, MacOSX and Windows.
Local Install

$&gt; npm install http://gist.github.com/morganrallen/f07f59802884bcdcad4a/download
	#!/bin/sh

	KERNEL="/path/to/vmlinuz64"
	INITRD="/path/to/initrd.img"
	#CMDLINE="earlyprintk=serial console=ttyS0 acpi=off"
	CMDLINE="loglevel=3 user=docker console=ttyS0 console=tty0 noembed nomodeset norestore waitusb=10:LABEL=boot2docker-data base"

	MEM="-m 1G"
	#SMP="-c 2"
	NET="-s 2:0,virtio-net,en0"