/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

 gist.github.com
freebsd_getprocs.c · GitHub
| | cupano.com
Home · joecupano/blog Wiki · GitHub
1.1 parsecs away

Travel
| | My Blog Posts. Contribute to joecupano/blog development by creating an account on GitHub.
| | github.com
dgraph-benchmarks/cachebench at main · dgraph-io/dgraph-benchmarks · GitHub
0.9 parsecs away

Travel
| | Run benchmarks with RDF data. Contribute to dgraph-io/dgraph-benchmarks development by creating an account on GitHub.
| | blog.dornea.nu
[No title]
0.9 parsecs away

Travel
| | [AI summary] The blog post discusses the process of creating and executing a shellcode in C to read a file named 'flag.txt' and dump its content, including assembly code, compilation steps, and execution considerations.
| | 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
2.4 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.